equal
deleted
inserted
replaced
67 |
67 |
68 |
68 |
69 Packaging |
69 Packaging |
70 ========= |
70 ========= |
71 |
71 |
|
72 - Mac OS X: provide "gnutar" executable via shell PATH |
|
73 (e.g. copy of /usr/bin/gnutar from Mountain Lion) |
|
74 |
72 - fully-automated packaging: |
75 - fully-automated packaging: |
73 |
76 |
74 hg up -r DISTNAME && Admin/Release/build -O -l -r DISTNAME /home/isabelle/dist |
77 hg up -r DISTNAME && Admin/Release/build -O -l -r DISTNAME /home/isabelle/dist |
75 |
78 |
76 Mac OS X: requires gnutar, avoid Mavericks (problems with hdiutil?) |
79 Mac OS X: avoid Mavericks (problems with hdiutil?) |
77 Linux: avoid Debian (bitmap fonts for prog-prove) |
80 Linux: avoid Debian (bitmap fonts for prog-prove) |
78 |
81 |
79 |
82 |
80 Final release stage |
83 Final release stage |
81 =================== |
84 =================== |