equal
deleted
inserted
replaced
80 |
80 |
81 - fully-automated packaging (e.g. on lxbroy10 or macbroy2): |
81 - fully-automated packaging (e.g. on lxbroy10 or macbroy2): |
82 |
82 |
83 hg up -r DISTNAME && Admin/build_release -M macbroy30 -O -l -R DISTNAME /home/isabelle/dist |
83 hg up -r DISTNAME && Admin/build_release -M macbroy30 -O -l -R DISTNAME /home/isabelle/dist |
84 |
84 |
|
85 - Docker image: |
|
86 |
|
87 isabelle build_docker -E -t makarius/isabelle:Isabelle2017 Isabelle2017_app.tar.gz |
|
88 |
|
89 https://hub.docker.com/r/makarius/isabelle |
|
90 https://docs.docker.com/docker-cloud/builds/push-images |
|
91 |
85 |
92 |
86 Final release stage |
93 Final release stage |
87 =================== |
94 =================== |
88 |
95 |
89 - various .hg/hgrc files: |
96 - various .hg/hgrc files: |