diff options
| author | Adelyn Breedlove <[email protected]> | 2019-01-29 00:32:09 +0000 |
|---|---|---|
| committer | Adelyn Breedlove <[email protected]> | 2019-01-29 00:32:09 +0000 |
| commit | bb79dae13d2631114fc9b3aa8bc34c61f3452a91 (patch) | |
| tree | eccec053d48a340d27673d3139c8ed3f24d25978 /disml.opam | |
| parent | Add m4 install so conf-m4 can compile, odoc dep (diff) | |
| parent | Ci setup (diff) | |
| download | disml-bb79dae13d2631114fc9b3aa8bc34c61f3452a91.tar.xz disml-bb79dae13d2631114fc9b3aa8bc34c61f3452a91.zip | |
Merge branch 'ci-setup' into 'master'
Ci setup
See merge request Mishio595/disml!15
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 |