5 # makedist_mercurial -- make Isabelle source distribution (via Mercurial)
9 REPOS="http://isabelle.in.tum.de/repos/isabelle"
11 DISTPREFIX=${DISTPREFIX:-~/tmp/isadist}
19 THIS=$(cd $(dirname "$0"); echo "$PWD")
25 Usage: $PRG [OPTIONS] [VERSION]
28 -r RELEASE proper release with name"
30 Make Isabelle distribution from the main Mercurial repository at TUM.
32 VERSION identifies the snapshot, using usual Mercurial terminology;
33 the default is RELEASE if given, otherwise "tip".
46 ## process command line
52 while getopts "r:" OPT
64 shift $(($OPTIND - 1))
70 [ "$#" -gt 0 ] && { VERSION="$1"; shift; }
71 [ -z "$VERSION" ] && VERSION="$RELEASE"
72 [ -z "$VERSION" ] && VERSION="tip"
74 [ "$#" -gt 0 ] && usage
82 function purge_tmp () { rm -rf "$DISTPREFIX/$TMP"; }
85 # retrieve archive and resolve version identifier
87 mkdir "$DISTPREFIX/$TMP" || fail "Failed to create fresh directory"
91 echo "### Retrieving Mercurial snapshot $VERSION"
94 { wget -q "$REPOS/archive/${VERSION}.tar.gz" -O- | tar -xzf -; } || \
95 fail "Failed to retrieve $VERSION"
97 IDENT=$(echo * | sed 's/isabelle-//')
99 rm -f "isabelle-$IDENT/.hg_archival.txt"
100 rm -f "isabelle-$IDENT/.hgtags"
105 DATE=$(env LC_ALL=C date "+%d-%b-%Y")
106 DISTDATE=$(env LC_ALL=C date "+%B %Y")
108 if [ -z "$RELEASE" ]; then
109 DISTNAME="Isabelle_$DATE"
110 DISTVERSION="Isabelle repository snapshot $IDENT ($DATE)"
113 DISTVERSION="$DISTNAME: $DISTDATE"
116 DISTBASE="$DISTPREFIX/dist-$DISTNAME"
117 mkdir -p "$DISTBASE" || { purge_tmp; fail "Unable to create distribution base dir $DISTBASE!"; }
118 [ -e "$DISTBASE/$DISTNAME" ] && { purge_tmp; fail "$DISTBASE/$DISTNAME already exists!"; }
119 [ -e "$DISTBASE/pdf/$DISTNAME" ] && { purge_tmp; fail "$DISTBASE/pdf/$DISTNAME already exists!"; }
122 mv "$DISTPREFIX/$TMP/isabelle-$IDENT" "$DISTNAME"
125 cd "$DISTNAME" || fail "No dist directory: $DISTBASE/$DISTNAME"
131 cat > ../website/distinfo.mak <<EOF
132 # this is a generated file - do not edit unless you know what you are doing!
137 cp lib/html/library_index_content.template ../website/
140 # prepare dist for release
143 echo "### Preparing distribution $DISTNAME"
146 find . -name .cvsignore -print | xargs rm -rf
147 find . "(" -name \*.thy -o -name \*.ML ")" -perm +111 -print | xargs chmod -x
148 find . -print | xargs chmod u+rw
150 ./Admin/build all || fail "Failed to build distribution"
153 MOVE=$(find doc-src \( -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')
155 rm doc/Isa-logics.eps
156 rm doc/codegen_process.pdf
161 cp doc/isabelle*.eps lib/logo
164 if [ -z "$RELEASE" ]; then
167 echo "IMPORTANT NOTE"
168 echo "=============="
170 echo "This is an unofficial snapshot of Isabelle, created by $LOGNAME $DATE."
171 echo "See $REPOS/log/$IDENT for details."
175 perl -pi -e "s,val is_official = false,val is_official = true,g" src/Pure/ROOT.ML
178 perl -pi -e "s,val changelog = \"\",val changelog = \"$REPOS/log/$IDENT\",g" src/Pure/ROOT.ML
179 perl -pi -e "s,ISABELLE_IDENTIFIER=\"\",ISABELLE_IDENTIFIER=\"$DISTNAME\",g" lib/scripts/getsettings
180 perl -pi -e "s,{ISABELLE},$DISTNAME,g" lib/html/library_index_header.template
181 perl -pi -e "s,Isabelle repository version,$DISTVERSION,g" src/Pure/ROOT.ML lib/Tools/version
182 perl -pi -e "s,the internal repository version of Isabelle,$DISTVERSION,g" README
188 echo "### Creating archives ..."
193 echo "$DISTBASE/$DISTNAME.tar.gz" > ../ISABELLE_DIST
194 echo "$IDENT" >../ISABELLE_IDENT
197 ln -s "$DISTNAME" Isabelle
199 chown -R "$LOGNAME" "$DISTNAME"
200 chmod -R u+w "$DISTNAME"
201 chmod -R g=o "$DISTNAME"
202 chgrp -R isabelle "$DISTNAME" Isabelle
204 mkdir -p "pdf/$DISTNAME/doc"
205 mv "$DISTNAME/doc/"*.pdf "pdf/$DISTNAME/doc"
207 echo "$DISTNAME.tar.gz"
208 tar -czf "$DISTNAME.tar.gz" Isabelle "$DISTNAME"
210 echo "${DISTNAME}_pdf.tar.gz"
211 tar -C pdf -czf "${DISTNAME}_pdf.tar.gz" "$DISTNAME"
213 mv "pdf/$DISTNAME/doc/"*.pdf "$DISTNAME/doc"
214 rmdir "pdf/$DISTNAME/doc" "pdf/$DISTNAME" pdf
219 mv "$DISTNAME" "${DISTNAME}-old"
222 mv "${DISTNAME}-old/README" "${DISTNAME}-old/INSTALL" "${DISTNAME}-old/NEWS" \
223 "${DISTNAME}-old/ANNOUNCE" "${DISTNAME}-old/COPYRIGHT" "${DISTNAME}-old/CONTRIBUTORS" \
225 mkdir "$DISTNAME/doc"
226 mv "${DISTNAME}-old/doc/"*.pdf "${DISTNAME}-old/doc/Contents" "$DISTNAME/doc"
228 chgrp -R isabelle "$DISTNAME"
230 rm -rf "${DISTNAME}-old"