author  haftmann 
Thu, 18 Nov 2010 17:01:15 +0100  
changeset 40602  91e583511113 
parent 40573  113ccf02d323 
child 40713  7f745e4b7cce 
permissions  rwxrxrx 
28932
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

1 
#!/usr/bin/env bash 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

2 
# 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

3 
# makedist  make Isabelle source distribution 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

4 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

5 
## global settings 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

6 

37485  7 
REPOS_NAME="isabelle" 
33909  8 
REPOS="http://isabelle.in.tum.de/repos/${REPOS_NAME}" 
28932
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

9 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

10 
DISTPREFIX=${DISTPREFIX:~/tmp/isadist} 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

11 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

12 
umask 022 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

13 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

14 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

15 
## diagnostics 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

16 

30885  17 
PRG="$(basename "$0")" 
18 
THIS="$(cd $(dirname "$0"); echo "$PWD")" 

28932
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

19 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

20 
function usage() 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

21 
{ 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

22 
cat <<EOF 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

23 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

24 
Usage: $PRG [OPTIONS] [VERSION] 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

25 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

26 
Options are: 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

27 
r RELEASE proper release with name" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

28 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

29 
Make Isabelle distribution from the main Mercurial repository at TUM. 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

30 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

31 
VERSION identifies the snapshot, using usual Mercurial terminology; 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

32 
the default is RELEASE if given, otherwise "tip". 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

33 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

34 
EOF 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

35 
exit 1 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

36 
} 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

37 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

38 
function fail() 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

39 
{ 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

40 
echo "$1" >&2 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

41 
exit 2 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

42 
} 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

43 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

44 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

45 
## process command line 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

46 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

47 
# options 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

48 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

49 
RELEASE="" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

50 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

51 
while getopts "r:" OPT 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

52 
do 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

53 
case "$OPT" in 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

54 
r) 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

55 
RELEASE="$OPTARG" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

56 
;; 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

57 
\?) 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

58 
usage 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

59 
;; 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

60 
esac 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

61 
done 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

62 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

63 
shift $(($OPTIND  1)) 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

64 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

65 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

66 
# args 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

67 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

68 
VERSION="" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

69 
[ "$#" gt 0 ] && { VERSION="$1"; shift; } 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

70 
[ z "$VERSION" ] && VERSION="$RELEASE" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

71 
[ z "$VERSION" ] && VERSION="tip" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

72 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

73 
[ "$#" gt 0 ] && usage 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

74 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

75 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

76 
## main 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

77 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

78 
# tmp 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

79 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

80 
TMP="tmp$USER$$" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

81 
function purge_tmp () { rm rf "$DISTPREFIX/$TMP"; } 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

82 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

83 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

84 
# retrieve archive and resolve version identifier 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

85 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

86 
mkdir "$DISTPREFIX/$TMP"  fail "Failed to create fresh directory" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

87 
cd "$DISTPREFIX/$TMP" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

88 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

89 
echo "###" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

90 
echo "### Retrieving Mercurial repository $VERSION" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

91 
echo "###" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

92 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

93 
{ wget q "$REPOS/archive/${VERSION}.tar.gz" O  tar xzf ; }  \ 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

94 
fail "Failed to retrieve $VERSION" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

95 

33910  96 
IDENT=$(echo *  sed "s/${REPOS_NAME}//") 
28932
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

97 

33909  98 
rm f "${REPOS_NAME}${IDENT}/.hg_archival.txt" 
99 
rm f "${REPOS_NAME}${IDENT}/.hgtags" 

100 
rm f "${REPOS_NAME}${IDENT}/.hgignore" 

101 
rm f "${REPOS_NAME}${IDENT}/README_REPOSITORY" 

28932
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

102 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

103 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

104 
# dist name 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

105 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

106 
DATE=$(env LC_ALL=C date "+%d%b%Y") 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

107 
DISTDATE=$(env LC_ALL=C date "+%B %Y") 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

108 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

109 
if [ z "$RELEASE" ]; then 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

110 
DISTNAME="Isabelle_$DATE" 
40573  111 
DISTVERSION="Isabelle repository snapshot $IDENT $DATE" 
28932
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

112 
else 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

113 
DISTNAME="$RELEASE" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

114 
DISTVERSION="$DISTNAME: $DISTDATE" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

115 
fi 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

116 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

117 
DISTBASE="$DISTPREFIX/dist$DISTNAME" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

118 
mkdir p "$DISTBASE"  { purge_tmp; fail "Unable to create distribution base dir $DISTBASE!"; } 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

119 
[ e "$DISTBASE/$DISTNAME" ] && { purge_tmp; fail "$DISTBASE/$DISTNAME already exists!"; } 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

120 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

121 
cd "$DISTBASE" 
33909  122 
mv "$DISTPREFIX/$TMP/${REPOS_NAME}${IDENT}" "$DISTNAME" 
28932
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

123 
purge_tmp 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

124 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

125 
cd "$DISTNAME"  fail "No dist directory: $DISTBASE/$DISTNAME" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

126 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

127 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

128 
# prepare dist for release 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

129 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

130 
echo "###" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

131 
echo "### Preparing distribution $DISTNAME" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

132 
echo "###" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

133 

30885  134 
rm f .hgignore 
30287  135 
find . "(" name \*.thy o name \*.ML ")" perm +111 print  xargs chmod f x 
30885  136 
find . print  xargs chmod f u+rw 
28932
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

137 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

138 
./Admin/build all  fail "Failed to build distribution" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

139 
rm rf Admin 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

140 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

141 
MOVE=$(find docsrc \( type f a not type l a not name isabelle_isar.pdf a not name pghead.pdf a \( name \*.dvi o name \*.eps o name \*.ps o name \*.pdf \) a print \)  grep v 'gfx/.*pdf') 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

142 
mv f $MOVE doc 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

143 
rm doc/Isalogics.eps 
31842
af5221147455
discontinued separate "pdf" archive  since it is now relatively small compared to the main archive, there is no point to fragment things;
wenzelm
parents:
30885
diff
changeset

144 
rm doc/adaptation.dvi doc/adaptation.pdf doc/architecture.dvi doc/architecture.pdf 
28932
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

145 
rm rf docsrc 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

146 

30140  147 
mkdir p contrib 
37369  148 
cat >contrib/README <<EOF 
149 
This directory contains addon components that contribute to the main 

150 
Isabelle distribution. Separate licensing conditions apply, see each 

151 
directory individually. 

152 
EOF 

28932
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

153 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

154 
cp doc/isabelle*.eps lib/logo 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

155 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

156 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

157 
if [ z "$RELEASE" ]; then 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

158 
{ 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

159 
echo 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

160 
echo "IMPORTANT NOTE" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

161 
echo "==============" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

162 
echo 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

163 
echo "This is an unofficial snapshot of Isabelle, created by $LOGNAME $DATE." 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

164 
echo "See $REPOS/log/$IDENT for details." 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

165 
echo 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

166 
} >ANNOUNCE 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

167 
else 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

168 
perl pi e "s,val is_official = false,val is_official = true,g" src/Pure/ROOT.ML 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

169 
fi 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

170 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

171 
perl pi e "s,val changelog = \"\",val changelog = \"$REPOS/log/$IDENT\",g" src/Pure/ROOT.ML 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

172 
perl pi e "s,ISABELLE_IDENTIFIER=\"\",ISABELLE_IDENTIFIER=\"$DISTNAME\",g" lib/scripts/getsettings 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

173 
perl pi e "s,{ISABELLE},$DISTNAME,g" lib/html/library_index_header.template 
32361
141e5151b918
clarified situation about unidentified repository versions  in a distributed setting there is not "the" repository;
wenzelm
parents:
31842
diff
changeset

174 
perl pi e "s,unidentified repository version,$DISTVERSION,g" src/Pure/ROOT.ML lib/Tools/version 
141e5151b918
clarified situation about unidentified repository versions  in a distributed setting there is not "the" repository;
wenzelm
parents:
31842
diff
changeset

175 
perl pi e "s,some unidentified repository version of Isabelle,$DISTVERSION,g" README 
28932
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

176 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

177 

37341  178 
# create archive 
28932
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

179 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

180 
echo "###" 
37341  181 
echo "### Creating archive ..." 
28932
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

182 
echo "###" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

183 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

184 
cd "$DISTBASE" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

185 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

186 
echo "$DISTBASE/$DISTNAME.tar.gz" > ../ISABELLE_DIST 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

187 
echo "$IDENT" >../ISABELLE_IDENT 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

188 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

189 
rm f Isabelle 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

190 
ln s "$DISTNAME" Isabelle 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

191 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

192 
chown R "$LOGNAME" "$DISTNAME" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

193 
chmod R u+w "$DISTNAME" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

194 
chmod R g=o "$DISTNAME" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

195 
chgrp R isabelle "$DISTNAME" Isabelle 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

196 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

197 
echo "$DISTNAME.tar.gz" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

198 
tar czf "$DISTNAME.tar.gz" Isabelle "$DISTNAME" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

199 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

200 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

201 
# cleanup dist 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

202 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

203 
mv "$DISTNAME" "${DISTNAME}old" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

204 
mkdir "$DISTNAME" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

205 

37368  206 
mv "${DISTNAME}old/README" "${DISTNAME}old/NEWS" "${DISTNAME}old/ANNOUNCE" \ 
207 
"${DISTNAME}old/COPYRIGHT" "${DISTNAME}old/CONTRIBUTORS" "$DISTNAME" 

28932
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

208 
mkdir "$DISTNAME/doc" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

209 
mv "${DISTNAME}old/doc/"*.pdf "${DISTNAME}old/doc/Contents" "$DISTNAME/doc" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

210 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

211 
chgrp R isabelle "$DISTNAME" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

212 

ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

213 
rm rf "${DISTNAME}old" 
ccaa3355f7d3
makedist  make Isabelle source distribution (Mercurial version);
wenzelm
parents:
diff
changeset

214 

37341  215 

216 
echo "DONE" 