equal
deleted
inserted
replaced
71 - Mac OS X: provide "gnutar" executable via shell PATH |
71 - Mac OS X: provide "gnutar" executable via shell PATH |
72 (e.g. copy of /usr/bin/gnutar from Mountain Lion) |
72 (e.g. copy of /usr/bin/gnutar from Mountain Lion) |
73 |
73 |
74 - fully-automated packaging (e.g. on lxcisa0): |
74 - fully-automated packaging (e.g. on lxcisa0): |
75 |
75 |
76 hg up -r DISTNAME && Admin/build_release -O -l -R DISTNAME -C ~/tmp/isadist/contrib /home/isabelle/dist |
76 hg up -r DISTNAME && Admin/build_release -b HOL -l -O -R DISTNAME /home/isabelle/dist |
77 |
77 |
78 - Docker image: |
78 - Docker image: |
79 |
79 |
80 isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2018 Isabelle2018_app.tar.gz |
80 isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2019 Isabelle2019_linux.tar.gz |
81 |
81 |
82 https://hub.docker.com/r/makarius/isabelle |
82 https://hub.docker.com/r/makarius/isabelle |
83 https://docs.docker.com/docker-cloud/builds/push-images |
83 https://docs.docker.com/docker-cloud/builds/push-images |
84 |
84 |
85 |
85 |