author | blanchet |
Mon, 08 Sep 2014 15:54:33 +0200 | |
changeset 58229 | cece11f6262a |
parent 57876 | 7d45e47c2765 |
child 59952 | 550b74e9b08c |
permissions | -rw-r--r-- |
13447 | 1 |
Checklist for official releases |
2 |
=============================== |
|
3 |
||
50647 | 4 |
- check latest polyml, smlnj, jdk, scala, jedit; |
5 |
||
6 |
- check Admin/components; |
|
7 |
||
47979 | 8 |
- test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, smlnj; |
31308 | 9 |
|
53660 | 10 |
- test Isabelle/jEdit on single-core; |
11 |
||
12 |
- test Isabelle/jEdit on airy device; |
|
30888 | 13 |
|
50957 | 14 |
- test 'display_drafts' command; |
25428 | 15 |
|
53583 | 16 |
- test "#!/usr/bin/env isabelle_scala_script"; |
17 |
||
56829 | 18 |
- check sources: |
19 |
isabelle java isabelle.Check_Source '~~' '$AFP_BASE' |
|
53665
ea8343187225
adhoc check of ML sources, in addition to thy files already covered in Thy_Load;
wenzelm
parents:
53660
diff
changeset
|
20 |
|
52441
ffc3f1659a25
need to run isabelle update_keywords, but not to check it (cf. 4cf3f6153eb8);
wenzelm
parents:
52439
diff
changeset
|
21 |
- run isabelle update_keywords; |
ffc3f1659a25
need to run isabelle update_keywords, but not to check it (cf. 4cf3f6153eb8);
wenzelm
parents:
52439
diff
changeset
|
22 |
|
37368 | 23 |
- check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS; |
30888 | 24 |
|
41617 | 25 |
- check funny base directory, e.g. "Test 中国"; |
26 |
||
57454 | 27 |
- check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding |
55367 | 28 |
requires cm-super fonts, which are usually available on MacTeX or |
29 |
Cygwin, but not on Ubuntu/Debian); |
|
30 |
||
36860 | 31 |
- diff NEWS wrt. last official release, which is read-only; |
32 |
||
53979 | 33 |
- update https://bitbucket.org/isabelle_project/isabelle-website |
13447 | 34 |
|
53416 | 35 |
- maintain doc/Contents; |
13447 | 36 |
|
37 |
- maintain Logics: |
|
50647 | 38 |
ROOTS |
30852 | 39 |
lib/html/library_index_content.template |
13447 | 40 |
|
57876 | 41 |
- check HTML header of library; |
42 |
||
47408
63c05991882e
slightly faster default compilation of Isabelle/Scala;
wenzelm
parents:
46729
diff
changeset
|
43 |
- test separate compilation of Isabelle/Scala PIDE sources: |
63c05991882e
slightly faster default compilation of Isabelle/Scala;
wenzelm
parents:
46729
diff
changeset
|
44 |
Admin/build jars_test |
63c05991882e
slightly faster default compilation of Isabelle/Scala;
wenzelm
parents:
46729
diff
changeset
|
45 |
|
47834 | 46 |
- test Isabelle/jEdit: |
47 |
print buffer |
|
48 |
||
46729 | 49 |
- test contrib components: |
50 |
x86_64-linux without 32bit C/C++ libraries |
|
51 |
||
50784 | 52 |
- check "Handler catches all exceptions", using |
53 |
PolyML.Compiler.reportExhaustiveHandlers := true; |
|
54 |
||
57624
a7acd2d8c2fb
enable hires explictly, as seen for other high-end Java applications on the Web;
wenzelm
parents:
57454
diff
changeset
|
55 |
- 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
|
56 |
|
57876 | 57 |
- Windows: check dpi scaling with high-definition display; |
58 |
||
37526 | 59 |
|
54052 | 60 |
Repository fork |
61 |
=============== |
|
62 |
||
63 |
- isabelle: finalize NEWS / CONTRIBUTORS -- proper headers for named release; |
|
64 |
||
65 |
- isabelle-release: hg tag; |
|
66 |
||
54053 | 67 |
- isabelle: back to post-release mode -- after fork point; |
54052 | 68 |
|
69 |
||
37526 | 70 |
Packaging |
71 |
========= |
|
72 |
||
57454 | 73 |
- fully-automated packaging (requires Mac OS X with gnutar, avoid Mavericks): |
37526 | 74 |
|
57681 | 75 |
hg up -r DISTNAME && Admin/Release/build -O -l -r DISTNAME /home/isabelle/dist |
41600 | 76 |
|
77 |
||
78 |
Final release stage |
|
79 |
=================== |
|
80 |
||
47863 | 81 |
- various .hg/hgrc files: |
51097 | 82 |
default = http://bitbucket.org/isabelle_project/isabelle-release |
83 |
default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release |
|
41600 | 84 |
|
47863 | 85 |
- isatest@macbroy28:hg-isabelle/.hg/hgrc |
41608 | 86 |
- isatest@macbroy28:devel-page/content/index.content |
87 |
||
47977 | 88 |
|
89 |
Post-release |
|
90 |
============ |
|
91 |
||
92 |
- update /home/isabelle and /home/isabelle/html-data |
|
93 |