Admin/CHECKLIST
author haftmann
Mon Jul 11 18:44:58 2011 +0200 (2011-07-11)
changeset 43764 366d5726de09
parent 41666 fcd67ce9810b
child 44801 a0459c50cfc9
permissions -rw-r--r--
explicit code equation for equality
wenzelm@13447
     1
Checklist for official releases
wenzelm@13447
     2
===============================
wenzelm@13447
     3
wenzelm@40781
     4
- test polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj;
wenzelm@31308
     5
wenzelm@41598
     6
- test Proof General 4.1, 4.0, 3.7.1.1;
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@41446
    20
- check Admin/contributed_components;
wenzelm@41446
    21
wenzelm@41617
    22
- check funny base directory, e.g. "Test 中国";
wenzelm@41617
    23
wenzelm@36860
    24
- diff NEWS wrt. last official release, which is read-only;
wenzelm@36860
    25
wenzelm@30888
    26
- update https://isabelle.in.tum.de/repos/website;
wenzelm@13447
    27
wenzelm@13447
    28
- maintain Docs:
wenzelm@28956
    29
    doc-src/Dirs
wenzelm@28956
    30
    doc/Contents
wenzelm@13447
    31
wenzelm@13447
    32
- maintain Logics:
wenzelm@28956
    33
    build
wenzelm@40779
    34
    etc/components
wenzelm@30852
    35
    lib/html/library_index_content.template
wenzelm@13447
    36
wenzelm@37526
    37
wenzelm@37526
    38
Packaging
wenzelm@37526
    39
=========
wenzelm@37526
    40
wenzelm@37526
    41
- makedist -r DISTNAME
wenzelm@37526
    42
wenzelm@37526
    43
- makebin (multiplatform);
wenzelm@37526
    44
wenzelm@37526
    45
- makebin -l on fast machine;
wenzelm@37526
    46
wenzelm@37526
    47
- makebundle (multiplatform);
wenzelm@37526
    48
wenzelm@37526
    49
- hdiutil create -srcfolder DIR DMG (Mac OS);
wenzelm@41600
    50
wenzelm@41600
    51
wenzelm@41600
    52
Final release stage
wenzelm@41600
    53
===================
wenzelm@41600
    54
wenzelm@41666
    55
- makedist: REPOS_NAME="isabelle-release"
wenzelm@41666
    56
wenzelm@41600
    57
- hgrc: default = /home/isabelle-repository/repos/isabelle-release
wenzelm@41600
    58
wenzelm@41600
    59
  isatest@macbroy28:hg-isabelle/.hg/hgrc
wenzelm@41600
    60
  isatest@atbroy102:hg-isabelle/.hg/hgrc
wenzelm@41600
    61
wenzelm@41608
    62
- isatest@macbroy28:devel-page/content/index.content
wenzelm@41608
    63