diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2016-11-10 12:27:20 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2016-11-10 12:37:02 +0100 |
| commit | 5a95de009158be1166b3998b99cafbccf4a0b2fa (patch) | |
| tree | 178ab8e591de02b544c2c22901e42d5d1582284d /dev/make-macos-dmg.sh | |
| parent | 3e19c53bffa95c6c6f4fd5006d54668f36694dd2 (diff) | |
Move OSX script.
Diffstat (limited to 'dev/make-macos-dmg.sh')
| -rwxr-xr-x | dev/make-macos-dmg.sh | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/dev/make-macos-dmg.sh b/dev/make-macos-dmg.sh deleted file mode 100755 index b43ada907..000000000 --- a/dev/make-macos-dmg.sh +++ /dev/null @@ -1,35 +0,0 @@ -#!/bin/bash - -# Fail on first error -set -e - -# Configuration setup -eval `opam config env` -make distclean -OUTDIR=$PWD/_install -DMGDIR=$PWD/_dmg -./configure -debug -prefix $OUTDIR -native-compiler no -VERSION=$(sed -n -e '/^let coq_version/ s/^[^"]*"\([^"]*\)"$/\1/p' configure.ml) -APP=bin/CoqIDE_${VERSION}.app - -# Create a .app file with CoqIDE -~/.local/bin/jhbuild run make -j -l2 $APP - -# Build Coq and run test-suite -make && make check - -# Add Coq to the .app file -make OLDROOT=$OUTDIR COQINSTALLPREFIX=$APP/Contents/Resources/ install-coq install-ide-toploop - -# Sign the .app file -codesign -f -s - $APP - -# Create the dmg bundle -mkdir -p $DMGDIR -ln -sf /Applications $DMGDIR/Applications -cp -r $APP $DMGDIR - -# Temporary countermeasure to hdiutil error 5341 -head -c9703424 /dev/urandom > $DMGDIR/.padding - -hdiutil create -imagekey zlib-level=9 -volname CoqIDE_$VERSION -srcfolder $DMGDIR -ov -format UDZO CoqIDE_$VERSION.dmg |