equal
deleted
inserted
replaced
87 #with access Linux ARM build_host |
87 #with access Linux ARM build_host |
88 Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p linux_arm |
88 Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -p linux_arm |
89 |
89 |
90 - Docker image: |
90 - Docker image: |
91 |
91 |
92 isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022 Isabelle2022_linux.tar.gz |
92 isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2022 Isabelle2022_linux.tar.gz |
93 isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022_X11_Latex -P X11 -P latex Isabelle2022_linux.tar.gz |
93 isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2022_X11_Latex -P X11 -P latex Isabelle2022_linux.tar.gz |
94 |
94 |
95 isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022_ARM Isabelle2022_linux_arm.tar.gz |
95 isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2022_ARM Isabelle2022_linux_arm.tar.gz |
96 isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022_ARM_X11_Latex -P X11 -P latex Isabelle2022_linux_arm.tar.gz |
96 isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2022_ARM_X11_Latex -P X11 -P latex Isabelle2022_linux_arm.tar.gz |
97 |
97 |
98 docker login |
98 docker login |
99 |
99 |
100 docker push makarius/isabelle:Isabelle2022 |
100 docker push makarius/isabelle:Isabelle2022 |
101 |
101 |