diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-07-30 09:44:36 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-07-30 09:44:36 +0000 |
commit | 0028ef73e4aa18568a1a9e79a80043148d2c6123 (patch) | |
tree | 1dfac244816a6a2b75232870151e16900ba86308 /distrib | |
parent | 564eee7a7bb7525ac5a3f0d62fcfec836ae9b605 (diff) |
Unbind the macosx dmg after creation to be able to build it again safely
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5997 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib')
-rw-r--r-- | distrib/Makefile | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index 5bf207ba8..8e3fc9ba2 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -365,15 +365,17 @@ macosx-dmg: # - create the dmg file # - bind it to a device /dev/diskXs2 (name) # - create the file system and name it "Coq X.X" - # - unbind the device to mount the image on /Volumes + # - unbind the device and mount the image on /Volumes # - copy the package + # - unbind again the image for cleaning up the installation (export size=`du -s $(MACOSXPKG) | cut -dc -f 1`;\ hdiutil create -sectors `expr $$size + 1000` $(MACOSXDMG);\ export name=`hdid -nomount $(MACOSXDMG) | tail -1 | cut -d" " -f 1`;\ newfs_hfs -v "Coq $(VERSION)" $$name;\ - hdiutil eject $$name; hdid $(MACOSXDMG);\ - mkdir "/Volumes/Coq $(VERSION)/coq-$(VERSION).pkg";\ - ditto -rsrcFork -v $(MACOSXPKG) "/Volumes/Coq $(VERSION)/$(MACOSXPKG)") + hdiutil detach $$name;\ + export name=`hdid $(MACOSXDMG) | tail -1 | cut -d" " -f 1`;\ + ditto -rsrcFork -v $(MACOSXPKG) "/Volumes/Coq $(VERSION)/$(MACOSXPKG)";\ + hdiutil detach $$name) ################################################################### |