|
wenzelm@13447
|
1 |
Checklist for official releases
|
|
wenzelm@13447
|
2 |
===============================
|
|
wenzelm@13447
|
3 |
|
|
wenzelm@48994
|
4 |
- test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, smlnj;
|
|
wenzelm@31308
|
5 |
|
|
wenzelm@45682
|
6 |
- test Proof General 4.1, 3.7.1.1;
|
|
wenzelm@30888
|
7 |
|
|
wenzelm@25428
|
8 |
- check HTML header of library;
|
|
wenzelm@25428
|
9 |
|
|
wenzelm@27010
|
10 |
- check CTRL-C, SIGINT in tty (also for external processes);
|
|
wenzelm@25428
|
11 |
|
|
wenzelm@27010
|
12 |
- check persistent sessions with PG and Poly/ML 5.x;
|
|
wenzelm@25550
|
13 |
|
|
wenzelm@45735
|
14 |
- check file positions within logic images (hyperlinks etc.);
|
|
wenzelm@45735
|
15 |
|
|
wenzelm@24883
|
16 |
- Admin/update-keywords;
|
|
wenzelm@13447
|
17 |
|
|
wenzelm@37469
|
18 |
- check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
|
|
wenzelm@30888
|
19 |
|
|
wenzelm@49205
|
20 |
- check Admin/components;
|
|
wenzelm@41702
|
21 |
|
|
wenzelm@41865
|
22 |
- check funny base directory, e.g. "Test 中国";
|
|
wenzelm@41865
|
23 |
|
|
wenzelm@36867
|
24 |
- diff NEWS wrt. last official release, which is read-only;
|
|
wenzelm@36867
|
25 |
|
|
wenzelm@30888
|
26 |
- update https://isabelle.in.tum.de/repos/website;
|
|
wenzelm@13447
|
27 |
|
|
wenzelm@13447
|
28 |
- maintain Docs:
|
|
wenzelm@28956
|
29 |
doc/Contents
|
|
wenzelm@13447
|
30 |
|
|
wenzelm@13447
|
31 |
- maintain Logics:
|
|
wenzelm@41027
|
32 |
etc/components
|
|
wenzelm@30852
|
33 |
lib/html/library_index_content.template
|
|
wenzelm@13447
|
34 |
|
|
wenzelm@48279
|
35 |
- test separate compilation of Isabelle/Scala PIDE sources:
|
|
wenzelm@48279
|
36 |
Admin/build jars_test
|
|
wenzelm@48279
|
37 |
|
|
wenzelm@48705
|
38 |
- test Isabelle/jEdit:
|
|
wenzelm@48705
|
39 |
print buffer
|
|
wenzelm@48705
|
40 |
|
|
wenzelm@47603
|
41 |
- test contrib components:
|
|
wenzelm@47603
|
42 |
x86_64-linux without 32bit C/C++ libraries
|
|
wenzelm@47603
|
43 |
Mac OS X Leopard
|
|
wenzelm@47603
|
44 |
|
|
wenzelm@37527
|
45 |
|
|
wenzelm@37527
|
46 |
Packaging
|
|
wenzelm@37527
|
47 |
=========
|
|
wenzelm@37527
|
48 |
|
|
wenzelm@45749
|
49 |
- makedist -j jedit_build-XXXX -r DISTNAME
|
|
wenzelm@37527
|
50 |
|
|
wenzelm@37527
|
51 |
- makebin (multiplatform);
|
|
wenzelm@37527
|
52 |
|
|
wenzelm@37527
|
53 |
- makebundle (multiplatform);
|
|
wenzelm@37527
|
54 |
|
|
wenzelm@48709
|
55 |
- Mac OS X: hdiutil create -srcfolder DIR DMG;
|
|
wenzelm@48709
|
56 |
|
|
wenzelm@48709
|
57 |
- Windows: cat 7zsd_All.sfx sfx.txt Isabelle.7z > Isabelle.exe
|
|
wenzelm@41849
|
58 |
|
|
wenzelm@45981
|
59 |
- makebin -l on fast machine, based on renamed bundle with deleted heaps;
|
|
wenzelm@45977
|
60 |
|
|
wenzelm@41849
|
61 |
|
|
wenzelm@41849
|
62 |
Final release stage
|
|
wenzelm@41849
|
63 |
===================
|
|
wenzelm@41849
|
64 |
|
|
wenzelm@42537
|
65 |
- makedist: REPOS_NAME="isabelle-release"
|
|
wenzelm@42537
|
66 |
|
|
wenzelm@48734
|
67 |
- various .hg/hgrc files:
|
|
wenzelm@48734
|
68 |
default = /home/isabelle-repository/repos/isabelle-release
|
|
wenzelm@41849
|
69 |
|
|
wenzelm@48734
|
70 |
- isatest@macbroy28:hg-isabelle/.hg/hgrc
|
|
wenzelm@41856
|
71 |
- isatest@macbroy28:devel-page/content/index.content
|
|
wenzelm@41856
|
72 |
|
|
wenzelm@48992
|
73 |
|
|
wenzelm@48992
|
74 |
Post-release
|
|
wenzelm@48992
|
75 |
============
|
|
wenzelm@48992
|
76 |
|
|
wenzelm@48992
|
77 |
- update /home/isabelle and /home/isabelle/html-data
|
|
wenzelm@48992
|
78 |
|