equal
deleted
inserted
replaced
72 - macOS: provide "gnutar" executable via shell PATH |
72 - macOS: provide "gnutar" executable via shell PATH |
73 (e.g. copy of /usr/bin/gnutar from Mountain Lion) |
73 (e.g. copy of /usr/bin/gnutar from Mountain Lion) |
74 |
74 |
75 - fully-automated packaging (e.g. on lxcisa0): |
75 - fully-automated packaging (e.g. on lxcisa0): |
76 |
76 |
77 hg up -r DISTNAME && Admin/build_release -b HOL -l -O -R DISTNAME /home/isabelle/dist |
77 hg up -r DISTNAME && Admin/build_release -b HOL -l -R DISTNAME /home/isabelle/dist |
78 |
78 |
79 - Docker image: |
79 - Docker image: |
80 |
80 |
81 isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2021 Isabelle2021_linux.tar.gz |
81 isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2021 Isabelle2021_linux.tar.gz |
82 |
82 |