equal
deleted
inserted
replaced
51 |
51 |
52 |
52 |
53 Packaging |
53 Packaging |
54 ========= |
54 ========= |
55 |
55 |
56 - hg up -r DISTNAME && isabelle makedist -r DISTNAME; |
56 - hg up -r DISTNAME && isabelle makedist -r DISTNAME |
57 |
57 |
58 - isabelle makedist_bundles; |
58 - isabelle makedist_bundles |
59 |
59 |
60 - Mac OS X: hdiutil create -srcfolder DIR DMG; |
60 - ./makedist_library DISTNAME_linux.tar.gz |
|
61 |
|
62 - Mac OS X: hdiutil create -srcfolder DIR DMG |
61 |
63 |
62 - Windows: cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe |
64 - Windows: cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe |
63 |
|
64 - makebin -l on fast machine, based on renamed bundle with deleted heaps; |
|
65 |
65 |
66 |
66 |
67 Final release stage |
67 Final release stage |
68 =================== |
68 =================== |
69 |
69 |