fix coq.dev about native

coq · Dec 11, 2020 · eb5c8c2 · eb5c8c2
1 parent 97f5158
commit eb5c8c2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core-dev/packages/coq/coq.dev/opam b/core-dev/packages/coq/coq.dev/opam
@@ -34,7 +34,7 @@ build: [
     "-libdir" "%{lib}%/coq"
     "-datadir" "%{share}%/coq"
     "-coqide" "no"
-    "-native-compiler" {os = "macos"} "no" {os = "macos"}
+    "-native-compiler" "yes" {coq-native:installed} "no" {!coq-native:installed}
   ]
   [make "-j%{jobs}%"]
   [make "-j%{jobs}%" "byte"]