[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.

1 files changed, 2 insertions, 0 deletions

diff --git a/ide/dune b/ide/dune
index 7200915593..a599be9351 100644
--- a/ide/dune
+++ b/ide/dune
@@ -21,6 +21,7 @@
  (package coqide-server)
  (modules idetop)
  (libraries coq.toplevel coqide-server.protocol)
+ (modes native byte)
  (link_flags -linkall))
 
 (install
@@ -45,6 +46,7 @@
  (name coqide_main)
  (public_name coqide)
  (package coqide)
+ (optional)
  (modules coqide_main)
  (libraries coqide_gui))