equal
deleted
inserted
replaced
70 Packaging |
70 Packaging |
71 ========= |
71 ========= |
72 |
72 |
73 - regular packaging: |
73 - regular packaging: |
74 |
74 |
|
75 #source archive |
|
76 Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p "" |
|
77 |
75 #on fast Linux machine, with access to Linux + Windows build_host |
78 #on fast Linux machine, with access to Linux + Windows build_host |
76 Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p linux,windows -l |
79 Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p linux,windows -l |
77 |
80 |
78 #with access Apple ARM build_host |
81 #with access Apple ARM build_host |
79 Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p macos |
82 Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p macos |
80 |
83 |
81 #with access Linux ARM build_host |
84 #with access Linux ARM build_host |
82 Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p linux_arm |
85 Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p linux_arm |
83 |
86 |
84 - Docker image: |
87 - Docker image: |
85 |
88 |
86 isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022 Isabelle2022_linux.tar.gz |
89 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 |
90 isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022_X11_Latex -P X11 -P latex Isabelle2022_linux.tar.gz |