From 0028ef73e4aa18568a1a9e79a80043148d2c6123 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 30 Jul 2004 09:44:36 +0000
Subject: 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
---
 distrib/Makefile | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/distrib/Makefile b/distrib/Makefile
index 5bf207ba80..8e3fc9ba2d 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)
 
 
 ###################################################################
-- 
cgit v1.2.3