|
wenzelm@33923
|
1 |
#!/usr/bin/env bash
|
|
wenzelm@33923
|
2 |
#
|
|
wenzelm@33923
|
3 |
# makebundle -- re-package with add-on components
|
|
wenzelm@33923
|
4 |
|
|
wenzelm@33923
|
5 |
## diagnostics
|
|
wenzelm@33923
|
6 |
|
|
wenzelm@33923
|
7 |
PRG=$(basename "$0")
|
|
wenzelm@33923
|
8 |
|
|
wenzelm@33923
|
9 |
function usage()
|
|
wenzelm@33923
|
10 |
{
|
|
wenzelm@33923
|
11 |
echo
|
|
wenzelm@37333
|
12 |
echo "Usage: $PRG ARCHIVE PLATFORM"
|
|
wenzelm@33923
|
13 |
echo
|
|
wenzelm@37333
|
14 |
echo " Re-package Isabelle source distribution with add-on components"
|
|
wenzelm@37343
|
15 |
echo " and heap images"
|
|
wenzelm@33923
|
16 |
echo
|
|
wenzelm@33923
|
17 |
exit 1
|
|
wenzelm@33923
|
18 |
}
|
|
wenzelm@33923
|
19 |
|
|
wenzelm@33923
|
20 |
function fail()
|
|
wenzelm@33923
|
21 |
{
|
|
wenzelm@33923
|
22 |
echo "$1" >&2
|
|
wenzelm@33923
|
23 |
exit 2
|
|
wenzelm@33923
|
24 |
}
|
|
wenzelm@33923
|
25 |
|
|
wenzelm@33923
|
26 |
|
|
wenzelm@37333
|
27 |
## implicit and explicit arguments
|
|
wenzelm@33923
|
28 |
|
|
wenzelm@37333
|
29 |
TMP="/var/tmp/isabelle-makebundle$$"
|
|
wenzelm@37333
|
30 |
mkdir "$TMP" || fail "Cannot create directory $TMP"
|
|
wenzelm@37333
|
31 |
|
|
wenzelm@37333
|
32 |
[ "$#" -ne 2 ] && usage
|
|
wenzelm@33923
|
33 |
|
|
wenzelm@33923
|
34 |
ARCHIVE="$1"; shift
|
|
wenzelm@37333
|
35 |
PLATFORM="$1"; shift
|
|
wenzelm@33923
|
36 |
|
|
wenzelm@37333
|
37 |
[ -f "$ARCHIVE" ] || fail "Bad source archive: $ARCHIVE"
|
|
wenzelm@33923
|
38 |
|
|
wenzelm@33923
|
39 |
|
|
wenzelm@33923
|
40 |
## main
|
|
wenzelm@33923
|
41 |
|
|
wenzelm@33923
|
42 |
ARCHIVE_DIR="$(cd $(dirname "$ARCHIVE"); echo "$PWD")"
|
|
wenzelm@33923
|
43 |
ISABELLE_NAME="$(basename "$ARCHIVE" .tar.gz)"
|
|
wenzelm@33923
|
44 |
ISABELLE_HOME="$TMP/$ISABELLE_NAME"
|
|
wenzelm@33923
|
45 |
|
|
wenzelm@33923
|
46 |
tar -C "$TMP" -x -z -f "$ARCHIVE"
|
|
wenzelm@33923
|
47 |
|
|
wenzelm@37333
|
48 |
|
|
wenzelm@33923
|
49 |
echo "#bundled components" >> "$ISABELLE_HOME/etc/components"
|
|
wenzelm@33923
|
50 |
|
|
wenzelm@45822
|
51 |
for CONTRIB in "$ARCHIVE_DIR/contrib/"*.tar.gz "$ARCHIVE_DIR/contrib/$PLATFORM"/*.tar.gz
|
|
wenzelm@33923
|
52 |
do
|
|
wenzelm@45822
|
53 |
if [ -f "$CONTRIB" ]; then
|
|
wenzelm@45822
|
54 |
tar -C "$ISABELLE_HOME/contrib" -x -z -f "$CONTRIB"
|
|
wenzelm@45822
|
55 |
NAME="$(basename "$CONTRIB" .tar.gz)"
|
|
wenzelm@45822
|
56 |
[ -d "$ISABELLE_HOME/contrib/$NAME" ] || fail "Bad archive content $CONTRIB"
|
|
wenzelm@33923
|
57 |
|
|
wenzelm@45822
|
58 |
if [ -e "$ISABELLE_HOME/contrib/$NAME/etc/settings" ]; then
|
|
wenzelm@45822
|
59 |
echo "component $NAME"
|
|
wenzelm@48393
|
60 |
if [ "$PLATFORM" != x86-cygwin -a "$NAME" = ProofGeneral-3.7.1.1 ]; then
|
|
wenzelm@48393
|
61 |
echo "#contrib/$NAME" >> "$ISABELLE_HOME/etc/components"
|
|
wenzelm@48393
|
62 |
elif [ "$PLATFORM" = x86-cygwin -a "$NAME" = ProofGeneral-4.1 ]; then
|
|
wenzelm@48393
|
63 |
echo "#contrib/$NAME" >> "$ISABELLE_HOME/etc/components"
|
|
wenzelm@48393
|
64 |
else
|
|
wenzelm@48393
|
65 |
echo "contrib/$NAME" >> "$ISABELLE_HOME/etc/components"
|
|
wenzelm@48393
|
66 |
fi
|
|
wenzelm@45822
|
67 |
else
|
|
wenzelm@45822
|
68 |
echo "package $NAME"
|
|
wenzelm@45822
|
69 |
fi
|
|
wenzelm@33923
|
70 |
fi
|
|
wenzelm@33923
|
71 |
done
|
|
wenzelm@33923
|
72 |
|
|
wenzelm@48556
|
73 |
if [ "$PLATFORM" = x86-cygwin ]; then
|
|
wenzelm@48600
|
74 |
TAR="$ARCHIVE_DIR/contrib/x86-cygwin/Isabelle.tar"
|
|
wenzelm@48600
|
75 |
[ -e "$TAR" ] || fail "Missing $TAR"
|
|
wenzelm@48580
|
76 |
rm -f "$ISABELLE_HOME/Isabelle"
|
|
wenzelm@48600
|
77 |
tar -C "$ISABELLE_HOME" -xv -f "$TAR"
|
|
wenzelm@48613
|
78 |
|
|
wenzelm@48728
|
79 |
(
|
|
wenzelm@48728
|
80 |
cd "$ISABELLE_HOME"
|
|
wenzelm@48728
|
81 |
for DIR in $(find contrib -name x86-linux -o -name x86_64-linux -o -name x86-darwin -o -name x86_64-darwin | sort)
|
|
wenzelm@48728
|
82 |
do
|
|
wenzelm@48728
|
83 |
echo "removing $DIR"
|
|
wenzelm@48728
|
84 |
rm -rf "$DIR"
|
|
wenzelm@48728
|
85 |
done
|
|
wenzelm@48728
|
86 |
)
|
|
wenzelm@48728
|
87 |
|
|
wenzelm@48613
|
88 |
mv "$ISABELLE_HOME/contrib"/polyml* "$ISABELLE_HOME/contrib/cygwin-1.7.9/usr/local/"
|
|
wenzelm@48631
|
89 |
(
|
|
wenzelm@48631
|
90 |
cd "$ISABELLE_HOME/contrib/cygwin-1.7.9"
|
|
wenzelm@48631
|
91 |
find usr/local/polyml-*/x86-cygwin | gzip > etc/setup/polyml.lst.gz
|
|
wenzelm@48631
|
92 |
)
|
|
wenzelm@48704
|
93 |
|
|
wenzelm@48704
|
94 |
for NAME in ANNOUNCE README NEWS COPYRIGHT CONTRIBUTORS contrib/README
|
|
wenzelm@48704
|
95 |
do
|
|
wenzelm@48704
|
96 |
FILE="$ISABELLE_HOME/$NAME"
|
|
wenzelm@48704
|
97 |
{
|
|
wenzelm@48704
|
98 |
echo '<?xml version="1.0" encoding="utf-8" ?>'
|
|
wenzelm@48704
|
99 |
echo '<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">'
|
|
wenzelm@48704
|
100 |
echo '<html xmlns="http://www.w3.org/1999/xhtml">'
|
|
wenzelm@48704
|
101 |
echo '<head>'
|
|
wenzelm@48704
|
102 |
echo '<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>'
|
|
wenzelm@48704
|
103 |
echo "<title>${NAME}</title>"
|
|
wenzelm@48704
|
104 |
echo '</head>'
|
|
wenzelm@48704
|
105 |
echo '<body>'
|
|
wenzelm@48704
|
106 |
echo '<pre>'
|
|
wenzelm@48704
|
107 |
perl -w -p -e "s/&/&/g; s/</</g; s/>/>/g; s/'/'/g; s/\"/"/g;" "$FILE"
|
|
wenzelm@48704
|
108 |
echo '</pre>'
|
|
wenzelm@48704
|
109 |
echo '</body>'
|
|
wenzelm@48704
|
110 |
} > "${FILE}.html"
|
|
wenzelm@48704
|
111 |
done
|
|
wenzelm@48556
|
112 |
fi
|
|
wenzelm@48556
|
113 |
|
|
wenzelm@37333
|
114 |
|
|
wenzelm@37343
|
115 |
HEAPS_ARCHIVE="$ARCHIVE_DIR/${ISABELLE_NAME}_heaps_${PLATFORM}.tar.gz"
|
|
wenzelm@37343
|
116 |
[ -f "$HEAPS_ARCHIVE" ] || fail "Bad heaps archive: $HEAPS_ARCHIVE"
|
|
wenzelm@37343
|
117 |
echo "heaps"
|
|
wenzelm@37460
|
118 |
tar -C "$TMP" -x -z -f "$HEAPS_ARCHIVE"
|
|
wenzelm@37333
|
119 |
|
|
wenzelm@41875
|
120 |
case "$PLATFORM" in
|
|
wenzelm@45822
|
121 |
x86_64-linux)
|
|
wenzelm@45822
|
122 |
perl -pi -e 's,^ML_PLATFORM=.*$,ML_PLATFORM="\$ISABELLE_PLATFORM64",g;' "$TMP/$ISABELLE_NAME/etc/settings"
|
|
wenzelm@45822
|
123 |
perl -pi -e "s,^ML_OPTIONS=.*$,ML_OPTIONS=\"-H 400\",g;" "$TMP/$ISABELLE_NAME/etc/settings"
|
|
wenzelm@45822
|
124 |
;;
|
|
wenzelm@45688
|
125 |
*-darwin)
|
|
wenzelm@45688
|
126 |
perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.apple.laf.AquaLookAndFeel,g;" \
|
|
wenzelm@45835
|
127 |
-e "s,delete-line.shortcut=.*,delete-line.shortcut=C+d,g;" \
|
|
wenzelm@45835
|
128 |
-e "s,delete.shortcut2=.*,delete.shortcut2=A+d,g;" \
|
|
wenzelm@45688
|
129 |
"$TMP/$ISABELLE_NAME/src/Tools/jEdit/dist/properties/jEdit.props"
|
|
wenzelm@45688
|
130 |
;;
|
|
wenzelm@45688
|
131 |
*-cygwin)
|
|
wenzelm@45688
|
132 |
perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.sun.java.swing.plaf.windows.WindowsLookAndFeel,g;" \
|
|
wenzelm@45688
|
133 |
"$TMP/$ISABELLE_NAME/src/Tools/jEdit/dist/properties/jEdit.props"
|
|
wenzelm@41875
|
134 |
;;
|
|
wenzelm@41875
|
135 |
*)
|
|
wenzelm@41875
|
136 |
;;
|
|
wenzelm@41875
|
137 |
esac
|
|
wenzelm@41860
|
138 |
|
|
wenzelm@37333
|
139 |
BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_bundle_${PLATFORM}.tar.gz"
|
|
wenzelm@37333
|
140 |
|
|
wenzelm@37333
|
141 |
echo "$(basename "$BUNDLE_ARCHIVE")"
|
|
wenzelm@41803
|
142 |
tar -C "$TMP" -c -z -f "$BUNDLE_ARCHIVE" "$ISABELLE_NAME"
|
|
wenzelm@33923
|
143 |
|
|
wenzelm@33923
|
144 |
|
|
wenzelm@33923
|
145 |
# clean up
|
|
wenzelm@33923
|
146 |
cd /tmp
|
|
wenzelm@33923
|
147 |
rm -rf "$TMP"
|