From 5a95de009158be1166b3998b99cafbccf4a0b2fa Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Thu, 10 Nov 2016 12:27:20 +0100
Subject: Move OSX script.

---
 dev/build/osx/make-macos-dmg.sh | 35 +++++++++++++++++++++++++++++++++++
 dev/make-macos-dmg.sh           | 35 -----------------------------------
 2 files changed, 35 insertions(+), 35 deletions(-)
 create mode 100755 dev/build/osx/make-macos-dmg.sh
 delete mode 100755 dev/make-macos-dmg.sh

(limited to 'dev')

diff --git a/dev/build/osx/make-macos-dmg.sh b/dev/build/osx/make-macos-dmg.sh
new file mode 100755
index 0000000000..b43ada9076
--- /dev/null
+++ b/dev/build/osx/make-macos-dmg.sh
@@ -0,0 +1,35 @@
+#!/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
diff --git a/dev/make-macos-dmg.sh b/dev/make-macos-dmg.sh
deleted file mode 100755
index b43ada9076..0000000000
--- 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
-- 
cgit v1.2.3