Backport PR coq#17433: Allow coq-core and coqide-server to be compile…

…d in bytecode-only mode
Matafou · Apr 11, 2023 · 8768ba3 · 8768ba3
2 parents cbd4daf + 17c4650
commit 8768ba3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/ide/coqide/dune b/ide/coqide/dune
@@ -14,7 +14,7 @@
  (package coqide-server)
  (modules idetop)
  (libraries coq-core.toplevel coqide-server.protocol platform_specific)
- (modes native byte)
+ (modes exe byte)
  (link_flags -linkall))
 
 (install

diff --git a/topbin/dune b/topbin/dune
@@ -24,7 +24,7 @@
  (package coq-core)
  (modules coqc_bin)
  (libraries coq-core.toplevel findlib.dynload)
- (modes native byte))
+ (modes exe byte))
  ; Adding -ccopt -flto to links options could be interesting, however,
  ; it doesn't work on Windows
 
@@ -39,6 +39,7 @@
  (package coq-core)
  (modules coqnative_bin)
  (libraries coq-core.kernel)
+ (modes exe byte)
  (link_flags -linkall))
 
 ; Workers