--- a/Admin/Release/CHECKLIST Sun Sep 18 13:39:44 2022 +0200
+++ b/Admin/Release/CHECKLIST Sun Sep 18 14:10:15 2022 +0200
@@ -70,17 +70,24 @@
Packaging
=========
-- fully-automated packaging (e.g. on lxcisa0):
+- regular packaging:
+
+ #on fast Linux machine, with access to Linux + Windows build_host
+ Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20220917.tar.gz -p linux,windows -l
- hg up -r DISTNAME
- Admin/build_release -D /p/home/isabelle/dist -b HOL -l -R DISTNAME -c .../naproche-20220917.tar.gz
+ #with access Apple ARM build_host
+ Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20220917.tar.gz -p macos
- #no naproche for arm64-linux
- Admin/build_release -D /p/home/isabelle/dist -b HOL -R DISTNAME -p linux_arm
+ #with access Linux ARM build_host
+ Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20220917.tar.gz -p linux_arm
- Docker image:
isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022 Isabelle2022_linux.tar.gz
+ isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022_X11_Latex -P X11 -P latex Isabelle2022_linux.tar.gz
+
+ isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022_ARM Isabelle2022_linux_arm.tar.gz
+ isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022_ARM_X11_Latex -P X11 -P latex Isabelle2022_linux_arm.tar.gz
docker login