author | wenzelm |
Mon, 26 Nov 2012 10:37:05 +0100 | |
changeset 50210 | 747db833fbf7 |
parent 48825 | 3a9721d4ccae |
child 50294 | dceb1daa185c |
permissions | -rwxr-xr-x |
47970
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
1 |
#!/usr/bin/env bash |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
2 |
|
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
3 |
## diagnostics |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
4 |
|
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
5 |
function fail() |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
6 |
{ |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
7 |
echo "$1" >&2 |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
8 |
exit 2 |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
9 |
} |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
10 |
|
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
11 |
|
48825 | 12 |
## parameters |
47970
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
13 |
|
48825 | 14 |
ARCHIVE_LINUX32="jdk-7u6-linux-i586.tar.gz" |
15 |
ARCHIVE_LINUX64="jdk-7u6-linux-x64.tar.gz" |
|
16 |
ARCHIVE_DARWIN="jdk1.7.0_06.jdk.tar.gz" |
|
17 |
ARCHIVE_WINDOWS="jdk1.7.0_06.tar.gz" |
|
47970
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
18 |
|
48825 | 19 |
VERSION="7u6" |
20 |
||
21 |
||
22 |
## variations on version |
|
47970
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
23 |
|
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
24 |
case "$VERSION" in |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
25 |
*u?) |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
26 |
MAJOR="$(echo "$VERSION" | cut -du -f1)" |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
27 |
MINOR="0$(echo "$VERSION" | cut -du -f2)" |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
28 |
;; |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
29 |
*u??) |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
30 |
MAJOR="$(echo "$VERSION" | cut -du -f1)" |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
31 |
MINOR="$(echo "$VERSION" | cut -du -f2)" |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
32 |
;; |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
33 |
*) |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
34 |
fail "Bad version identifier: \"$VERSION\"" |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
35 |
;; |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
36 |
esac |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
37 |
|
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
38 |
FULL_VERSION="1.${MAJOR}.0_${MINOR}" |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
39 |
|
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
40 |
|
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
41 |
## main |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
42 |
|
48825 | 43 |
DIR="jdk-${VERSION}" |
47970
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
44 |
mkdir "$DIR" || fail "Cannot create fresh directory: \"$DIR\"" |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
45 |
|
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
46 |
|
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
47 |
# README |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
48 |
|
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
49 |
cat >> "$DIR/README" << EOF |
48825 | 50 |
This is JDK $FULL_VERSION for Linux, Mac OS X, Windows. |
47970
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
51 |
|
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
52 |
See http://www.oracle.com/technetwork/java/javase/downloads/index.html |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
53 |
for the original downloads, which are covered by the Oracle Binary |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
54 |
Code License Agreement for Java SE. |
48825 | 55 |
|
56 |
Note that Java 1.7 requires 64bit hardware on Mac OS X. |
|
47970
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
57 |
EOF |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
58 |
|
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
59 |
|
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
60 |
# settings |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
61 |
|
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
62 |
mkdir "$DIR/etc" |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
63 |
cat >> "$DIR/etc/settings" << EOF |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
64 |
# -*- shell-script -*- :mode=shellscript: |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
65 |
|
48825 | 66 |
case "\${ISABELLE_PLATFORM64:-\$ISABELLE_PLATFORM32}" in |
67 |
x86-darwin) |
|
68 |
echo "### Java 1.7 unavailable on 32bit Macintosh!" >&2 |
|
69 |
;; |
|
70 |
x86_64-darwin) |
|
71 |
ISABELLE_JDK_HOME="\$COMPONENT/\$ISABELLE_PLATFORM64/jdk${FULL_VERSION}.jdk/Contents/Home" |
|
72 |
;; |
|
73 |
*) |
|
74 |
ISABELLE_JDK_HOME="\$COMPONENT/\${ISABELLE_PLATFORM64:-\$ISABELLE_PLATFORM32}/jdk${FULL_VERSION}" |
|
75 |
;; |
|
76 |
esac |
|
77 |
||
78 |
if [ -n "\$ISABELLE_JDK_HOME" ]; then |
|
79 |
ISABELLE_JAVA_EXT="\${ISABELLE_JDK_HOME}/jre/lib/ext" |
|
80 |
fi |
|
47970
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
81 |
EOF |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
82 |
|
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
83 |
|
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
84 |
# content |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
85 |
|
48825 | 86 |
mkdir "$DIR/x86-linux" "$DIR/x86_64-linux" "$DIR/x86_64-darwin" "$DIR/x86-cygwin" |
47970
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
87 |
|
48825 | 88 |
tar -C "$DIR/x86-linux" -xf "$ARCHIVE_LINUX32" |
89 |
tar -C "$DIR/x86_64-linux" -xf "$ARCHIVE_LINUX64" |
|
90 |
tar -C "$DIR/x86_64-darwin" -xf "$ARCHIVE_DARWIN" |
|
91 |
tar -C "$DIR/x86-cygwin" -xf "$ARCHIVE_WINDOWS" |
|
92 |
||
93 |
chgrp -R isabelle "$DIR" |
|
94 |
chmod -R a+r "$DIR" |
|
95 |
chmod -R a+X "$DIR" |
|
47970
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
96 |
|
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
97 |
( |
48825 | 98 |
cd "$DIR/x86-linux/jdk${FULL_VERSION}" |
47970
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
99 |
for FILE in $(find . -type f) |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
100 |
do |
48825 | 101 |
for OTHER in \ |
102 |
"../../x86_64-linux/jdk${FULL_VERSION}/$FILE" \ |
|
103 |
"../../x86_64-darwin/jdk${FULL_VERSION}.jdk/Contents/Home/$FILE" \ |
|
104 |
"../../x86-cygwin/jdk${FULL_VERSION}/$FILE" |
|
105 |
do |
|
106 |
if cmp -s "$FILE" "$OTHER" |
|
107 |
then |
|
108 |
ln -f "$FILE" "$OTHER" |
|
109 |
fi |
|
110 |
done |
|
47970
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
111 |
done |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
112 |
) |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
113 |
|
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
114 |
|
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
115 |
# create archive |
257fc09aa8a1
build hybrid Isabelle component for JDK on x86-linux/x86_64-linux;
wenzelm
parents:
diff
changeset
|
116 |
|
48825 | 117 |
tar -cz -f "${DIR}.tar.gz" "$DIR" |