34 PRG=$(basename "$0") |
34 PRG=$(basename "$0") |
35 THIS=$(cd $(dirname "$0"); echo "$PWD") |
35 THIS=$(cd $(dirname "$0"); echo "$PWD") |
36 |
36 |
37 function usage() |
37 function usage() |
38 { |
38 { |
39 echo "###" |
|
40 echo "### Usage: $PRG VERSION" |
|
41 echo "###" |
|
42 cat <<EOF |
39 cat <<EOF |
|
40 |
|
41 Usage: $PRG VERSION |
|
42 |
43 Make Isabelle distribution from the master sources at TUM. |
43 Make Isabelle distribution from the master sources at TUM. |
44 |
44 |
45 VERSION may be either a tag like "Isabelle99-XX" that specifies the |
45 VERSION may be either a tag like "Isabelle99-XX" that specifies the |
46 release to be exported from the repository, or "-" to checkout the |
46 release to be exported from the repository, or "-" to checkout the |
47 current sources as an unofficial release, or "--" to produce a |
47 current sources as an unofficial release, or "--" to produce a |
48 tentative release from the present copy of the Isabelle repository. |
48 tentative release from the present copy of the Isabelle repository. |
49 |
49 |
50 Checklist for official releases (before running this script): |
50 Checklist for official releases (before running this script): |
51 |
51 |
52 * Check release name and date in NEWS! |
52 * Check Admin/page contents. |
53 * Check that README files are up to date (should have Id: lines). |
53 * Check ANNOUNCE, README, INSTALL, NEWS. |
54 * Check Admin/index.html. |
54 * Try "isatool makeall all" with Poly/ML, SML/NJ, etc. |
55 EOF |
|
56 #Wicked! We just won't tell other users ... |
|
57 if [ $LOGNAME = paulson -o $LOGNAME = nipkow -o $LOGNAME = wenzelm -o $LOGNAME = berghofe ]; then |
|
58 cat <<EOF |
|
59 * Tag the current repository version, e.g.: |
55 * Tag the current repository version, e.g.: |
60 cvs -d /usr/proj/isabelle-repository/archive rtag Isabelle99-X isabelle |
56 cvs -d /usr/proj/isabelle-repository/archive rtag Isabelle99-X isabelle |
61 PLEASE DON'T DO THIS UNLESS YOU KNOW WHAT YOU'RE DOING! |
57 PLEASE DO NOT DO THIS UNLESS YOU KNOW WHAT YOU ARE DOING! |
62 EOF |
|
63 fi |
|
64 cat <<EOF |
|
65 |
|
66 After the distribution has been created succesfully, you might want |
|
67 to run some makeall tests using different ML systems. |
|
68 |
58 |
69 EOF |
59 EOF |
70 exit 1 |
60 exit 1 |
71 } |
61 } |
72 |
62 |