author | wenzelm |
Sat, 19 Jan 2013 12:53:13 +0100 | |
changeset 50984 | 7c07ade3c8e0 |
parent 50957 | 1005346154e8 |
child 50990 | 11996ea98bbe |
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 |
|
50802 | 10 |
- test scala-2.9.2; |
11 |
||
44801 | 12 |
- test Proof General 4.1, 3.7.1.1; |
30888 | 13 |
|
50957 | 14 |
- test 'display_drafts' command; |
25428 | 15 |
|
50957 | 16 |
- check HTML header of library; |
25428 | 17 |
|
27010 | 18 |
- check persistent sessions with PG and Poly/ML 5.x; |
25550 | 19 |
|
44863
49ea566cb3b4
more symbolic file positions via smart replacement of ISABELLE_HOME -- allows Isabelle distribution to be moved later on;
wenzelm
parents:
44801
diff
changeset
|
20 |
- check file positions within logic images (hyperlinks etc.); |
49ea566cb3b4
more symbolic file positions via smart replacement of ISABELLE_HOME -- allows Isabelle distribution to be moved later on;
wenzelm
parents:
44801
diff
changeset
|
21 |
|
50647 | 22 |
- isabelle update_keywords; |
13447 | 23 |
|
37368 | 24 |
- check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS; |
30888 | 25 |
|
41617 | 26 |
- check funny base directory, e.g. "Test 中国"; |
27 |
||
36860 | 28 |
- diff NEWS wrt. last official release, which is read-only; |
29 |
||
30888 | 30 |
- update https://isabelle.in.tum.de/repos/website; |
13447 | 31 |
|
32 |
- maintain Docs: |
|
28956 | 33 |
doc/Contents |
13447 | 34 |
|
35 |
- maintain Logics: |
|
50647 | 36 |
ROOTS |
30852 | 37 |
lib/html/library_index_content.template |
13447 | 38 |
|
47408
63c05991882e
slightly faster default compilation of Isabelle/Scala;
wenzelm
parents:
46729
diff
changeset
|
39 |
- test separate compilation of Isabelle/Scala PIDE sources: |
63c05991882e
slightly faster default compilation of Isabelle/Scala;
wenzelm
parents:
46729
diff
changeset
|
40 |
Admin/build jars_test |
63c05991882e
slightly faster default compilation of Isabelle/Scala;
wenzelm
parents:
46729
diff
changeset
|
41 |
|
47834 | 42 |
- test Isabelle/jEdit: |
43 |
print buffer |
|
44 |
||
46729 | 45 |
- test contrib components: |
46 |
x86_64-linux without 32bit C/C++ libraries |
|
47 |
Mac OS X Leopard |
|
48 |
||
50784 | 49 |
- check "Handler catches all exceptions", using |
50 |
PolyML.Compiler.reportExhaustiveHandlers := true; |
|
51 |
||
37526 | 52 |
|
53 |
Packaging |
|
54 |
========= |
|
55 |
||
50899
506ff6abfde0
grand-unified Admin/Release/build script (excluding .app and .exe);
wenzelm
parents:
50864
diff
changeset
|
56 |
- hg up -r DISTNAME && Admin/Release/build -r DISTNAME /home/isabelle/dist |
37526 | 57 |
|
50984 | 58 |
- manual packaging of .app (Mac OS) and .exe (Windows) |
41600 | 59 |
|
60 |
||
61 |
Final release stage |
|
62 |
=================== |
|
63 |
||
47863 | 64 |
- various .hg/hgrc files: |
65 |
default = /home/isabelle-repository/repos/isabelle-release |
|
41600 | 66 |
|
47863 | 67 |
- isatest@macbroy28:hg-isabelle/.hg/hgrc |
41608 | 68 |
- isatest@macbroy28:devel-page/content/index.content |
69 |
||
47977 | 70 |
|
71 |
Post-release |
|
72 |
============ |
|
73 |
||
74 |
- update /home/isabelle and /home/isabelle/html-data |
|
75 |