equal
deleted
inserted
replaced
68 |
68 |
69 |
69 |
70 Packaging |
70 Packaging |
71 ========= |
71 ========= |
72 |
72 |
73 - fully-automated packaging (e.g. on lxcisa0): |
73 - regular packaging: |
74 |
74 |
75 hg up -r DISTNAME |
75 #on fast Linux machine, with access to Linux + Windows build_host |
76 Admin/build_release -D /p/home/isabelle/dist -b HOL -l -R DISTNAME -c .../naproche-20220917.tar.gz |
76 Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20220917.tar.gz -p linux,windows -l |
77 |
77 |
78 #no naproche for arm64-linux |
78 #with access Apple ARM build_host |
79 Admin/build_release -D /p/home/isabelle/dist -b HOL -R DISTNAME -p linux_arm |
79 Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20220917.tar.gz -p macos |
|
80 |
|
81 #with access Linux ARM build_host |
|
82 Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20220917.tar.gz -p linux_arm |
80 |
83 |
81 - Docker image: |
84 - Docker image: |
82 |
85 |
83 isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022 Isabelle2022_linux.tar.gz |
86 isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022 Isabelle2022_linux.tar.gz |
|
87 isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022_X11_Latex -P X11 -P latex Isabelle2022_linux.tar.gz |
|
88 |
|
89 isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022_ARM Isabelle2022_linux_arm.tar.gz |
|
90 isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022_ARM_X11_Latex -P X11 -P latex Isabelle2022_linux_arm.tar.gz |
84 |
91 |
85 docker login |
92 docker login |
86 |
93 |
87 docker push makarius/isabelle:Isabelle2022 |
94 docker push makarius/isabelle:Isabelle2022 |
88 |
95 |