Admin/Release/CHECKLIST
author wenzelm
Wed Nov 01 22:13:38 2017 +0100 (19 months ago)
changeset 66986 5188b1c59434
parent 66908 9b074f01a305
child 67263 449a989f42cd
permissions -rw-r--r--
more timing;
     1 Checklist for official releases
     2 ===============================
     3 
     4 - check latest updates of polyml, jdk, scala, jedit;
     5 
     6 - check Admin/components;
     7 
     8 - test 'display_drafts' command;
     9 
    10 - test Isabelle/jEdit: print buffer
    11 
    12 - test "#!/usr/bin/env isabelle_scala_script";
    13 
    14 - check sources:
    15     isabelle check_sources '~~' '$AFP_BASE'
    16     isabelle imports -M -a -d '~~/src/Benchmarks'
    17 
    18 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
    19 
    20 - check versions:
    21     src/Tools/jEdit/src/Isabelle.props
    22     src/Tools/jEdit/src-base/Isabelle_Base.props
    23 
    24 - check Isabelle version:
    25     src/Tools/VSCode/extension/README.md
    26     src/Tools/VSCode/extension/package.json
    27 
    28 - check funny base directory, e.g. "Test 中国";
    29 
    30 - check scalable fonts, e.g. src/Doc/Prog_Prove (NOTE: T1 encoding
    31   requires cm-super fonts, which are usually available on MacTeX or
    32   Cygwin, but not on Ubuntu/Debian);
    33 
    34 - diff NEWS wrt. last official release, which is read-only;
    35 
    36 - update https://bitbucket.org/isabelle_project/isabelle-website
    37 
    38 - check doc/Contents, src/Tools/jEdit/dist/doc/Contents;
    39 
    40 - check Logics:
    41     ROOTS
    42     lib/html/library_index_content.template
    43 
    44 - HTML library: check HTML header;
    45 
    46 - HTML library: check theory dependencies (PDF);
    47 
    48 - check "Handler catches all exceptions"
    49 
    50 - Mac OS X: check app bundle with Retina display;
    51 
    52 - Mac OS X: check recent MacTeX;
    53 
    54 - Windows: check dpi scaling with high-definition display;
    55 
    56 - Windows: check recent MiKTeX;
    57 
    58 
    59 Repository fork
    60 ===============
    61 
    62 - isabelle: finalize NEWS / CONTRIBUTORS -- proper headers for named release;
    63 
    64 - isabelle-release: hg tag;
    65 
    66 - isabelle: back to post-release mode -- after fork point;
    67 
    68 
    69 Packaging
    70 =========
    71 
    72 - Mac OS X: provide "gnutar" executable via shell PATH
    73   (e.g. copy of /usr/bin/gnutar from Mountain Lion)
    74 
    75 - Linux: avoid some versions of Debian / Ubuntu (bitmap fonts for prog-prove);
    76 
    77 - fully-automated packaging (e.g. on lxbroy10 or macbroy2):
    78 
    79   hg up -r DISTNAME && Admin/build_release -M macbroy30 -O -l -R DISTNAME /home/isabelle/dist
    80 
    81 - Docker image:
    82 
    83   isabelle build_docker -E -t makarius/isabelle:Isabelle2017 Isabelle2017_app.tar.gz
    84 
    85   https://hub.docker.com/r/makarius/isabelle
    86   https://docs.docker.com/docker-cloud/builds/push-images
    87 
    88 
    89 Final release stage
    90 ===================
    91 
    92 - various .hg/hgrc files:
    93   default = http://bitbucket.org/isabelle_project/isabelle-release
    94   default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release
    95 
    96 
    97 Post-release
    98 ============
    99 
   100 - update /home/isabelle and /home/isabelle/html-data