Merge PR #12550: Fix configure usage in .opam

Reviewed-by: ejgallego
Ack-by: maximedenes

1 files changed, 1 insertions, 1 deletions

diff --git a/coq.opam b/coq.opam
index e46f9def60..23cef68dce 100644
--- a/coq.opam
+++ b/coq.opam
@@ -28,6 +28,6 @@ depends: [
 ]
 
 build: [
-  [ "./configure" "-prefix" prefix ]
+  [ "./configure" "-prefix" prefix "-native-compiler" "no" ]
   [ "dune" "build" "-p" name "-j" jobs ]
 ]