[build] Move to dune language 2.0

This provides better features for testing.
Deducteam · May 27, 2020 · 79c49c0 · 79c49c0
1 parent a821599
commit 79c49c0
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git a/dune-project b/dune-project
@@ -1,4 +1,4 @@
-(lang dune 1.11)
+(lang dune 2.0)
 (name lambdapi)
 
 (using menhir 1.0)
diff --git a/lambdapi.opam b/lambdapi.opam
@@ -21,7 +21,7 @@ doc: "https://deducteam.github.io/lambdapi/"
 
 depends: [
   "ocaml"        { >= "4.05.0" }
-  "dune"         { >= "1.3.0"  }
+  "dune"         { >= "2.0.1"  }
   "menhir"
   "bindlib"      { >= "5.0.1" }
   "earley"       { = "2.0.0" }
@@ -30,6 +30,8 @@ depends: [
   "yojson"       { >= "1.6.0" }
   "cmdliner"     { >= "1.0.3" }
   "stdlib-shims"
+  # tests
+  "ppx_inline_test" { with-test }
 ]
 
 post-messages: [

diff --git a/src/core/dune b/src/core/dune
@@ -10,7 +10,9 @@
  (public_name lambdapi.core)
  (synopsis "LambdaPi interactive theorem prover [core]")
  (modules :standard)
- (c_names stubs)
+ (foreign_stubs
+  (language c)
+  (names stubs))
  (preprocess (per_module ((action (run pa_ocaml %{input-file})) parser)))
  (libraries unix stdlib-shims timed bindlib earley.core why3))