Admin/Release/CHECKLIST
author wenzelm
Mon Oct 02 19:28:18 2017 +0200 (22 months ago)
changeset 66757 e32750d7acb4
parent 66647 6666fced78cc
child 66792 6b76a5d1b7a5
permissions -rw-r--r--
added command 'external_file';
     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 - test contrib components:
    49     x86_64-linux without 32bit C/C++ libraries
    50     x86-linux on 32bit hardware
    51 
    52 - check "Handler catches all exceptions"
    53 
    54 - Mac OS X: check app bundle with Retina display;
    55 
    56 - Mac OS X: check recent MacTeX;
    57 
    58 - Windows: check dpi scaling with high-definition display;
    59 
    60 - Windows: check recent MiKTeX;
    61 
    62 
    63 Repository fork
    64 ===============
    65 
    66 - isabelle: finalize NEWS / CONTRIBUTORS -- proper headers for named release;
    67 
    68 - isabelle-release: hg tag;
    69 
    70 - isabelle: back to post-release mode -- after fork point;
    71 
    72 
    73 Packaging
    74 =========
    75 
    76 - Mac OS X: provide "gnutar" executable via shell PATH
    77   (e.g. copy of /usr/bin/gnutar from Mountain Lion)
    78 
    79 - Linux: avoid some versions of Debian / Ubuntu (bitmap fonts for prog-prove);
    80 
    81 - fully-automated packaging (e.g. on lxbroy10 or macbroy2):
    82 
    83   hg up -r DISTNAME && Admin/build_release -M macbroy30 -O -l -R DISTNAME /home/isabelle/dist
    84 
    85 
    86 Final release stage
    87 ===================
    88 
    89 - various .hg/hgrc files:
    90   default = http://bitbucket.org/isabelle_project/isabelle-release
    91   default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release
    92 
    93 
    94 Post-release
    95 ============
    96 
    97 - update /home/isabelle and /home/isabelle/html-data