wenzelm@33923
|
1 |
#!/usr/bin/env bash
|
wenzelm@33923
|
2 |
#
|
wenzelm@51805
|
3 |
# DESCRIPTION: re-package Isabelle distribution 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@52032
|
12 |
echo "Usage: isabelle $PRG ARCHIVE PLATFORM_FAMILY"
|
wenzelm@33923
|
13 |
echo
|
wenzelm@37333
|
14 |
echo " Re-package Isabelle source distribution with add-on components"
|
wenzelm@52032
|
15 |
echo " and post-hoc patches for platform family linux, macos, windows."
|
wenzelm@51805
|
16 |
echo
|
wenzelm@51805
|
17 |
echo " Add-on components are that of the running Isabelle version!"
|
wenzelm@33923
|
18 |
echo
|
wenzelm@33923
|
19 |
exit 1
|
wenzelm@33923
|
20 |
}
|
wenzelm@33923
|
21 |
|
wenzelm@33923
|
22 |
function fail()
|
wenzelm@33923
|
23 |
{
|
wenzelm@33923
|
24 |
echo "$1" >&2
|
wenzelm@33923
|
25 |
exit 2
|
wenzelm@33923
|
26 |
}
|
wenzelm@33923
|
27 |
|
wenzelm@33923
|
28 |
|
wenzelm@51805
|
29 |
## arguments
|
wenzelm@51805
|
30 |
|
wenzelm@52032
|
31 |
[ "$#" -ne 2 ] && usage
|
wenzelm@51805
|
32 |
|
wenzelm@51805
|
33 |
ARCHIVE="$1"; shift
|
wenzelm@52032
|
34 |
PLATFORM_FAMILY="$1"; shift
|
wenzelm@51805
|
35 |
|
wenzelm@51805
|
36 |
[ -f "$ARCHIVE" ] || fail "Bad source archive: $ARCHIVE"
|
wenzelm@51805
|
37 |
|
wenzelm@51805
|
38 |
ARCHIVE_DIR="$(cd $(dirname "$ARCHIVE"); echo "$PWD")"
|
wenzelm@51805
|
39 |
ISABELLE_NAME="$(basename "$ARCHIVE" .tar.gz)"
|
wenzelm@51805
|
40 |
|
wenzelm@51805
|
41 |
|
wenzelm@51805
|
42 |
## main
|
wenzelm@51805
|
43 |
|
wenzelm@51809
|
44 |
TMP="/var/tmp/isabelle-makedist$$"
|
wenzelm@37333
|
45 |
mkdir "$TMP" || fail "Cannot create directory $TMP"
|
wenzelm@37333
|
46 |
|
wenzelm@51805
|
47 |
ISABELLE_TARGET="$TMP/$ISABELLE_NAME"
|
wenzelm@33923
|
48 |
|
wenzelm@54555
|
49 |
tar -C "$TMP" -x -z -f "$ARCHIVE" || exit 2
|
wenzelm@33923
|
50 |
|
wenzelm@37333
|
51 |
|
wenzelm@54718
|
52 |
# distribution classpath (based on educated guesses)
|
wenzelm@54718
|
53 |
|
wenzelm@54718
|
54 |
splitarray ":" "$ISABELLE_CLASSPATH"; CLASSPATH_ENTRIES=("${SPLITARRAY[@]}")
|
wenzelm@54718
|
55 |
declare -a DISTRIBITION_CLASSPATH=()
|
wenzelm@54718
|
56 |
|
wenzelm@54718
|
57 |
for ENTRY in "${CLASSPATH_ENTRIES[@]}"
|
wenzelm@54718
|
58 |
do
|
wenzelm@54718
|
59 |
ENTRY=$(echo "$ENTRY" | perl -n -e "
|
wenzelm@54718
|
60 |
if (m,$ISABELLE_HOME/(.*)\$,) { print qq{\$1}; }
|
wenzelm@54718
|
61 |
elsif (m,$USER_HOME/.isabelle/contrib/(.*)\$,) { print qq{contrib/\$1}; }
|
wenzelm@54718
|
62 |
else { print; };
|
wenzelm@54718
|
63 |
print qq{\n};")
|
wenzelm@54718
|
64 |
DISTRIBITION_CLASSPATH["${#DISTRIBITION_CLASSPATH[@]}"]="$ENTRY"
|
wenzelm@54718
|
65 |
done
|
wenzelm@54718
|
66 |
|
wenzelm@54718
|
67 |
DISTRIBITION_CLASSPATH["${#DISTRIBITION_CLASSPATH[@]}"]="src/Tools/jEdit/dist/jedit.jar"
|
wenzelm@54718
|
68 |
|
wenzelm@54718
|
69 |
echo "classpath"
|
wenzelm@54718
|
70 |
for ENTRY in "${DISTRIBITION_CLASSPATH[@]}"
|
wenzelm@54718
|
71 |
do
|
wenzelm@54718
|
72 |
echo " $ENTRY"
|
wenzelm@54718
|
73 |
done
|
wenzelm@54718
|
74 |
|
wenzelm@54718
|
75 |
|
wenzelm@51805
|
76 |
# bundled components
|
wenzelm@33923
|
77 |
|
wenzelm@54622
|
78 |
init_component "$JEDIT_HOME"
|
wenzelm@54622
|
79 |
|
wenzelm@51805
|
80 |
mkdir -p "$ARCHIVE_DIR/contrib"
|
wenzelm@51805
|
81 |
|
wenzelm@51805
|
82 |
echo "#bundled components" >> "$ISABELLE_TARGET/etc/components"
|
wenzelm@51805
|
83 |
|
wenzelm@51827
|
84 |
for CATALOG in main "$PLATFORM_FAMILY" bundled "bundled-$PLATFORM_FAMILY"
|
wenzelm@33923
|
85 |
do
|
wenzelm@51805
|
86 |
CATALOG_FILE="$ISABELLE_HOME/Admin/components/$CATALOG"
|
wenzelm@51805
|
87 |
if [ -f "$CATALOG_FILE" ]
|
wenzelm@51805
|
88 |
then
|
wenzelm@51805
|
89 |
echo "catalog ${CATALOG}"
|
wenzelm@51805
|
90 |
{
|
wenzelm@51805
|
91 |
while { unset REPLY; read -r; test "$?" = 0 -o -n "$REPLY"; }
|
wenzelm@51805
|
92 |
do
|
wenzelm@51805
|
93 |
case "$REPLY" in
|
wenzelm@51805
|
94 |
\#* | "") ;;
|
wenzelm@51805
|
95 |
*)
|
wenzelm@51805
|
96 |
COMPONENT="$REPLY"
|
wenzelm@51906
|
97 |
COMPONENT_DIR="$ISABELLE_TARGET/contrib/$COMPONENT"
|
wenzelm@51805
|
98 |
case "$COMPONENT" in
|
wenzelm@51805
|
99 |
jedit_build*) ;;
|
wenzelm@51805
|
100 |
*)
|
wenzelm@51805
|
101 |
echo " component $COMPONENT"
|
wenzelm@51805
|
102 |
CONTRIB="$ARCHIVE_DIR/contrib/${COMPONENT}.tar.gz"
|
wenzelm@51805
|
103 |
if [ ! -f "$CONTRIB" ]; then
|
wenzelm@51805
|
104 |
REMOTE="$ISABELLE_COMPONENT_REPOSITORY/${COMPONENT}.tar.gz"
|
wenzelm@51805
|
105 |
echo " download $REMOTE"
|
wenzelm@51805
|
106 |
perl -MLWP::Simple -e "getprint '$REMOTE';" > "$CONTRIB"
|
wenzelm@51805
|
107 |
perl -e "exit((stat('${CONTRIB}'))[7] == 0 ? 0 : 1);" && exit 2
|
wenzelm@51805
|
108 |
fi
|
wenzelm@33923
|
109 |
|
wenzelm@54555
|
110 |
tar -C "$ISABELLE_TARGET/contrib" -x -z -f "$CONTRIB" || exit 2
|
wenzelm@51906
|
111 |
if [ -f "$COMPONENT_DIR/etc/settings" -o -f "$COMPONENT_DIR/etc/components" ]
|
wenzelm@51906
|
112 |
then
|
wenzelm@54555
|
113 |
case "$COMPONENT" in
|
wenzelm@54555
|
114 |
jdk-*)
|
wenzelm@54555
|
115 |
mv "$ISABELLE_TARGET/contrib/$COMPONENT" "$ISABELLE_TARGET/contrib/jdk"
|
wenzelm@54555
|
116 |
echo "contrib/jdk" >> "$ISABELLE_TARGET/etc/components"
|
wenzelm@54555
|
117 |
;;
|
wenzelm@54555
|
118 |
*)
|
wenzelm@54555
|
119 |
echo "contrib/$COMPONENT" >> "$ISABELLE_TARGET/etc/components"
|
wenzelm@54555
|
120 |
;;
|
wenzelm@54555
|
121 |
esac
|
wenzelm@51906
|
122 |
fi
|
wenzelm@51805
|
123 |
;;
|
wenzelm@51805
|
124 |
esac
|
wenzelm@51805
|
125 |
;;
|
wenzelm@51805
|
126 |
esac
|
wenzelm@51805
|
127 |
done
|
wenzelm@51805
|
128 |
} < "$CATALOG_FILE"
|
wenzelm@33923
|
129 |
fi
|
wenzelm@33923
|
130 |
done
|
wenzelm@33923
|
131 |
|
wenzelm@48613
|
132 |
|
wenzelm@53638
|
133 |
# purge other platforms
|
wenzelm@53638
|
134 |
|
wenzelm@53638
|
135 |
function purge_contrib
|
wenzelm@53638
|
136 |
{
|
wenzelm@53638
|
137 |
(
|
wenzelm@53638
|
138 |
cd "$ISABELLE_TARGET"
|
wenzelm@53638
|
139 |
for DIR in $(eval find contrib "$@" | sort)
|
wenzelm@53638
|
140 |
do
|
wenzelm@53638
|
141 |
echo "removing $DIR"
|
wenzelm@53638
|
142 |
rm -rf "$DIR"
|
wenzelm@53638
|
143 |
done
|
wenzelm@53638
|
144 |
)
|
wenzelm@53638
|
145 |
}
|
wenzelm@53638
|
146 |
|
wenzelm@53638
|
147 |
|
wenzelm@54620
|
148 |
# platform-specific setup (inside archive)
|
wenzelm@48728
|
149 |
|
wenzelm@55310
|
150 |
perl -pi -e "s,view.title=Isabelle/jEdit,view.title=${ISABELLE_NAME},g;" \
|
wenzelm@55310
|
151 |
"$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props"
|
wenzelm@55310
|
152 |
|
wenzelm@51805
|
153 |
case "$PLATFORM_FAMILY" in
|
wenzelm@51805
|
154 |
linux)
|
wenzelm@53638
|
155 |
purge_contrib '-name "x86*-darwin" -o -name "x86*-cygwin" -o -name "x86*-windows"'
|
wenzelm@54718
|
156 |
|
wenzelm@54718
|
157 |
LINUX_CLASSPATH=""
|
wenzelm@54718
|
158 |
for ENTRY in "${DISTRIBITION_CLASSPATH[@]}"
|
wenzelm@54718
|
159 |
do
|
wenzelm@54718
|
160 |
if [ -z "$LINUX_CLASSPATH" ]; then
|
wenzelm@54718
|
161 |
LINUX_CLASSPATH="\\\$ISABELLE_HOME/$ENTRY"
|
wenzelm@54718
|
162 |
else
|
wenzelm@54718
|
163 |
LINUX_CLASSPATH="$LINUX_CLASSPATH:\\\$ISABELLE_HOME/$ENTRY"
|
wenzelm@54718
|
164 |
fi
|
wenzelm@54718
|
165 |
done
|
wenzelm@55203
|
166 |
cat "$ISABELLE_HOME/Admin/Linux/Isabelle.run" | \
|
wenzelm@55203
|
167 |
perl -p > "$ISABELLE_TARGET/${ISABELLE_NAME}.run" \
|
wenzelm@54718
|
168 |
-e "s,{JAVA_ARGS},$JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS,g; s,{CLASSPATH},$LINUX_CLASSPATH,;"
|
wenzelm@55203
|
169 |
chmod +x "$ISABELLE_TARGET/${ISABELLE_NAME}.run"
|
wenzelm@55203
|
170 |
|
wenzelm@55203
|
171 |
mv "$ISABELLE_TARGET/contrib/linux_app" "$TMP/."
|
wenzelm@55203
|
172 |
cp "$TMP/linux_app/Isabelle" "$ISABELLE_TARGET/$ISABELLE_NAME"
|
wenzelm@45822
|
173 |
;;
|
wenzelm@51805
|
174 |
macos)
|
wenzelm@53638
|
175 |
purge_contrib '-name "x86*-linux" -o -name "x86*-cygwin" -o -name "x86*-windows"'
|
wenzelm@53814
|
176 |
mv "$ISABELLE_TARGET/contrib/macos_app" "$TMP/."
|
wenzelm@51813
|
177 |
|
wenzelm@55020
|
178 |
perl -pi \
|
wenzelm@55073
|
179 |
-e 's,\Qaction-bar.shortcut=C+ENTER\E,action-bar.shortcut=\naction-bar.shortcut2=C+ENTER,g;' \
|
wenzelm@55020
|
180 |
-e "s,lookAndFeel=.*,lookAndFeel=com.apple.laf.AquaLookAndFeel,g;" \
|
wenzelm@45835
|
181 |
-e "s,delete-line.shortcut=.*,delete-line.shortcut=C+d,g;" \
|
wenzelm@45835
|
182 |
-e "s,delete.shortcut2=.*,delete.shortcut2=A+d,g;" \
|
wenzelm@55020
|
183 |
-e "s,plugin-blacklist.MacOSX.jar=true,plugin-blacklist.MacOSX.jar=,g;" \
|
wenzelm@54600
|
184 |
"$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props"
|
wenzelm@45688
|
185 |
;;
|
wenzelm@51805
|
186 |
windows)
|
wenzelm@53638
|
187 |
purge_contrib '-name "x86*-linux" -o -name "x86*-darwin"'
|
wenzelm@53814
|
188 |
mv "$ISABELLE_TARGET/contrib/windows_app" "$TMP/."
|
wenzelm@51805
|
189 |
|
wenzelm@45688
|
190 |
perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.sun.java.swing.plaf.windows.WindowsLookAndFeel,g;" \
|
wenzelm@54600
|
191 |
"$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props"
|
wenzelm@51805
|
192 |
|
wenzelm@54621
|
193 |
(
|
wenzelm@54621
|
194 |
cat "$ISABELLE_HOME/Admin/Windows/WinRun4J/Isabelle.ini"
|
wenzelm@54718
|
195 |
|
wenzelm@54621
|
196 |
declare -a JAVA_ARGS=()
|
wenzelm@54621
|
197 |
eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS)"
|
wenzelm@54621
|
198 |
A=2
|
wenzelm@54621
|
199 |
for ARG in "${JAVA_ARGS[@]}"
|
wenzelm@54621
|
200 |
do
|
wenzelm@54621
|
201 |
echo -e "vmarg.$A=$ARG\r"
|
wenzelm@54621
|
202 |
A=$[ $A + 1 ]
|
wenzelm@54621
|
203 |
done
|
wenzelm@54718
|
204 |
|
wenzelm@54718
|
205 |
A=1
|
wenzelm@54718
|
206 |
for ENTRY in "${DISTRIBITION_CLASSPATH[@]}"
|
wenzelm@54718
|
207 |
do
|
wenzelm@54718
|
208 |
ENTRY=$(echo "$ENTRY" | perl -p -e 's,/,\\\\,g;')
|
wenzelm@54718
|
209 |
echo -e "classpath.$A=$ENTRY\r"
|
wenzelm@54718
|
210 |
A=$[ $A + 1 ]
|
wenzelm@54718
|
211 |
done
|
wenzelm@54621
|
212 |
) > "$ISABELLE_TARGET/${ISABELLE_NAME}.ini"
|
wenzelm@54621
|
213 |
|
wenzelm@53807
|
214 |
cp "$TMP/windows_app/Isabelle.exe" "$ISABELLE_TARGET/${ISABELLE_NAME}.exe"
|
wenzelm@54610
|
215 |
cp "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \
|
wenzelm@51976
|
216 |
"$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat" \
|
wenzelm@51825
|
217 |
"$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Terminal.bat" "$ISABELLE_TARGET"
|
wenzelm@51805
|
218 |
|
wenzelm@53638
|
219 |
(
|
wenzelm@53638
|
220 |
cd "$ISABELLE_TARGET"
|
wenzelm@53638
|
221 |
|
wenzelm@53807
|
222 |
for NAME in postinstall rebaseall
|
wenzelm@53638
|
223 |
do
|
wenzelm@53638
|
224 |
cp -a "$ISABELLE_HOME/Admin/Windows/Cygwin/isabelle/$NAME" \
|
wenzelm@53638
|
225 |
"contrib/cygwin/isabelle/."
|
wenzelm@53638
|
226 |
done
|
wenzelm@53638
|
227 |
|
wenzelm@53698
|
228 |
find . -type f -not -name '*.exe' -not -name '*.dll' -perm +100 \
|
wenzelm@53698
|
229 |
-print0 > "contrib/cygwin/isabelle/executables"
|
wenzelm@53638
|
230 |
|
wenzelm@53805
|
231 |
find . -type l -exec echo "{}" ";" -exec readlink "{}" ";" \
|
wenzelm@53805
|
232 |
> "contrib/cygwin/isabelle/symlinks"
|
wenzelm@54558
|
233 |
|
wenzelm@54558
|
234 |
touch "contrib/cygwin/isabelle/uninitialized"
|
wenzelm@53638
|
235 |
)
|
wenzelm@51907
|
236 |
|
wenzelm@51907
|
237 |
perl -pi -e "s,/bin/rebaseall.*,/isabelle/rebaseall,g;" \
|
wenzelm@51907
|
238 |
"$ISABELLE_TARGET/contrib/cygwin/etc/postinstall/autorebase.bat.done"
|
wenzelm@51907
|
239 |
|
wenzelm@41875
|
240 |
;;
|
wenzelm@41875
|
241 |
*)
|
wenzelm@41875
|
242 |
;;
|
wenzelm@41875
|
243 |
esac
|
wenzelm@41860
|
244 |
|
wenzelm@51813
|
245 |
|
wenzelm@51813
|
246 |
# archive
|
wenzelm@51813
|
247 |
|
wenzelm@51813
|
248 |
BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_${PLATFORM_FAMILY}.tar.gz"
|
wenzelm@37333
|
249 |
|
wenzelm@51805
|
250 |
echo "packaging $(basename "$BUNDLE_ARCHIVE")"
|
wenzelm@51914
|
251 |
tar -C "$TMP" -c -z -f "$BUNDLE_ARCHIVE" "$ISABELLE_NAME" || exit 2
|
wenzelm@33923
|
252 |
|
wenzelm@53807
|
253 |
|
wenzelm@54620
|
254 |
# platform-specific setup (outside archive)
|
wenzelm@53807
|
255 |
|
wenzelm@53814
|
256 |
if [ "$ISABELLE_PLATFORM_FAMILY" = linux -a "$PLATFORM_FAMILY" != macos -o "$ISABELLE_PLATFORM_FAMILY" = macos ]
|
wenzelm@53805
|
257 |
then
|
wenzelm@53814
|
258 |
case "$PLATFORM_FAMILY" in
|
wenzelm@53814
|
259 |
macos)
|
wenzelm@53807
|
260 |
echo "application for $PLATFORM_FAMILY"
|
wenzelm@53807
|
261 |
(
|
wenzelm@53814
|
262 |
cd "$TMP"
|
wenzelm@53814
|
263 |
|
wenzelm@55765
|
264 |
APP_TEMPLATE="$ISABELLE_HOME/Admin/MacOS"
|
wenzelm@53814
|
265 |
APP="${ISABELLE_NAME}.app"
|
wenzelm@53814
|
266 |
|
wenzelm@53814
|
267 |
for NAME in Java MacOS PlugIns Resources
|
wenzelm@53814
|
268 |
do
|
wenzelm@53814
|
269 |
mkdir -p "$APP/Contents/$NAME"
|
wenzelm@53814
|
270 |
done
|
wenzelm@53814
|
271 |
|
wenzelm@54625
|
272 |
(
|
wenzelm@54625
|
273 |
cat "$APP_TEMPLATE/Info.plist-part1"
|
wenzelm@54625
|
274 |
|
wenzelm@54625
|
275 |
declare -a OPTIONS=()
|
wenzelm@54625
|
276 |
eval "OPTIONS=($ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS)"
|
wenzelm@54625
|
277 |
for OPT in "${OPTIONS[@]}"
|
wenzelm@54625
|
278 |
do
|
wenzelm@54625
|
279 |
echo "<string>$OPT</string>"
|
wenzelm@54625
|
280 |
done
|
wenzelm@54626
|
281 |
echo "<string>-Dapple.awt.application.name={ISABELLE_NAME}</string>"
|
wenzelm@54625
|
282 |
|
wenzelm@54625
|
283 |
cat "$APP_TEMPLATE/Info.plist-part2"
|
wenzelm@54625
|
284 |
) | perl -p -e "s,{ISABELLE_NAME},${ISABELLE_NAME},g;" > "$APP/Contents/Info.plist"
|
wenzelm@53814
|
285 |
|
wenzelm@54718
|
286 |
for ENTRY in "${DISTRIBITION_CLASSPATH[@]}"
|
wenzelm@53814
|
287 |
do
|
wenzelm@54718
|
288 |
ln -sf "../Resources/${ISABELLE_NAME}/$ENTRY" "$APP/Contents/Java"
|
wenzelm@53814
|
289 |
done
|
wenzelm@53814
|
290 |
|
wenzelm@53814
|
291 |
cp -R "$APP_TEMPLATE/Resources/." "$APP/Contents/Resources/."
|
wenzelm@53814
|
292 |
|
wenzelm@54555
|
293 |
ln -sf "../Resources/${ISABELLE_NAME}/contrib/jdk/x86_64-darwin" \
|
wenzelm@53814
|
294 |
"$APP/Contents/PlugIns/jdk"
|
wenzelm@53814
|
295 |
|
wenzelm@53814
|
296 |
cp macos_app/JavaAppLauncher "$APP/Contents/MacOS/." && \
|
wenzelm@53814
|
297 |
chmod +x "$APP/Contents/MacOS/JavaAppLauncher"
|
wenzelm@53814
|
298 |
|
wenzelm@53814
|
299 |
mv "$ISABELLE_NAME" "$APP/Contents/Resources/."
|
wenzelm@53814
|
300 |
ln -sf "Contents/Resources/$ISABELLE_NAME" "$APP/Isabelle"
|
wenzelm@53814
|
301 |
|
wenzelm@53815
|
302 |
rm -f "${ARCHIVE_DIR}/${ISABELLE_NAME}.dmg"
|
wenzelm@53814
|
303 |
hdiutil create -srcfolder "$APP" "${ARCHIVE_DIR}/${ISABELLE_NAME}.dmg"
|
wenzelm@53814
|
304 |
)
|
wenzelm@53814
|
305 |
;;
|
wenzelm@53814
|
306 |
windows)
|
wenzelm@53814
|
307 |
(
|
wenzelm@53814
|
308 |
cd "$TMP"
|
wenzelm@53814
|
309 |
rm -f "${ARCHIVE_DIR}/${ISABELLE_NAME}.7z"
|
wenzelm@53814
|
310 |
7z -y -bd a "$TMP/${ISABELLE_NAME}.7z" "$ISABELLE_NAME" || exit 2
|
wenzelm@53814
|
311 |
|
wenzelm@53814
|
312 |
echo "application for $PLATFORM_FAMILY"
|
wenzelm@53814
|
313 |
(
|
wenzelm@53814
|
314 |
cat "windows_app/7zsd_All.sfx"
|
wenzelm@53814
|
315 |
cat "$ISABELLE_HOME/Admin/Windows/Installer/sfx.txt" | \
|
wenzelm@53814
|
316 |
perl -p -e "s,{ISABELLE_NAME},${ISABELLE_NAME},g;"
|
wenzelm@53814
|
317 |
cat "$TMP/${ISABELLE_NAME}.7z"
|
wenzelm@53814
|
318 |
) > "${ARCHIVE_DIR}/${ISABELLE_NAME}.exe"
|
wenzelm@53814
|
319 |
chmod +x "${ARCHIVE_DIR}/${ISABELLE_NAME}.exe"
|
wenzelm@53814
|
320 |
)
|
wenzelm@53814
|
321 |
;;
|
wenzelm@53814
|
322 |
*)
|
wenzelm@53814
|
323 |
;;
|
wenzelm@53814
|
324 |
esac
|
wenzelm@53814
|
325 |
else
|
wenzelm@53814
|
326 |
echo "### Cannot build application for $PLATFORM_FAMILY on $ISABELLE_PLATFORM_FAMILY"
|
wenzelm@53805
|
327 |
fi
|
wenzelm@33923
|
328 |
|
wenzelm@53814
|
329 |
|
wenzelm@33923
|
330 |
# clean up
|
wenzelm@33923
|
331 |
rm -rf "$TMP"
|