author | wenzelm |
Fri, 26 Apr 2024 13:25:44 +0200 | |
changeset 80150 | 96f60533ec1d |
parent 80088 | 5afbf04418ec |
permissions | -rw-r--r-- |
13447 | 1 |
Checklist for official releases |
2 |
=============================== |
|
3 |
||
62354 | 4 |
- check latest updates of polyml, jdk, scala, jedit; |
50647 | 5 |
|
76465 | 6 |
- check isabelle.Dotnet_Setup.default_version: |
7 |
$ isabelle dotnet_setup -n -v -V "" | grep invocation |
|
8 |
||
50647 | 9 |
- check Admin/components; |
10 |
||
78781
847739805b8d
disable naproche component for now: to be updated before the next Isabelle release;
wenzelm
parents:
78145
diff
changeset
|
11 |
- Admin/components/bundled: update naproche; |
847739805b8d
disable naproche component for now: to be updated before the next Isabelle release;
wenzelm
parents:
78145
diff
changeset
|
12 |
|
71431 | 13 |
- test "isabelle dump -b Pure ZF"; |
68544 | 14 |
|
69956 | 15 |
- test "isabelle build -o export_theory -f ZF"; |
68544 | 16 |
|
17 |
- test "isabelle server" according to "system" manual; |
|
18 |
||
19 |
- test Isabelle/VSCode; |
|
20 |
||
66647 | 21 |
- test Isabelle/jEdit: print buffer |
22 |
||
74001 | 23 |
- test Isabelle/jEdit: deactivate main plugin; |
24 |
||
75410
832f764093e1
avoid static access to sun.tools.jconsole: more robust compilation (notably with scala3), but less robust invocation;
wenzelm
parents:
75186
diff
changeset
|
25 |
- test "isabelle java_monitor -P pid" with "isabelle jedit"; |
832f764093e1
avoid static access to sun.tools.jconsole: more robust compilation (notably with scala3), but less robust invocation;
wenzelm
parents:
75186
diff
changeset
|
26 |
|
80088
5afbf04418ec
avoid Scala if-expressions and thus make it work both for -new-syntax or -old-syntax;
wenzelm
parents:
79792
diff
changeset
|
27 |
- test "isabelle build HOL-Codegenerator_Test" with -new-syntax |
5afbf04418ec
avoid Scala if-expressions and thus make it work both for -new-syntax or -old-syntax;
wenzelm
parents:
79792
diff
changeset
|
28 |
(see also etc/settings:ISABELLE_SCALAC_OPTIONS); |
5afbf04418ec
avoid Scala if-expressions and thus make it work both for -new-syntax or -old-syntax;
wenzelm
parents:
79792
diff
changeset
|
29 |
|
80150 | 30 |
- test Windows Subsystem for Linux (e.g. on Windows Server 2022); |
68591 | 31 |
|
69169
a5640ec8fcb8
check (non-)executable files -- and eliminate them manually from the repository)
wenzelm
parents:
68738
diff
changeset
|
32 |
- check (non-)executable files: |
a5640ec8fcb8
check (non-)executable files -- and eliminate them manually from the repository)
wenzelm
parents:
68738
diff
changeset
|
33 |
$ 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
|
34 |
$ find -type f -executable |
a5640ec8fcb8
check (non-)executable files -- and eliminate them manually from the repository)
wenzelm
parents:
68738
diff
changeset
|
35 |
|
56829 | 36 |
- check sources: |
62452 | 37 |
isabelle check_sources '~~' '$AFP_BASE' |
53665
ea8343187225
adhoc check of ML sources, in addition to thy files already covered in Thy_Load;
wenzelm
parents:
53660
diff
changeset
|
38 |
|
37368 | 39 |
- check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS; |
30888 | 40 |
|
66477 | 41 |
- check versions: |
74426 | 42 |
src/Tools/jEdit/jedit_base/plugin.props |
43 |
src/Tools/jEdit/jedit_main/plugin.props |
|
66598 | 44 |
src/Tools/VSCode/extension/package.json |
45 |
||
41617 | 46 |
- check funny base directory, e.g. "Test 中国"; |
47 |
||
36860 | 48 |
- diff NEWS wrt. last official release, which is read-only; |
49 |
||
69691 | 50 |
- update https://isabelle.sketis.net/repos/isabelle-website |
13447 | 51 |
|
73987
fc363a3b690a
build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
73607
diff
changeset
|
52 |
- check doc/Contents, $JEDIT_HOME/doc/Contents; |
13447 | 53 |
|
72894
bd2269b6cd99
updated "macOS" terminology: current Big Sur is already version 11;
wenzelm
parents:
72793
diff
changeset
|
54 |
- test old HD display: Linux, Windows, macOS; |
57624
a7acd2d8c2fb
enable hires explictly, as seen for other high-end Java applications on the Web;
wenzelm
parents:
57454
diff
changeset
|
55 |
|
72894
bd2269b6cd99
updated "macOS" terminology: current Big Sur is already version 11;
wenzelm
parents:
72793
diff
changeset
|
56 |
- macOS: check recent MacTeX; |
59980 | 57 |
|
58 |
- Windows: check recent MiKTeX; |
|
59 |
||
71289 | 60 |
- Phabricator: |
61 |
. src/Doc/System/Phabricator.thy: check/update underlying Ubuntu version |
|
71431 | 62 |
. etc/options: check/update phabricator_version entries; |
71289 | 63 |
|
37526 | 64 |
|
54052 | 65 |
Repository fork |
66 |
=============== |
|
67 |
||
68 |
- isabelle: finalize NEWS / CONTRIBUTORS -- proper headers for named release; |
|
69 |
||
70 |
- isabelle-release: hg tag; |
|
71 |
||
54053 | 72 |
- isabelle: back to post-release mode -- after fork point; |
54052 | 73 |
|
74 |
||
37526 | 75 |
Packaging |
76 |
========= |
|
77 |
||
76193 | 78 |
- regular packaging: |
79 |
||
79792 | 80 |
#on fast Linux machine, with access to build_host for each platform |
81 |
Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2024 -j2 -l |
|
41600 | 82 |
|
66792 | 83 |
- Docker image: |
84 |
||
79792 | 85 |
isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2024 Isabelle2024_linux.tar.gz |
86 |
isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2024_X11_Latex -P X11 -P latex Isabelle2024_linux.tar.gz |
|
76193 | 87 |
|
79792 | 88 |
isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2024_ARM Isabelle2024_linux_arm.tar.gz |
89 |
isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2024_ARM_X11_Latex -P X11 -P latex Isabelle2024_linux_arm.tar.gz |
|
66792 | 90 |
|
73258 | 91 |
docker login |
92 |
||
79792 | 93 |
docker push makarius/isabelle:Isabelle2024 |
73258 | 94 |
|
73299
43ce3b8a25ee
proper "latest" tag, otherwise the default pull command from https://hub.docker.com/r/makarius/isabelle won't work;
wenzelm
parents:
73258
diff
changeset
|
95 |
docker tag ... latest |
43ce3b8a25ee
proper "latest" tag, otherwise the default pull command from https://hub.docker.com/r/makarius/isabelle won't work;
wenzelm
parents:
73258
diff
changeset
|
96 |
docker push makarius/isabelle:latest |
43ce3b8a25ee
proper "latest" tag, otherwise the default pull command from https://hub.docker.com/r/makarius/isabelle won't work;
wenzelm
parents:
73258
diff
changeset
|
97 |
|
66792 | 98 |
https://hub.docker.com/r/makarius/isabelle |
70330 | 99 |
https://docs.docker.com/engine/reference/commandline/push |
66792 | 100 |
|
41600 | 101 |
|
47977 | 102 |
Post-release |
103 |
============ |
|
104 |
||
76374 | 105 |
- update .hgtags |
106 |
||
73478
1be70e3de751
record official releases that follow a certain structure, with public access via https://isabelle.sketis.net/repos/isabelle/raw-file/tip/Admin/Release/official (NB: Isabelle2013-1 had to be retracted);
wenzelm
parents:
73299
diff
changeset
|
107 |
- update Admin/Release/official |
1be70e3de751
record official releases that follow a certain structure, with public access via https://isabelle.sketis.net/repos/isabelle/raw-file/tip/Admin/Release/official (NB: Isabelle2013-1 had to be retracted);
wenzelm
parents:
73299
diff
changeset
|
108 |
|
74653 | 109 |
- update /p/home/isabelle and /p/home/isabelle/html-data |