Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
formal bundling for Admin/build_release: avoid confusion about presence or absence in manual invocations;
authorwenzelm
Wed, 26 Oct 2022 15:02:11 +0200
changeset 76378 c0566b6f6ca8
parent 76375 089e546f671f
child 76379 e0f3fda92990
formal bundling for Admin/build_release: avoid confusion about presence or absence in manual invocations;
Admin/Release/CHECKLIST file | annotate | diff | comparison | revisions
Admin/components/bundled file | annotate | diff | comparison | revisions 
--- a/Admin/Release/CHECKLIST	Wed Oct 26 00:30:50 2022 +0200
+++ b/Admin/Release/CHECKLIST	Wed Oct 26 15:02:11 2022 +0200
@@ -72,14 +72,17 @@
 
 - regular packaging:
 
+  #source archive
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p ""
+
   #on fast Linux machine, with access to Linux + Windows build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p linux,windows -l
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p linux,windows -l
 
   #with access Apple ARM build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p macos
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p macos
 
   #with access Linux ARM build_host
-  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p linux_arm
+  Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p linux_arm
 
 - Docker image:
 
--- a/Admin/components/bundled	Wed Oct 26 00:30:50 2022 +0200
+++ b/Admin/components/bundled	Wed Oct 26 15:02:11 2022 +0200
@@ -1,2 +1,2 @@
 #additional components to be bundled for release
-
+naproche-20221024
isabelle