wenzelm@28932
|
1 |
#!/usr/bin/env bash
|
wenzelm@28932
|
2 |
#
|
wenzelm@28932
|
3 |
# makedist -- make Isabelle source distribution
|
wenzelm@28932
|
4 |
|
wenzelm@28932
|
5 |
## global settings
|
wenzelm@28932
|
6 |
|
wenzelm@37459
|
7 |
REPOS_NAME="isabelle-release"
|
wenzelm@33925
|
8 |
REPOS="http://isabelle.in.tum.de/repos/${REPOS_NAME}"
|
wenzelm@28932
|
9 |
|
wenzelm@28932
|
10 |
DISTPREFIX=${DISTPREFIX:-~/tmp/isadist}
|
wenzelm@28932
|
11 |
|
wenzelm@28932
|
12 |
umask 022
|
wenzelm@28932
|
13 |
|
wenzelm@28932
|
14 |
|
wenzelm@28932
|
15 |
## diagnostics
|
wenzelm@28932
|
16 |
|
wenzelm@30885
|
17 |
PRG="$(basename "$0")"
|
wenzelm@30885
|
18 |
THIS="$(cd $(dirname "$0"); echo "$PWD")"
|
wenzelm@28932
|
19 |
|
wenzelm@28932
|
20 |
function usage()
|
wenzelm@28932
|
21 |
{
|
wenzelm@28932
|
22 |
cat <<EOF
|
wenzelm@28932
|
23 |
|
wenzelm@28932
|
24 |
Usage: $PRG [OPTIONS] [VERSION]
|
wenzelm@28932
|
25 |
|
wenzelm@28932
|
26 |
Options are:
|
wenzelm@28932
|
27 |
-r RELEASE proper release with name"
|
wenzelm@28932
|
28 |
|
wenzelm@28932
|
29 |
Make Isabelle distribution from the main Mercurial repository at TUM.
|
wenzelm@28932
|
30 |
|
wenzelm@28932
|
31 |
VERSION identifies the snapshot, using usual Mercurial terminology;
|
wenzelm@28932
|
32 |
the default is RELEASE if given, otherwise "tip".
|
wenzelm@28932
|
33 |
|
wenzelm@28932
|
34 |
EOF
|
wenzelm@28932
|
35 |
exit 1
|
wenzelm@28932
|
36 |
}
|
wenzelm@28932
|
37 |
|
wenzelm@28932
|
38 |
function fail()
|
wenzelm@28932
|
39 |
{
|
wenzelm@28932
|
40 |
echo "$1" >&2
|
wenzelm@28932
|
41 |
exit 2
|
wenzelm@28932
|
42 |
}
|
wenzelm@28932
|
43 |
|
wenzelm@28932
|
44 |
|
wenzelm@28932
|
45 |
## process command line
|
wenzelm@28932
|
46 |
|
wenzelm@28932
|
47 |
# options
|
wenzelm@28932
|
48 |
|
wenzelm@28932
|
49 |
RELEASE=""
|
wenzelm@28932
|
50 |
|
wenzelm@28932
|
51 |
while getopts "r:" OPT
|
wenzelm@28932
|
52 |
do
|
wenzelm@28932
|
53 |
case "$OPT" in
|
wenzelm@28932
|
54 |
r)
|
wenzelm@28932
|
55 |
RELEASE="$OPTARG"
|
wenzelm@28932
|
56 |
;;
|
wenzelm@28932
|
57 |
\?)
|
wenzelm@28932
|
58 |
usage
|
wenzelm@28932
|
59 |
;;
|
wenzelm@28932
|
60 |
esac
|
wenzelm@28932
|
61 |
done
|
wenzelm@28932
|
62 |
|
wenzelm@28932
|
63 |
shift $(($OPTIND - 1))
|
wenzelm@28932
|
64 |
|
wenzelm@28932
|
65 |
|
wenzelm@28932
|
66 |
# args
|
wenzelm@28932
|
67 |
|
wenzelm@28932
|
68 |
VERSION=""
|
wenzelm@28932
|
69 |
[ "$#" -gt 0 ] && { VERSION="$1"; shift; }
|
wenzelm@28932
|
70 |
[ -z "$VERSION" ] && VERSION="$RELEASE"
|
wenzelm@28932
|
71 |
[ -z "$VERSION" ] && VERSION="tip"
|
wenzelm@28932
|
72 |
|
wenzelm@28932
|
73 |
[ "$#" -gt 0 ] && usage
|
wenzelm@28932
|
74 |
|
wenzelm@28932
|
75 |
|
wenzelm@28932
|
76 |
## main
|
wenzelm@28932
|
77 |
|
wenzelm@28932
|
78 |
# tmp
|
wenzelm@28932
|
79 |
|
wenzelm@28932
|
80 |
TMP="tmp-$USER$$"
|
wenzelm@28932
|
81 |
function purge_tmp () { rm -rf "$DISTPREFIX/$TMP"; }
|
wenzelm@28932
|
82 |
|
wenzelm@28932
|
83 |
|
wenzelm@28932
|
84 |
# retrieve archive and resolve version identifier
|
wenzelm@28932
|
85 |
|
wenzelm@28932
|
86 |
mkdir "$DISTPREFIX/$TMP" || fail "Failed to create fresh directory"
|
wenzelm@28932
|
87 |
cd "$DISTPREFIX/$TMP"
|
wenzelm@28932
|
88 |
|
wenzelm@28932
|
89 |
echo "###"
|
wenzelm@28932
|
90 |
echo "### Retrieving Mercurial repository $VERSION"
|
wenzelm@28932
|
91 |
echo "###"
|
wenzelm@28932
|
92 |
|
wenzelm@28932
|
93 |
{ wget -q "$REPOS/archive/${VERSION}.tar.gz" -O- | tar -xzf -; } || \
|
wenzelm@28932
|
94 |
fail "Failed to retrieve $VERSION"
|
wenzelm@28932
|
95 |
|
wenzelm@33926
|
96 |
IDENT=$(echo * | sed "s/${REPOS_NAME}-//")
|
wenzelm@28932
|
97 |
|
wenzelm@33925
|
98 |
rm -f "${REPOS_NAME}-${IDENT}/.hg_archival.txt"
|
wenzelm@33925
|
99 |
rm -f "${REPOS_NAME}-${IDENT}/.hgtags"
|
wenzelm@33925
|
100 |
rm -f "${REPOS_NAME}-${IDENT}/.hgignore"
|
wenzelm@33925
|
101 |
rm -f "${REPOS_NAME}-${IDENT}/README_REPOSITORY"
|
wenzelm@28932
|
102 |
|
wenzelm@28932
|
103 |
|
wenzelm@28932
|
104 |
# dist name
|
wenzelm@28932
|
105 |
|
wenzelm@28932
|
106 |
DATE=$(env LC_ALL=C date "+%d-%b-%Y")
|
wenzelm@28932
|
107 |
DISTDATE=$(env LC_ALL=C date "+%B %Y")
|
wenzelm@28932
|
108 |
|
wenzelm@28932
|
109 |
if [ -z "$RELEASE" ]; then
|
wenzelm@28932
|
110 |
DISTNAME="Isabelle_$DATE"
|
wenzelm@28932
|
111 |
DISTVERSION="Isabelle repository snapshot $IDENT ($DATE)"
|
wenzelm@28932
|
112 |
else
|
wenzelm@28932
|
113 |
DISTNAME="$RELEASE"
|
wenzelm@28932
|
114 |
DISTVERSION="$DISTNAME: $DISTDATE"
|
wenzelm@28932
|
115 |
fi
|
wenzelm@28932
|
116 |
|
wenzelm@28932
|
117 |
DISTBASE="$DISTPREFIX/dist-$DISTNAME"
|
wenzelm@28932
|
118 |
mkdir -p "$DISTBASE" || { purge_tmp; fail "Unable to create distribution base dir $DISTBASE!"; }
|
wenzelm@28932
|
119 |
[ -e "$DISTBASE/$DISTNAME" ] && { purge_tmp; fail "$DISTBASE/$DISTNAME already exists!"; }
|
wenzelm@28932
|
120 |
|
wenzelm@28932
|
121 |
cd "$DISTBASE"
|
wenzelm@33925
|
122 |
mv "$DISTPREFIX/$TMP/${REPOS_NAME}-${IDENT}" "$DISTNAME"
|
wenzelm@28932
|
123 |
purge_tmp
|
wenzelm@28932
|
124 |
|
wenzelm@28932
|
125 |
cd "$DISTNAME" || fail "No dist directory: $DISTBASE/$DISTNAME"
|
wenzelm@28932
|
126 |
|
wenzelm@28932
|
127 |
|
wenzelm@28932
|
128 |
# prepare dist for release
|
wenzelm@28932
|
129 |
|
wenzelm@28932
|
130 |
echo "###"
|
wenzelm@28932
|
131 |
echo "### Preparing distribution $DISTNAME"
|
wenzelm@28932
|
132 |
echo "###"
|
wenzelm@28932
|
133 |
|
wenzelm@30885
|
134 |
rm -f .hgignore
|
wenzelm@30287
|
135 |
find . "(" -name \*.thy -o -name \*.ML ")" -perm +111 -print | xargs chmod -f -x
|
wenzelm@30885
|
136 |
find . -print | xargs chmod -f u+rw
|
wenzelm@28932
|
137 |
|
wenzelm@28932
|
138 |
./Admin/build all || fail "Failed to build distribution"
|
wenzelm@28932
|
139 |
rm -rf Admin
|
wenzelm@28932
|
140 |
|
wenzelm@28932
|
141 |
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')
|
wenzelm@28932
|
142 |
mv -f $MOVE doc
|
wenzelm@28932
|
143 |
rm doc/Isa-logics.eps
|
wenzelm@31842
|
144 |
rm doc/adaptation.dvi doc/adaptation.pdf doc/architecture.dvi doc/architecture.pdf
|
wenzelm@28932
|
145 |
rm -rf doc-src
|
wenzelm@28932
|
146 |
|
wenzelm@30140
|
147 |
mkdir -p contrib
|
wenzelm@28932
|
148 |
|
wenzelm@28932
|
149 |
cp doc/isabelle*.eps lib/logo
|
wenzelm@28932
|
150 |
|
wenzelm@37217
|
151 |
rm Isabelle Isabelle.exe
|
wenzelm@37217
|
152 |
|
wenzelm@28932
|
153 |
|
wenzelm@28932
|
154 |
if [ -z "$RELEASE" ]; then
|
wenzelm@28932
|
155 |
{
|
wenzelm@28932
|
156 |
echo
|
wenzelm@28932
|
157 |
echo "IMPORTANT NOTE"
|
wenzelm@28932
|
158 |
echo "=============="
|
wenzelm@28932
|
159 |
echo
|
wenzelm@28932
|
160 |
echo "This is an unofficial snapshot of Isabelle, created by $LOGNAME $DATE."
|
wenzelm@28932
|
161 |
echo "See $REPOS/log/$IDENT for details."
|
wenzelm@28932
|
162 |
echo
|
wenzelm@28932
|
163 |
} >ANNOUNCE
|
wenzelm@28932
|
164 |
else
|
wenzelm@28932
|
165 |
perl -pi -e "s,val is_official = false,val is_official = true,g" src/Pure/ROOT.ML
|
wenzelm@28932
|
166 |
fi
|
wenzelm@28932
|
167 |
|
wenzelm@28932
|
168 |
perl -pi -e "s,val changelog = \"\",val changelog = \"$REPOS/log/$IDENT\",g" src/Pure/ROOT.ML
|
wenzelm@28932
|
169 |
perl -pi -e "s,ISABELLE_IDENTIFIER=\"\",ISABELLE_IDENTIFIER=\"$DISTNAME\",g" lib/scripts/getsettings
|
wenzelm@28932
|
170 |
perl -pi -e "s,{ISABELLE},$DISTNAME,g" lib/html/library_index_header.template
|
wenzelm@32361
|
171 |
perl -pi -e "s,unidentified repository version,$DISTVERSION,g" src/Pure/ROOT.ML lib/Tools/version
|
wenzelm@32361
|
172 |
perl -pi -e "s,some unidentified repository version of Isabelle,$DISTVERSION,g" README
|
wenzelm@28932
|
173 |
|
wenzelm@28932
|
174 |
|
wenzelm@37341
|
175 |
# create archive
|
wenzelm@28932
|
176 |
|
wenzelm@28932
|
177 |
echo "###"
|
wenzelm@37341
|
178 |
echo "### Creating archive ..."
|
wenzelm@28932
|
179 |
echo "###"
|
wenzelm@28932
|
180 |
|
wenzelm@28932
|
181 |
cd "$DISTBASE"
|
wenzelm@28932
|
182 |
|
wenzelm@28932
|
183 |
echo "$DISTBASE/$DISTNAME.tar.gz" > ../ISABELLE_DIST
|
wenzelm@28932
|
184 |
echo "$IDENT" >../ISABELLE_IDENT
|
wenzelm@28932
|
185 |
|
wenzelm@28932
|
186 |
rm -f Isabelle
|
wenzelm@28932
|
187 |
ln -s "$DISTNAME" Isabelle
|
wenzelm@28932
|
188 |
|
wenzelm@28932
|
189 |
chown -R "$LOGNAME" "$DISTNAME"
|
wenzelm@28932
|
190 |
chmod -R u+w "$DISTNAME"
|
wenzelm@28932
|
191 |
chmod -R g=o "$DISTNAME"
|
wenzelm@28932
|
192 |
chgrp -R isabelle "$DISTNAME" Isabelle
|
wenzelm@28932
|
193 |
|
wenzelm@28932
|
194 |
echo "$DISTNAME.tar.gz"
|
wenzelm@28932
|
195 |
tar -czf "$DISTNAME.tar.gz" Isabelle "$DISTNAME"
|
wenzelm@28932
|
196 |
|
wenzelm@28932
|
197 |
|
wenzelm@28932
|
198 |
# cleanup dist
|
wenzelm@28932
|
199 |
|
wenzelm@28932
|
200 |
mv "$DISTNAME" "${DISTNAME}-old"
|
wenzelm@28932
|
201 |
mkdir "$DISTNAME"
|
wenzelm@28932
|
202 |
|
wenzelm@28932
|
203 |
mv "${DISTNAME}-old/README" "${DISTNAME}-old/INSTALL" "${DISTNAME}-old/NEWS" \
|
wenzelm@28932
|
204 |
"${DISTNAME}-old/ANNOUNCE" "${DISTNAME}-old/COPYRIGHT" "${DISTNAME}-old/CONTRIBUTORS" \
|
wenzelm@28932
|
205 |
"$DISTNAME"
|
wenzelm@28932
|
206 |
mkdir "$DISTNAME/doc"
|
wenzelm@28932
|
207 |
mv "${DISTNAME}-old/doc/"*.pdf "${DISTNAME}-old/doc/Contents" "$DISTNAME/doc"
|
wenzelm@28932
|
208 |
|
wenzelm@28932
|
209 |
chgrp -R isabelle "$DISTNAME"
|
wenzelm@28932
|
210 |
|
wenzelm@28932
|
211 |
rm -rf "${DISTNAME}-old"
|
wenzelm@28932
|
212 |
|
wenzelm@37341
|
213 |
|
wenzelm@37341
|
214 |
echo "DONE"
|