Parcourir la source

Merge branch 'dev' of https://gitlab.com/WzukW/oclaunch into dev

Leo il y a 8 ans
Parent
commit
07a635bc51
1 fichiers modifiés avec 8 ajouts et 8 suppressions
  1. 8 8
      opam

+ 8 - 8
opam

@@ -18,15 +18,15 @@ build: [
 install: [make "install"]
 remove: ["ocamlfind" "remove" "oclaunch"]
 depends: [
-  "ocamlbuild"
+  "ocamlbuild" { build }
   "atdgen" { build & >= "1.9.1" }
-  "yojson"
-  "base-threads"
-  "core" {>= "112.35.00"}
-  "textutils"
-  "re2"
+  "yojson" { build }
+  "base-threads" { build }
+  "core" {  build & >= "112.35.00"}
+  "textutils" { build }
+  "re2" { build }
   "ocamlfind" { build }
-  "ounit" {test}
-  "alcotest" {test}
+  "ounit" { test }
+  "alcotest" { test }
 ]
 available: [ocaml-version >= "4.03.0"]