author | haftmann |
Wed, 05 Apr 2017 13:47:40 +0200 | |
changeset 65389 | 6f9c6ae27984 |
parent 64452 | b52141002646 |
child 65565 | 3219a7ed669c |
permissions | -rw-r--r-- |
13447 | 1 |
Checklist for official releases |
2 |
=============================== |
|
3 |
||
62354 | 4 |
- check latest updates of polyml, jdk, scala, jedit; |
50647 | 5 |
|
6 |
- check Admin/components; |
|
7 |
||
50957 | 8 |
- test 'display_drafts' command; |
25428 | 9 |
|
53583 | 10 |
- test "#!/usr/bin/env isabelle_scala_script"; |
11 |
||
56829 | 12 |
- check sources: |
62452 | 13 |
isabelle check_sources '~~' '$AFP_BASE' |
53665
ea8343187225
adhoc check of ML sources, in addition to thy files already covered in Thy_Load;
wenzelm
parents:
53660
diff
changeset
|
14 |
|
37368 | 15 |
- check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS; |
30888 | 16 |
|
60295 | 17 |
- check versions in src/Tools/jEdit/Isabelle.props; |
18 |
||
41617 | 19 |
- check funny base directory, e.g. "Test 中国"; |
20 |
||
57454 | 21 |
- check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding |
55367 | 22 |
requires cm-super fonts, which are usually available on MacTeX or |
23 |
Cygwin, but not on Ubuntu/Debian); |
|
24 |
||
36860 | 25 |
- diff NEWS wrt. last official release, which is read-only; |
26 |
||
53979 | 27 |
- update https://bitbucket.org/isabelle_project/isabelle-website |
13447 | 28 |
|
62238 | 29 |
- check doc/Contents, src/Tools/jEdit/dist/doc/Contents; |
13447 | 30 |
|
62238 | 31 |
- check Logics: |
50647 | 32 |
ROOTS |
30852 | 33 |
lib/html/library_index_content.template |
13447 | 34 |
|
63899 | 35 |
- HTML library: check HTML header; |
36 |
||
37 |
- HTML library: check theory dependencies (PDF); |
|
57876 | 38 |
|
47834 | 39 |
- test Isabelle/jEdit: |
60294 | 40 |
. print buffer |
41 |
. on single-core |
|
42 |
. on airy device |
|
47834 | 43 |
|
46729 | 44 |
- test contrib components: |
45 |
x86_64-linux without 32bit C/C++ libraries |
|
46 |
||
60032 | 47 |
- check "Handler catches all exceptions" |
50784 | 48 |
|
57624
a7acd2d8c2fb
enable hires explictly, as seen for other high-end Java applications on the Web;
wenzelm
parents:
57454
diff
changeset
|
49 |
- Mac OS X: check app bundle with Retina display; |
a7acd2d8c2fb
enable hires explictly, as seen for other high-end Java applications on the Web;
wenzelm
parents:
57454
diff
changeset
|
50 |
|
59980 | 51 |
- Mac OS X: check recent MacTeX; |
52 |
||
57876 | 53 |
- Windows: check dpi scaling with high-definition display; |
54 |
||
59980 | 55 |
- Windows: check recent MiKTeX; |
56 |
||
37526 | 57 |
|
54052 | 58 |
Repository fork |
59 |
=============== |
|
60 |
||
61 |
- isabelle: finalize NEWS / CONTRIBUTORS -- proper headers for named release; |
|
62 |
||
63 |
- isabelle-release: hg tag; |
|
64 |
||
54053 | 65 |
- isabelle: back to post-release mode -- after fork point; |
54052 | 66 |
|
67 |
||
37526 | 68 |
Packaging |
69 |
========= |
|
70 |
||
63897
85c83757788c
consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;
wenzelm
parents:
63061
diff
changeset
|
71 |
- Mac OS X: provide "gnutar" executable via shell PATH |
85c83757788c
consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;
wenzelm
parents:
63061
diff
changeset
|
72 |
(e.g. copy of /usr/bin/gnutar from Mountain Lion) |
85c83757788c
consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;
wenzelm
parents:
63061
diff
changeset
|
73 |
|
63899 | 74 |
- Linux: avoid some versions of Debian / Ubuntu (bitmap fonts for prog-prove); |
75 |
||
64436
254c9411fc48
build_release on lxbroy10 appears to work, including latex and remote_dmg;
wenzelm
parents:
64370
diff
changeset
|
76 |
- fully-automated packaging (e.g. on lxbroy10 or macbroy2): |
37526 | 77 |
|
64202 | 78 |
hg up -r DISTNAME && Admin/build_release -M macbroy30 -O -l -R DISTNAME /home/isabelle/dist |
41600 | 79 |
|
80 |
||
81 |
Final release stage |
|
82 |
=================== |
|
83 |
||
47863 | 84 |
- various .hg/hgrc files: |
51097 | 85 |
default = http://bitbucket.org/isabelle_project/isabelle-release |
86 |
default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release |
|
41600 | 87 |
|
64437 | 88 |
- Admin/cronjob/self_update: |
89 |
http://bitbucket.org/isabelle_project/isabelle-release |
|
41608 | 90 |
|
64452 | 91 |
- src/Pure/Admin/isabelle_cronjon.scala: |
92 |
isabelle_repos_source = isabelle_release_source |
|
93 |
||
47977 | 94 |
|
95 |
Post-release |
|
96 |
============ |
|
97 |
||
98 |
- update /home/isabelle and /home/isabelle/html-data |