author | kuncar |
Thu, 24 May 2012 14:20:23 +0200 | |
changeset 47982 | 7aa35601ff65 |
parent 47977 | 455a9f89c47d |
child 47979 | 59ec72d3d0b9 |
permissions | -rw-r--r-- |
13447 | 1 |
Checklist for official releases |
2 |
=============================== |
|
3 |
||
45147 | 4 |
- test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj; |
31308 | 5 |
|
44801 | 6 |
- test Proof General 4.1, 3.7.1.1; |
30888 | 7 |
|
25428 | 8 |
- check HTML header of library; |
9 |
||
27010 | 10 |
- check CTRL-C, SIGINT in tty (also for external processes); |
25428 | 11 |
|
27010 | 12 |
- check persistent sessions with PG and Poly/ML 5.x; |
25550 | 13 |
|
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
|
14 |
- 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
|
15 |
|
24883 | 16 |
- Admin/update-keywords; |
13447 | 17 |
|
37368 | 18 |
- check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS; |
30888 | 19 |
|
41446 | 20 |
- check Admin/contributed_components; |
21 |
||
41617 | 22 |
- check funny base directory, e.g. "Test 中国"; |
23 |
||
36860 | 24 |
- diff NEWS wrt. last official release, which is read-only; |
25 |
||
30888 | 26 |
- update https://isabelle.in.tum.de/repos/website; |
13447 | 27 |
|
28 |
- maintain Docs: |
|
47858 | 29 |
doc-src: make all |
28956 | 30 |
doc-src/Dirs |
31 |
doc/Contents |
|
13447 | 32 |
|
33 |
- maintain Logics: |
|
28956 | 34 |
build |
40779
24851517ef15
follow-up to HOLCF move (cf. 0437dbc127b3, 04d44a20fccf);
wenzelm
parents:
37526
diff
changeset
|
35 |
etc/components |
30852 | 36 |
lib/html/library_index_content.template |
13447 | 37 |
|
47408
63c05991882e
slightly faster default compilation of Isabelle/Scala;
wenzelm
parents:
46729
diff
changeset
|
38 |
- test separate compilation of Isabelle/Scala PIDE sources: |
63c05991882e
slightly faster default compilation of Isabelle/Scala;
wenzelm
parents:
46729
diff
changeset
|
39 |
Admin/build jars_test |
63c05991882e
slightly faster default compilation of Isabelle/Scala;
wenzelm
parents:
46729
diff
changeset
|
40 |
|
47834 | 41 |
- test Isabelle/jEdit: |
42 |
print buffer |
|
43 |
||
46729 | 44 |
- test contrib components: |
45 |
x86_64-linux without 32bit C/C++ libraries |
|
46 |
Mac OS X Leopard |
|
47 |
||
37526 | 48 |
|
49 |
Packaging |
|
50 |
========= |
|
51 |
||
44878 | 52 |
- makedist -j jedit_build-XXXX -r DISTNAME |
37526 | 53 |
|
54 |
- makebin (multiplatform); |
|
55 |
||
56 |
- makebundle (multiplatform); |
|
57 |
||
47838 | 58 |
- Mac OS X: hdiutil create -srcfolder DIR DMG; |
59 |
||
60 |
- Windows: cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe |
|
41600 | 61 |
|
45096 | 62 |
- makebin -l on fast machine, based on renamed bundle with deleted heaps; |
45092 | 63 |
|
41600 | 64 |
|
65 |
Final release stage |
|
66 |
=================== |
|
67 |
||
41666 | 68 |
- makedist: REPOS_NAME="isabelle-release" |
69 |
||
47863 | 70 |
- various .hg/hgrc files: |
71 |
default = /home/isabelle-repository/repos/isabelle-release |
|
41600 | 72 |
|
47863 | 73 |
- isatest@macbroy28:hg-isabelle/.hg/hgrc |
41608 | 74 |
- isatest@macbroy28:devel-page/content/index.content |
75 |
||
47977 | 76 |
|
77 |
Post-release |
|
78 |
============ |
|
79 |
||
80 |
- update /home/isabelle and /home/isabelle/html-data |
|
81 |