diff options
| author | Emilio Jesus Gallego Arias | 2019-11-24 19:57:02 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-12-04 14:14:58 +0100 |
| commit | 1d454c7721a429490165d1147313c061164b0b66 (patch) | |
| tree | 1bdf490ceb6af078424608c306df8417971f3599 /kernel | |
| parent | effbc03b9072ff94f96e54a5026ce04d7aa41bcc (diff) | |
[dune] Update to dune language version 2.0
This is the minimal set of changes requires for Coq to build under 2.0
mode. We may likely take advantage of some more new features.
Note that Dune 2.0 requires OCaml >= 4.06.0, OPAM allows to use Dune
in older versions as it will install a secondary compiler.
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/byterun/dune | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/kernel/byterun/dune b/kernel/byterun/dune index 8d8374a603..2998178be2 100644 --- a/kernel/byterun/dune +++ b/kernel/byterun/dune @@ -2,8 +2,10 @@ (name byterun) (synopsis "Coq's Kernel Abstract Reduction Machine [C implementation]") (public_name coq.vm) - (c_flags (:include %{project_root}/config/dune.c_flags)) - (c_names coq_fix_code coq_memory coq_values coq_interp)) + (foreign_stubs + (language c) + (names coq_fix_code coq_memory coq_values coq_interp) + (flags (:include %{project_root}/config/dune.c_flags)))) (rule (targets coq_instruct.h) |