From 17c4650548b160517384c98831d9749ac39f5453 Mon Sep 17 00:00:00 2001
From: Kate <kit-ty-kate@outlook.com>
Date: Tue, 28 Mar 2023 15:31:43 +0100
Subject: [PATCH] Allow coq-core and coqide-server to be compiled in
 bytecode-only mode

e.g. ppc64, x86_32, arm32 or s390x on OCaml 5.0

(cherry picked from commit 1dd7d5d82d42d6cdd5ca458e7f196d82a627ed31)
---
 ide/coqide/dune | 2 +-
 topbin/dune     | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/ide/coqide/dune b/ide/coqide/dune
index 1b8d456aad06..b1af571e6ada 100644
--- 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
index a5f4539f5d37..3896ade5743c 100644
--- 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