author | wenzelm |
Thu, 28 Feb 2019 21:59:58 +0100 | |
changeset 69850 | 5f993636ac07 |
parent 69691 | 9c6651cd6141 |
child 69956 | 800ec9074701 |
permissions | -rw-r--r-- |
13447 | 1 |
Checklist for official releases |
2 |
=============================== |
|
3 |
||
62354 | 4 |
- check latest updates of polyml, jdk, scala, jedit; |
50647 | 5 |
|
6 |
- check Admin/components; |
|
7 |
||
68544 | 8 |
- test "isabelle dump -l Pure ZF"; |
9 |
||
10 |
- test "isabelle -o export_theory -f ZF"; |
|
11 |
||
12 |
- test "isabelle server" according to "system" manual; |
|
13 |
||
14 |
- test Isabelle/VSCode; |
|
15 |
||
66647 | 16 |
- test Isabelle/jEdit: print buffer |
17 |
||
53583 | 18 |
- test "#!/usr/bin/env isabelle_scala_script"; |
19 |
||
68591 | 20 |
- test Windows 10 subsystem for Linux: |
21 |
https://docs.microsoft.com/en-us/windows/wsl/install-win10 |
|
22 |
||
69169
a5640ec8fcb8
check (non-)executable files -- and eliminate them manually from the repository)
wenzelm
parents:
68738
diff
changeset
|
23 |
- check (non-)executable files: |
a5640ec8fcb8
check (non-)executable files -- and eliminate them manually from the repository)
wenzelm
parents:
68738
diff
changeset
|
24 |
$ find . "(" -name "*.thy" -o -name "*.ML" -o -name "*.scala" -o -name ROOT ")" -executable |
a5640ec8fcb8
check (non-)executable files -- and eliminate them manually from the repository)
wenzelm
parents:
68738
diff
changeset
|
25 |
$ find -type f -executable |
a5640ec8fcb8
check (non-)executable files -- and eliminate them manually from the repository)
wenzelm
parents:
68738
diff
changeset
|
26 |
|
56829 | 27 |
- check sources: |
62452 | 28 |
isabelle check_sources '~~' '$AFP_BASE' |
65567 | 29 |
isabelle imports -M -a -d '~~/src/Benchmarks' |
53665
ea8343187225
adhoc check of ML sources, in addition to thy files already covered in Thy_Load;
wenzelm
parents:
53660
diff
changeset
|
30 |
|
37368 | 31 |
- check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS; |
30888 | 32 |
|
66477 | 33 |
- check versions: |
34 |
src/Tools/jEdit/src/Isabelle.props |
|
35 |
src/Tools/jEdit/src-base/Isabelle_Base.props |
|
60295 | 36 |
|
66598 | 37 |
- check Isabelle version: |
38 |
src/Tools/VSCode/extension/README.md |
|
39 |
src/Tools/VSCode/extension/package.json |
|
40 |
||
41617 | 41 |
- check funny base directory, e.g. "Test 中国"; |
42 |
||
68573 | 43 |
- check scalable fonts, e.g. src/Doc/Prog_Prove |
44 |
(NOTE: T1 encoding requires cm-super fonts); |
|
55367 | 45 |
|
36860 | 46 |
- diff NEWS wrt. last official release, which is read-only; |
47 |
||
69691 | 48 |
- update https://isabelle.sketis.net/repos/isabelle-website |
13447 | 49 |
|
62238 | 50 |
- check doc/Contents, src/Tools/jEdit/dist/doc/Contents; |
13447 | 51 |
|
62238 | 52 |
- check Logics: |
50647 | 53 |
ROOTS |
30852 | 54 |
lib/html/library_index_content.template |
13447 | 55 |
|
63899 | 56 |
- HTML library: check HTML header; |
57 |
||
58 |
- HTML library: check theory dependencies (PDF); |
|
57876 | 59 |
|
60032 | 60 |
- check "Handler catches all exceptions" |
50784 | 61 |
|
57624
a7acd2d8c2fb
enable hires explictly, as seen for other high-end Java applications on the Web;
wenzelm
parents:
57454
diff
changeset
|
62 |
- 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
|
63 |
|
59980 | 64 |
- Mac OS X: check recent MacTeX; |
65 |
||
57876 | 66 |
- Windows: check dpi scaling with high-definition display; |
67 |
||
59980 | 68 |
- Windows: check recent MiKTeX; |
69 |
||
37526 | 70 |
|
54052 | 71 |
Repository fork |
72 |
=============== |
|
73 |
||
74 |
- isabelle: finalize NEWS / CONTRIBUTORS -- proper headers for named release; |
|
75 |
||
76 |
- isabelle-release: hg tag; |
|
77 |
||
54053 | 78 |
- isabelle: back to post-release mode -- after fork point; |
54052 | 79 |
|
80 |
||
37526 | 81 |
Packaging |
82 |
========= |
|
83 |
||
63897
85c83757788c
consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;
wenzelm
parents:
63061
diff
changeset
|
84 |
- Mac OS X: provide "gnutar" executable via shell PATH |
85c83757788c
consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;
wenzelm
parents:
63061
diff
changeset
|
85 |
(e.g. copy of /usr/bin/gnutar from Mountain Lion) |
85c83757788c
consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;
wenzelm
parents:
63061
diff
changeset
|
86 |
|
68573 | 87 |
- fully-automated packaging (e.g. on lxbroy10): |
37526 | 88 |
|
69435
e18e4532fb42
clarified example: avoid unpacking into /home/isabelle/components at TUM;
wenzelm
parents:
69432
diff
changeset
|
89 |
hg up -r DISTNAME && Admin/build_release -O -l -R DISTNAME -C ~/tmp/isadist/contrib /home/isabelle/dist |
41600 | 90 |
|
66792 | 91 |
- Docker image: |
92 |
||
68738 | 93 |
isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2018 Isabelle2018_app.tar.gz |
66792 | 94 |
|
95 |
https://hub.docker.com/r/makarius/isabelle |
|
96 |
https://docs.docker.com/docker-cloud/builds/push-images |
|
97 |
||
41600 | 98 |
|
47977 | 99 |
Post-release |
100 |
============ |
|
101 |
||
102 |
- update /home/isabelle and /home/isabelle/html-data |