# HG changeset patch
# User wenzelm
# Date 1335733707 -7200
# Node ID 47d213b10fd7e86cc35e5ab50b448d2d241b545c
# Parent  ddc7921701c56bfed3b04209c2a1b87db8f476d7
basic setup for self-extracting 7zip installer;

diff -r ddc7921701c5 -r 47d213b10fd7 Admin/CHECKLIST
--- a/Admin/CHECKLIST	Sun Apr 29 20:53:55 2012 +0200
+++ b/Admin/CHECKLIST	Sun Apr 29 23:08:27 2012 +0200
@@ -54,7 +54,9 @@
 
 - makebundle (multiplatform);
 
-- hdiutil create -srcfolder DIR DMG (Mac OS);
+- Mac OS X: hdiutil create -srcfolder DIR DMG;
+
+- Windows: cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe
 
 - makebin -l on fast machine, based on renamed bundle with deleted heaps;
 
diff -r ddc7921701c5 -r 47d213b10fd7 Admin/Cygwin/README
--- a/Admin/Cygwin/README	Sun Apr 29 20:53:55 2012 +0200
+++ b/Admin/Cygwin/README	Sun Apr 29 23:08:27 2012 +0200
@@ -20,3 +20,4 @@
   e.g. ftp://www.fruitbat.org/pub/cygwin/circa/2012/02/04/034515/setup.ini
   for last 1.7.9 version
 
+* 7zip self-extracting installer: http://www.7zsfx.info
diff -r ddc7921701c5 -r 47d213b10fd7 Admin/Cygwin/sfx.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Cygwin/sfx.txt	Sun Apr 29 23:08:27 2012 +0200
@@ -0,0 +1,8 @@
+;!@Install@!UTF-8!
+GUIFlags="64"
+InstallPath="%UserDesktop%"
+BeginPrompt="Unpack Isabelle2012?"
+ExtractPathText="Target directory"
+ExtractTitle="Unpacking Isabelle2012 ..."
+Shortcut="Du,{%%T\Isabelle2012\Isabelle.exe},{},{},{},{},{%%T\Isabelle2012}"
+;!@InstallEnd@!