author | wenzelm |
Tue, 15 Jan 2013 12:30:23 +0100 | |
changeset 50899 | 506ff6abfde0 |
parent 50864 | e932198be619 |
child 50957 | 1005346154e8 |
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 |
|
25428 | 14 |
- check HTML header of library; |
15 |
||
27010 | 16 |
- check CTRL-C, SIGINT in tty (also for external processes); |
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 |
|
50864 | 58 |
- Mac OS X: hdiutil create -srcfolder DIR DMG |
47838 | 59 |
|
60 |
- Windows: cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe |
|
41600 | 61 |
|
62 |
||
63 |
Final release stage |
|
64 |
=================== |
|
65 |
||
47863 | 66 |
- various .hg/hgrc files: |
67 |
default = /home/isabelle-repository/repos/isabelle-release |
|
41600 | 68 |
|
47863 | 69 |
- isatest@macbroy28:hg-isabelle/.hg/hgrc |
41608 | 70 |
- isatest@macbroy28:devel-page/content/index.content |
71 |
||
47977 | 72 |
|
73 |
Post-release |
|
74 |
============ |
|
75 |
||
76 |
- update /home/isabelle and /home/isabelle/html-data |
|
77 |