aboutsummaryrefslogtreecommitdiff
path: root/disml.opam
diff options
context:
space:
mode:
authorAdelyn Breedlove <[email protected]>2019-01-29 00:32:09 +0000
committerAdelyn Breedlove <[email protected]>2019-01-29 00:32:09 +0000
commit31444e8cf6f42ada9a318b668d7f206148b71371 (patch)
treeeccec053d48a340d27673d3139c8ed3f24d25978 /disml.opam
parentAdd m4 install so conf-m4 can compile, odoc dep (diff)
downloaddisml-31444e8cf6f42ada9a318b668d7f206148b71371.tar.xz
disml-31444e8cf6f42ada9a318b668d7f206148b71371.zip
Ci setup
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