author | wenzelm |
Sat, 06 Jul 2013 22:11:18 +0200 | |
changeset 52542 | 19d674acb764 |
parent 52501 | e4f668f258a1 |
child 52561 | 722d65595e8e |
permissions | -rwxr-xr-x |
33907
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
1 |
#!/usr/bin/env bash |
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
2 |
# |
50790 | 3 |
# DESCRIPTION: re-package Isabelle distribution with add-on components |
33907
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
4 |
|
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
5 |
## diagnostics |
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
6 |
|
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
7 |
PRG=$(basename "$0") |
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
8 |
|
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
9 |
function usage() |
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
10 |
{ |
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
11 |
echo |
51064
9c425ed4a52c
separate makedist_bundle for each platform family, which is more useful for manual use;
wenzelm
parents:
50961
diff
changeset
|
12 |
echo "Usage: isabelle $PRG ARCHIVE PLATFORM_FAMILY" |
33907
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
13 |
echo |
37315 | 14 |
echo " Re-package Isabelle source distribution with add-on components" |
51064
9c425ed4a52c
separate makedist_bundle for each platform family, which is more useful for manual use;
wenzelm
parents:
50961
diff
changeset
|
15 |
echo " and post-hoc patches for platform family linux, macos, windows." |
50790 | 16 |
echo |
17 |
echo " Add-on components are that of the running Isabelle version!" |
|
33907
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
18 |
echo |
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
19 |
exit 1 |
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
20 |
} |
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
21 |
|
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
22 |
function fail() |
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
23 |
{ |
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
24 |
echo "$1" >&2 |
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
25 |
exit 2 |
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
26 |
} |
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
27 |
|
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
28 |
|
50790 | 29 |
## arguments |
30 |
||
51064
9c425ed4a52c
separate makedist_bundle for each platform family, which is more useful for manual use;
wenzelm
parents:
50961
diff
changeset
|
31 |
[ "$#" -ne 2 ] && usage |
50790 | 32 |
|
33 |
ARCHIVE="$1"; shift |
|
51064
9c425ed4a52c
separate makedist_bundle for each platform family, which is more useful for manual use;
wenzelm
parents:
50961
diff
changeset
|
34 |
PLATFORM_FAMILY="$1"; shift |
50790 | 35 |
|
36 |
[ -f "$ARCHIVE" ] || fail "Bad source archive: $ARCHIVE" |
|
37 |
||
38 |
ARCHIVE_DIR="$(cd $(dirname "$ARCHIVE"); echo "$PWD")" |
|
39 |
ISABELLE_NAME="$(basename "$ARCHIVE" .tar.gz)" |
|
40 |
||
41 |
||
42 |
## main |
|
43 |
||
50863 | 44 |
export COPYFILE_DISABLE=true |
45 |
||
50794 | 46 |
TMP="/var/tmp/isabelle-makedist$$" |
37315 | 47 |
mkdir "$TMP" || fail "Cannot create directory $TMP" |
48 |
||
50790 | 49 |
ISABELLE_TARGET="$TMP/$ISABELLE_NAME" |
33907
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
50 |
|
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
51 |
tar -C "$TMP" -x -z -f "$ARCHIVE" |
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
52 |
|
37315 | 53 |
|
50790 | 54 |
# bundled components |
33907
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
55 |
|
50790 | 56 |
mkdir -p "$ARCHIVE_DIR/contrib" |
57 |
||
58 |
echo "#bundled components" >> "$ISABELLE_TARGET/etc/components" |
|
33907
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
59 |
|
50812 | 60 |
for CATALOG in main "$PLATFORM_FAMILY" bundled "bundled-$PLATFORM_FAMILY" |
50790 | 61 |
do |
62 |
CATALOG_FILE="$ISABELLE_HOME/Admin/components/$CATALOG" |
|
63 |
if [ -f "$CATALOG_FILE" ] |
|
64 |
then |
|
65 |
echo "catalog ${CATALOG}" |
|
66 |
{ |
|
67 |
while { unset REPLY; read -r; test "$?" = 0 -o -n "$REPLY"; } |
|
68 |
do |
|
69 |
case "$REPLY" in |
|
70 |
\#* | "") ;; |
|
71 |
*) |
|
72 |
COMPONENT="$REPLY" |
|
50891
d1a0335b4231
do not register quasi-components, notably cygwin;
wenzelm
parents:
50863
diff
changeset
|
73 |
COMPONENT_DIR="$ISABELLE_TARGET/contrib/$COMPONENT" |
50790 | 74 |
case "$COMPONENT" in |
75 |
jedit_build*) ;; |
|
76 |
*) |
|
77 |
echo " component $COMPONENT" |
|
78 |
CONTRIB="$ARCHIVE_DIR/contrib/${COMPONENT}.tar.gz" |
|
79 |
if [ ! -f "$CONTRIB" ]; then |
|
80 |
REMOTE="$ISABELLE_COMPONENT_REPOSITORY/${COMPONENT}.tar.gz" |
|
81 |
echo " download $REMOTE" |
|
82 |
perl -MLWP::Simple -e "getprint '$REMOTE';" > "$CONTRIB" |
|
83 |
perl -e "exit((stat('${CONTRIB}'))[7] == 0 ? 0 : 1);" && exit 2 |
|
84 |
fi |
|
85 |
||
86 |
tar -C "$ISABELLE_TARGET/contrib" -x -z -f "$CONTRIB" |
|
50891
d1a0335b4231
do not register quasi-components, notably cygwin;
wenzelm
parents:
50863
diff
changeset
|
87 |
if [ -f "$COMPONENT_DIR/etc/settings" -o -f "$COMPONENT_DIR/etc/components" ] |
d1a0335b4231
do not register quasi-components, notably cygwin;
wenzelm
parents:
50863
diff
changeset
|
88 |
then |
d1a0335b4231
do not register quasi-components, notably cygwin;
wenzelm
parents:
50863
diff
changeset
|
89 |
echo "contrib/$COMPONENT" >> "$ISABELLE_TARGET/etc/components" |
d1a0335b4231
do not register quasi-components, notably cygwin;
wenzelm
parents:
50863
diff
changeset
|
90 |
fi |
50790 | 91 |
;; |
92 |
esac |
|
93 |
;; |
|
94 |
esac |
|
95 |
done |
|
96 |
} < "$CATALOG_FILE" |
|
33907
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
97 |
fi |
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
98 |
done |
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
99 |
|
47742
316c67657fd3
move polyml within Cygwin /usr/local to simplify its rebasing;
wenzelm
parents:
47723
diff
changeset
|
100 |
|
52501 | 101 |
# purge other platforms |
102 |
||
103 |
function purge_contrib |
|
104 |
{ |
|
105 |
( |
|
106 |
cd "$ISABELLE_TARGET" |
|
107 |
for DIR in $(eval find contrib "$@" | sort) |
|
108 |
do |
|
109 |
echo "removing $DIR" |
|
110 |
rm -rf "$DIR" |
|
111 |
done |
|
112 |
) |
|
113 |
} |
|
114 |
||
115 |
||
50798 | 116 |
# platform-specific patches |
47833
12cb7b5d4b77
more windows-friendly presentation of main text files;
wenzelm
parents:
47760
diff
changeset
|
117 |
|
50790 | 118 |
case "$PLATFORM_FAMILY" in |
119 |
linux) |
|
52501 | 120 |
purge_contrib '-name "x86*-darwin" -o -name "x86*-cygwin" -o -name "x86*-windows"' |
44951
3aa3aeb4980f
specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
wenzelm
parents:
44807
diff
changeset
|
121 |
;; |
50790 | 122 |
macos) |
52501 | 123 |
purge_contrib '-name "x86*-linux" -o -name "x86*-cygwin" -o -name "x86*-windows"' |
50798 | 124 |
|
44807 | 125 |
perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.apple.laf.AquaLookAndFeel,g;" \ |
44964 | 126 |
-e "s,delete-line.shortcut=.*,delete-line.shortcut=C+d,g;" \ |
127 |
-e "s,delete.shortcut2=.*,delete.shortcut2=A+d,g;" \ |
|
44807 | 128 |
"$TMP/$ISABELLE_NAME/src/Tools/jEdit/dist/properties/jEdit.props" |
129 |
;; |
|
50790 | 130 |
windows) |
52501 | 131 |
purge_contrib '-name "x86*-linux" -o -name "x86*-darwin"' |
50790 | 132 |
|
44807 | 133 |
perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.sun.java.swing.plaf.windows.WindowsLookAndFeel,g;" \ |
134 |
"$TMP/$ISABELLE_NAME/src/Tools/jEdit/dist/properties/jEdit.props" |
|
50790 | 135 |
|
50810
76967aa4fe84
outermost directory structure for Windows/Cygwin;
wenzelm
parents:
50798
diff
changeset
|
136 |
cp "$ISABELLE_HOME/Admin/Windows/launch4j/Isabelle.exe" "$ISABELLE_TARGET/Isabelle2013.exe" |
76967aa4fe84
outermost directory structure for Windows/Cygwin;
wenzelm
parents:
50798
diff
changeset
|
137 |
cp "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \ |
50961 | 138 |
"$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat" \ |
50810
76967aa4fe84
outermost directory structure for Windows/Cygwin;
wenzelm
parents:
50798
diff
changeset
|
139 |
"$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Terminal.bat" "$ISABELLE_TARGET" |
50790 | 140 |
|
52501 | 141 |
( |
142 |
cd "$ISABELLE_TARGET" |
|
143 |
||
144 |
for NAME in init.bat postinstall rebaseall |
|
145 |
do |
|
146 |
cp -a "$ISABELLE_HOME/Admin/Windows/Cygwin/isabelle/$NAME" \ |
|
147 |
"contrib/cygwin/isabelle/." |
|
148 |
done |
|
149 |
||
150 |
find . -type f -not -name '*.exe' -not -name '*.dll' -perm +100 | \ |
|
151 |
sort > "contrib/cygwin/isabelle/executables" |
|
152 |
||
153 |
cat >> "contrib/cygwin/isabelle/postinstall" <<EOF |
|
154 |
||
155 |
find -type d -exec chmod 755 '{}' + |
|
156 |
find -type f \( -name '*.exe' -o -name '*.dll' \) -exec chmod 755 '{}' + |
|
157 |
find -type f -not -name '*.exe' -not -name '*.dll' -exec chmod 644 '{}' + |
|
158 |
xargs < contrib/cygwin/isabelle/executables chmod 755 |
|
159 |
||
160 |
EOF |
|
161 |
||
162 |
) |
|
50892
9a7d81d66d09
include /isabelle/rebaseall in autorebaseall, which is run after installation of further packages;
wenzelm
parents:
50891
diff
changeset
|
163 |
|
9a7d81d66d09
include /isabelle/rebaseall in autorebaseall, which is run after installation of further packages;
wenzelm
parents:
50891
diff
changeset
|
164 |
perl -pi -e "s,/bin/rebaseall.*,/isabelle/rebaseall,g;" \ |
9a7d81d66d09
include /isabelle/rebaseall in autorebaseall, which is run after installation of further packages;
wenzelm
parents:
50891
diff
changeset
|
165 |
"$ISABELLE_TARGET/contrib/cygwin/etc/postinstall/autorebase.bat.done" |
9a7d81d66d09
include /isabelle/rebaseall in autorebaseall, which is run after installation of further packages;
wenzelm
parents:
50891
diff
changeset
|
166 |
|
41627
0040e0ea02e7
delete compiled .elc files to improve portability on Linux, notably for GNU Emacs 23.1.x instead of 23.2.x;
wenzelm
parents:
41611
diff
changeset
|
167 |
;; |
0040e0ea02e7
delete compiled .elc files to improve portability on Linux, notably for GNU Emacs 23.1.x instead of 23.2.x;
wenzelm
parents:
41611
diff
changeset
|
168 |
*) |
0040e0ea02e7
delete compiled .elc files to improve portability on Linux, notably for GNU Emacs 23.1.x instead of 23.2.x;
wenzelm
parents:
41611
diff
changeset
|
169 |
;; |
0040e0ea02e7
delete compiled .elc files to improve portability on Linux, notably for GNU Emacs 23.1.x instead of 23.2.x;
wenzelm
parents:
41611
diff
changeset
|
170 |
esac |
41611
f23ce44fbaec
Cygwin: back to ProofGeneral-3.7.1.1 with XEmacs, since PG 4.x with GNU Emacs 23 is painfully slow;
wenzelm
parents:
41555
diff
changeset
|
171 |
|
50798 | 172 |
|
173 |
# archive |
|
174 |
||
175 |
BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_${PLATFORM_FAMILY}.tar.gz" |
|
37315 | 176 |
|
50790 | 177 |
echo "packaging $(basename "$BUNDLE_ARCHIVE")" |
50899
506ff6abfde0
grand-unified Admin/Release/build script (excluding .app and .exe);
wenzelm
parents:
50892
diff
changeset
|
178 |
tar -C "$TMP" -c -z -f "$BUNDLE_ARCHIVE" "$ISABELLE_NAME" || exit 2 |
33907
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
179 |
|
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
180 |
|
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
181 |
# clean up |
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
182 |
rm -rf "$TMP" |