From 79c49c0e48bc002c826e0b8acecff3178427df10 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Wed, 20 May 2020 11:49:24 +0200
Subject: [PATCH] [build] Move to dune language 2.0

This provides better features for testing.
---
 dune-project  | 2 +-
 lambdapi.opam | 4 +++-
 src/core/dune | 4 +++-
 3 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/dune-project b/dune-project
index f95fd323a..8ad17d78a 100644
--- 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
index 7313e7365..534a8f725 100644
--- 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
index fb933b51a..8530e6368 100644
--- 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))