Admin/Release/CHECKLIST
changeset 69435 e18e4532fb42
parent 69432 d072f3287ffa
child 69691 9c6651cd6141
equal deleted inserted replaced
69434:b93404a4c3dd 69435:e18e4532fb42
    84 - Mac OS X: provide "gnutar" executable via shell PATH
    84 - Mac OS X: provide "gnutar" executable via shell PATH
    85   (e.g. copy of /usr/bin/gnutar from Mountain Lion)
    85   (e.g. copy of /usr/bin/gnutar from Mountain Lion)
    86 
    86 
    87 - fully-automated packaging (e.g. on lxbroy10):
    87 - fully-automated packaging (e.g. on lxbroy10):
    88 
    88 
    89   hg up -r DISTNAME && Admin/build_release -O -l -R DISTNAME /home/isabelle/dist
    89   hg up -r DISTNAME && Admin/build_release -O -l -R DISTNAME -C ~/tmp/isadist/contrib /home/isabelle/dist
    90 
    90 
    91 - Docker image:
    91 - Docker image:
    92 
    92 
    93   isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2018 Isabelle2018_app.tar.gz
    93   isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2018 Isabelle2018_app.tar.gz
    94 
    94