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 && Admin/Release/build -r DISTNAME /home/isabelle/dist |
57 |
|
58 - isabelle makedist_bundles |
|
59 |
|
60 - ./makedist_library DISTNAME_linux.tar.gz |
|
61 |
57 |
62 - Mac OS X: hdiutil create -srcfolder DIR DMG |
58 - Mac OS X: hdiutil create -srcfolder DIR DMG |
63 |
59 |
64 - Windows: cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe |
60 - Windows: cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe |
65 |
61 |