From 55f49d3341a6c8a1830e526e775fd9903fe36aa8 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Mon, 7 Dec 2020 10:02:57 +0100
Subject: Add depopts:coq-native in coq.opam.docker

---
 coq.opam.docker | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'coq.opam.docker')

diff --git a/coq.opam.docker b/coq.opam.docker
index 74ca68ac0b..253e648d3e 100644
--- a/coq.opam.docker
+++ b/coq.opam.docker
@@ -27,8 +27,14 @@ depends: [
   "conf-findutils" {build}
 ]
 
+depopts: [
+  "coq-native"
+]
+
 build: [
-  [ "./configure" "-prefix" prefix "-coqide" "no" ]
+  [ "./configure" "-prefix" prefix "-coqide" "no"
+    "-native-compiler" "yes" {coq-native:installed} "no" {!coq-native:installed}
+  ]
   [make "-j%{jobs}%"]
   [make "-j%{jobs}%" "byte"]
 ]
-- 
cgit v1.2.3