3 # makedist -- make Isabelle source distribution
8 REPOS="${REPOS:-http://isabelle.in.tum.de/repos/${REPOS_NAME}}"
9 DISTPREFIX="${DISTPREFIX:-~/tmp/isadist}"
16 PRG="$(basename "$0")"
17 THIS="$(cd $(dirname "$0"); pwd)"
23 Usage: $PRG [OPTIONS] [VERSION]
26 -j JEDIT_BUILD build Isabelle/jEdit via given jedit_build component
27 -r RELEASE proper release with name"
29 Make Isabelle distribution from the main Mercurial repository at TUM.
31 VERSION identifies the snapshot, using usual Mercurial terminology;
32 the default is RELEASE if given, otherwise "tip".
45 ## process command line
50 ISABELLE_JEDIT_BUILD_HOME=""
52 while getopts "j:r:" OPT
56 ISABELLE_JEDIT_BUILD_HOME="$OPTARG"
67 shift $(($OPTIND - 1))
73 [ "$#" -gt 0 ] && { VERSION="$1"; shift; }
74 [ -z "$VERSION" ] && VERSION="$RELEASE"
75 [ -z "$VERSION" ] && VERSION="tip"
77 [ "$#" -gt 0 ] && usage
85 function purge_tmp () { rm -rf "$DISTPREFIX/$TMP"; }
88 # retrieve archive and resolve version identifier
90 mkdir "$DISTPREFIX/$TMP" || fail "Failed to create fresh directory"
94 echo "### Retrieving Mercurial repository $VERSION"
97 if expr match "$REPOS" "https\?://" > /dev/null
99 { wget -q "$REPOS/archive/${VERSION}.tar.gz" -O- | tar -xzf -; } || \
100 fail "Failed to retrieve $VERSION"
102 { hg --repository "$REPOS" archive --type tgz - | tar -xzf -; } || \
103 fail "Failed to retrieve $VERSION"
106 IDENT=$(echo * | sed "s/${REPOS_NAME}-//")
108 rm -f "${REPOS_NAME}-${IDENT}/.hg_archival.txt"
109 rm -f "${REPOS_NAME}-${IDENT}/.hgtags"
110 rm -f "${REPOS_NAME}-${IDENT}/.hgignore"
111 rm -f "${REPOS_NAME}-${IDENT}/README_REPOSITORY"
116 DATE=$(env LC_ALL=C date "+%d-%b-%Y")
117 DISTDATE=$(env LC_ALL=C date "+%B %Y")
119 if [ -z "$RELEASE" ]; then
120 DISTNAME="Isabelle_$DATE"
121 DISTVERSION="Isabelle repository snapshot $IDENT $DATE"
124 DISTVERSION="$DISTNAME: $DISTDATE"
127 DISTBASE="$DISTPREFIX/dist-$DISTNAME"
128 mkdir -p "$DISTBASE" || { purge_tmp; fail "Unable to create distribution base dir $DISTBASE!"; }
129 [ -e "$DISTBASE/$DISTNAME" ] && { purge_tmp; fail "$DISTBASE/$DISTNAME already exists!"; }
132 mv "$DISTPREFIX/$TMP/${REPOS_NAME}-${IDENT}" "$DISTNAME"
135 cd "$DISTNAME" || fail "No dist directory: $DISTBASE/$DISTNAME"
138 # prepare dist for release
141 echo "### Preparing distribution $DISTNAME"
145 find . "(" -name \*.thy -o -name \*.ML ")" -perm +111 -print | xargs chmod -f -x
146 find . -print | xargs chmod -f u+rw
148 ./Admin/build all || fail "Failed to build distribution"
150 if [ -n "$ISABELLE_JEDIT_BUILD_HOME" ]; then
151 [ -d "$ISABELLE_JEDIT_BUILD_HOME" ] || fail "Bad jedit_build component directory: \"$ISABELLE_JEDIT_BUILD_HOME\""
152 eval "$(fgrep ISABELLE_JEDIT_BUILD_VERSION "$ISABELLE_JEDIT_BUILD_HOME/etc/settings")"
153 [ -n "$ISABELLE_JEDIT_BUILD_VERSION" ] || fail "Bad ISABELLE_JEDIT_BUILD_VERSION"
154 export ISABELLE_JEDIT_BUILD_HOME ISABELLE_JEDIT_BUILD_VERSION
155 ./bin/isabelle jedit -b || fail "Failed to build Isabelle/jEdit"
160 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')
162 rm doc/Isa-logics.eps
163 rm doc/adaptation.dvi doc/adaptation.pdf doc/architecture.dvi doc/architecture.pdf
167 cat >contrib/README <<EOF
168 This directory contains add-on components that contribute to the main
169 Isabelle distribution. Separate licensing conditions apply, see each
170 directory individually.
173 cp doc/isabelle*.eps lib/logo
175 if [ -z "$RELEASE" ]; then
178 echo "IMPORTANT NOTE"
179 echo "=============="
181 echo "This is an unofficial snapshot of Isabelle, created by $LOGNAME $DATE."
182 echo "See $REPOS/log/$IDENT for details."
186 perl -pi -e "s,val is_official = false,val is_official = true,g" src/Pure/ROOT.ML
189 perl -pi -e "s,val changelog = \"\",val changelog = \"$REPOS/log/$IDENT\",g" src/Pure/ROOT.ML
190 perl -pi -e "s,ISABELLE_ID=\"\",ISABELLE_ID=\"$IDENT\",g" lib/scripts/getsettings
191 perl -pi -e "s,ISABELLE_IDENTIFIER=\"\",ISABELLE_IDENTIFIER=\"$DISTNAME\",g" lib/scripts/getsettings
192 perl -pi -e "s,{ISABELLE},$DISTNAME,g" lib/html/library_index_header.template
193 perl -pi -e "s,unidentified repository version,$DISTVERSION,g" src/Pure/ROOT.ML lib/Tools/version
194 perl -pi -e "s,some unidentified repository version of Isabelle,$DISTVERSION,g" README
200 echo "### Creating archive ..."
205 echo "$DISTBASE/$DISTNAME.tar.gz" > ../ISABELLE_DIST
206 echo "$IDENT" >../ISABELLE_IDENT
208 chown -R "$LOGNAME" "$DISTNAME"
209 chmod -R u+w "$DISTNAME"
210 chmod -R g=o "$DISTNAME"
211 chgrp -R isabelle "$DISTNAME"
213 echo "$DISTNAME.tar.gz"
214 tar -czf "$DISTNAME.tar.gz" "$DISTNAME"
219 mv "$DISTNAME" "${DISTNAME}-old"
222 mv "${DISTNAME}-old/README" "${DISTNAME}-old/NEWS" "${DISTNAME}-old/ANNOUNCE" \
223 "${DISTNAME}-old/COPYRIGHT" "${DISTNAME}-old/CONTRIBUTORS" "$DISTNAME"
224 mkdir "$DISTNAME/doc"
225 mv "${DISTNAME}-old/doc/"*.pdf "${DISTNAME}-old/doc/Contents" "$DISTNAME/doc"
227 rm -f Isabelle && ln -sf "$DISTNAME" Isabelle
229 chgrp -R isabelle "$DISTNAME"
231 rm -rf "${DISTNAME}-old"