Admin/Release/CHECKLIST
changeset 50799 5a2f5834ccb4
parent 50784 cbc7002cc273
child 50802 7a7e8958b6ef
equal deleted inserted replaced
50798:0ddc85dae1d5 50799:5a2f5834ccb4
    51 Packaging
    51 Packaging
    52 =========
    52 =========
    53 
    53 
    54 - hg up -r DISTNAME && isabelle makedist -r DISTNAME;
    54 - hg up -r DISTNAME && isabelle makedist -r DISTNAME;
    55 
    55 
    56 - makebin (multiplatform);
    56 - isabelle makedist_bundles;
    57 
       
    58 - makebundle (multiplatform);
       
    59 
    57 
    60 - Mac OS X: hdiutil create -srcfolder DIR DMG;
    58 - Mac OS X: hdiutil create -srcfolder DIR DMG;
    61 
    59 
    62 - Windows: cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe
    60 - Windows: cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe
    63 
    61 
    64 - makebin -l on fast machine, based on renamed bundle with deleted heaps;
    62 - makebin -l on fast machine, based on renamed bundle with deleted heaps;
    65 
    63 
    66 
    64 
    67 Final release stage
    65 Final release stage
    68 ===================
    66 ===================
    69 
       
    70 - makedist: REPOS_NAME="isabelle-release"
       
    71 
    67 
    72 - various .hg/hgrc files:
    68 - various .hg/hgrc files:
    73   default = /home/isabelle-repository/repos/isabelle-release
    69   default = /home/isabelle-repository/repos/isabelle-release
    74 
    70 
    75 - isatest@macbroy28:hg-isabelle/.hg/hgrc
    71 - isatest@macbroy28:hg-isabelle/.hg/hgrc