Admin/Release/CHECKLIST
changeset 76188 63a6889c5f91
parent 76111 6308eaaa88f1
child 76193 83d465d71fc6
equal deleted inserted replaced
76187:1a31d1551eb3 76188:63a6889c5f91
    71 =========
    71 =========
    72 
    72 
    73 - fully-automated packaging (e.g. on lxcisa0):
    73 - fully-automated packaging (e.g. on lxcisa0):
    74 
    74 
    75   hg up -r DISTNAME
    75   hg up -r DISTNAME
    76   Admin/build_release -D /p/home/isabelle/dist -b HOL -l -R DISTNAME -c .../naproche-20220910
    76   Admin/build_release -D /p/home/isabelle/dist -b HOL -l -R DISTNAME -c .../naproche-20220917.tar.gz
    77 
    77 
    78   #no naproche for arm64-linux
    78   #no naproche for arm64-linux
    79   Admin/build_release -D /p/home/isabelle/dist -b HOL -R DISTNAME -p linux_arm
    79   Admin/build_release -D /p/home/isabelle/dist -b HOL -R DISTNAME -p linux_arm
    80 
    80 
    81 - Docker image:
    81 - Docker image: