diff options
Diffstat (limited to 'dev/make-macos-dmg.sh')
| -rwxr-xr-x | dev/make-macos-dmg.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/make-macos-dmg.sh b/dev/make-macos-dmg.sh index 70889badc..20b7b5b53 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 |