aboutsummaryrefslogtreecommitdiff
path: root/disml.opam
diff options
context:
space:
mode:
Diffstat (limited to 'disml.opam')
-rw-r--r--disml.opam5
1 files changed, 3 insertions, 2 deletions
diff --git a/disml.opam b/disml.opam
index a54d726..55962e6 100644
--- a/disml.opam
+++ b/disml.opam
@@ -28,10 +28,11 @@ depends: [
"ppx_jane" {>= "v0.11.0"}
"ppx_deriving_yojson" {>= "3.1"}
"websocket-async" {>= "2.12"}
- "zlib" {>= "0.5"}
+ "decompress"
+ "odoc" {with-doc & >= "1.3.0"}
]
build: [
["dune" "subst"] {pinned}
["dune" "build" "-p" name "-j" jobs]
- ["dune" "build" "-p" "@doc" "-j" jobs] {with-doc}
+ ["dune" "build" "@doc" "-j" jobs] {with-doc}
] \ No newline at end of file