Admin/CHECKLIST
author haftmann
Wed Sep 15 15:31:32 2010 +0200 (2010-09-15)
changeset 39401 887f4218a39a
parent 37526 f4016fca4ff9
child 40779 24851517ef15
permissions -rw-r--r--
code_eval renamed to code_runtime
wenzelm@13447
     1
Checklist for official releases
wenzelm@13447
     2
===============================
wenzelm@13447
     3
wenzelm@37285
     4
- test polyml-5.3.0, polyml-5.2.1, polyml-5.2, polyml-5.1, polyml-5.0, smlnj;
wenzelm@31308
     5
wenzelm@33841
     6
- test Proof General;
wenzelm@25428
     7
wenzelm@30888
     8
- test Scala wrapper;
wenzelm@30888
     9
wenzelm@25428
    10
- check HTML header of library;
wenzelm@25428
    11
wenzelm@27010
    12
- check CTRL-C, SIGINT in tty (also for external processes);
wenzelm@25428
    13
wenzelm@27010
    14
- check persistent sessions with PG and Poly/ML 5.x;
wenzelm@25550
    15
wenzelm@24883
    16
- Admin/update-keywords;
wenzelm@13447
    17
wenzelm@37368
    18
- check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
wenzelm@30888
    19
wenzelm@36860
    20
- diff NEWS wrt. last official release, which is read-only;
wenzelm@36860
    21
wenzelm@30888
    22
- update https://isabelle.in.tum.de/repos/website;
wenzelm@13447
    23
wenzelm@13447
    24
- maintain Docs:
wenzelm@28956
    25
    doc-src/Dirs
wenzelm@28956
    26
    doc/Contents
wenzelm@13447
    27
wenzelm@13447
    28
- maintain Logics:
wenzelm@28956
    29
    build
wenzelm@30852
    30
    lib/html/library_index_content.template
wenzelm@13447
    31
wenzelm@37526
    32
wenzelm@37526
    33
Packaging
wenzelm@37526
    34
=========
wenzelm@37526
    35
wenzelm@37526
    36
- makedist -r DISTNAME
wenzelm@37526
    37
wenzelm@37526
    38
- makebin (multiplatform);
wenzelm@37526
    39
wenzelm@37526
    40
- makebin -l on fast machine;
wenzelm@37526
    41
wenzelm@37526
    42
- makebundle (multiplatform);
wenzelm@37526
    43
wenzelm@37526
    44
- hdiutil create -srcfolder DIR DMG (Mac OS);
wenzelm@37526
    45