From e22a74188414de6b1f005b98c49c0be17d78cbbd Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 24 Jun 2020 13:35:02 +0200
Subject: Revert "[opam] Don't disable native compute in opam.dev file"

This reverts commit b35030760cadd96a968e04f3cd026f4abdc0331c.
---
 coq.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 ]
 ]
-- 
cgit v1.2.3