diff options
Diffstat (limited to 'disml.opam')
| -rw-r--r-- | disml.opam | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -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 |