From aa1913411547eeed464b024f1cf54113be26e929 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Thu, 21 Jan 2016 22:17:36 +0100
Subject: Compile OS X binaries without native_compute support.

---
 dev/make-macos-dmg.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/make-macos-dmg.sh b/dev/make-macos-dmg.sh
index 70889badc1..20b7b5b531 100755
--- a/dev/make-macos-dmg.sh
+++ b/dev/make-macos-dmg.sh
@@ -8,7 +8,7 @@ eval `opam config env`
 make distclean
 OUTDIR=$PWD/_install
 DMGDIR=$PWD/_dmg
-./configure -debug -prefix $OUTDIR
+./configure -debug -prefix $OUTDIR -native-compiler no
 VERSION=$(sed -n -e '/^let coq_version/ s/^[^"]*"\([^"]*\)"$/\1/p' configure.ml)
 APP=bin/CoqIDE_${VERSION}.app
 
-- 
cgit v1.2.3