Admin/Release/CHECKLIST
author hoelzl
Tue Mar 26 12:20:55 2013 +0100 (2013-03-26)
changeset 51521 36fa825e0ea7
parent 51097 72c355842f42
child 52439 4cf3f6153eb8
permissions -rw-r--r--
merge RComplete into RealDef
wenzelm@13447
     1
Checklist for official releases
wenzelm@13447
     2
===============================
wenzelm@13447
     3
wenzelm@50647
     4
- check latest polyml, smlnj, jdk, scala, jedit;
wenzelm@50647
     5
wenzelm@50647
     6
- check Admin/components;
wenzelm@50647
     7
wenzelm@47979
     8
- test polyml-5.4.1, polyml-5.4.0, polyml-5.3.0, smlnj;
wenzelm@31308
     9
wenzelm@50802
    10
- test scala-2.9.2;
wenzelm@50802
    11
wenzelm@44801
    12
- test Proof General 4.1, 3.7.1.1;
wenzelm@30888
    13
wenzelm@50957
    14
- test 'display_drafts' command;
wenzelm@25428
    15
wenzelm@50957
    16
- check HTML header of library;
wenzelm@25428
    17
wenzelm@44863
    18
- check file positions within logic images (hyperlinks etc.);
wenzelm@44863
    19
wenzelm@50647
    20
- isabelle update_keywords;
wenzelm@13447
    21
wenzelm@37368
    22
- check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
wenzelm@30888
    23
wenzelm@41617
    24
- check funny base directory, e.g. "Test 中国";
wenzelm@41617
    25
wenzelm@36860
    26
- diff NEWS wrt. last official release, which is read-only;
wenzelm@36860
    27
wenzelm@30888
    28
- update https://isabelle.in.tum.de/repos/website;
wenzelm@13447
    29
wenzelm@13447
    30
- maintain Docs:
wenzelm@28956
    31
    doc/Contents
wenzelm@13447
    32
wenzelm@13447
    33
- maintain Logics:
wenzelm@50647
    34
    ROOTS
wenzelm@30852
    35
    lib/html/library_index_content.template
wenzelm@13447
    36
wenzelm@47408
    37
- test separate compilation of Isabelle/Scala PIDE sources:
wenzelm@47408
    38
    Admin/build jars_test
wenzelm@47408
    39
wenzelm@47834
    40
- test Isabelle/jEdit:
wenzelm@47834
    41
    print buffer
wenzelm@47834
    42
wenzelm@46729
    43
- test contrib components:
wenzelm@46729
    44
    x86_64-linux without 32bit C/C++ libraries
wenzelm@46729
    45
wenzelm@50784
    46
- check "Handler catches all exceptions", using
wenzelm@50784
    47
  PolyML.Compiler.reportExhaustiveHandlers := true;
wenzelm@50784
    48
wenzelm@37526
    49
wenzelm@37526
    50
Packaging
wenzelm@37526
    51
=========
wenzelm@37526
    52
wenzelm@50899
    53
- hg up -r DISTNAME && Admin/Release/build -r DISTNAME /home/isabelle/dist
wenzelm@37526
    54
wenzelm@50984
    55
- manual packaging of .app (Mac OS) and .exe (Windows)
wenzelm@41600
    56
wenzelm@41600
    57
wenzelm@41600
    58
Final release stage
wenzelm@41600
    59
===================
wenzelm@41600
    60
wenzelm@47863
    61
- various .hg/hgrc files:
wenzelm@51097
    62
  default = http://bitbucket.org/isabelle_project/isabelle-release
wenzelm@51097
    63
  default = ssh://hg@bitbucket.org/isabelle_project/isabelle-release
wenzelm@41600
    64
wenzelm@47863
    65
- isatest@macbroy28:hg-isabelle/.hg/hgrc
wenzelm@41608
    66
- isatest@macbroy28:devel-page/content/index.content
wenzelm@41608
    67
wenzelm@47977
    68
wenzelm@47977
    69
Post-release
wenzelm@47977
    70
============
wenzelm@47977
    71
wenzelm@47977
    72
- update /home/isabelle and /home/isabelle/html-data
wenzelm@47977
    73