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))