equal
deleted
inserted
replaced
9 } |
9 } |
10 |
10 |
11 |
11 |
12 ## parameters |
12 ## parameters |
13 |
13 |
14 VERSION="7u67" |
14 VERSION="7u72" |
15 FULL_VERSION="1.7.0_67" |
15 FULL_VERSION="1.7.0_72" |
16 |
16 |
17 ARCHIVE_LINUX32="jdk-${VERSION}-linux-i586.tar.gz" |
17 ARCHIVE_LINUX32="jdk-${VERSION}-linux-i586.tar.gz" |
18 ARCHIVE_LINUX64="jdk-${VERSION}-linux-x64.tar.gz" |
18 ARCHIVE_LINUX64="jdk-${VERSION}-linux-x64.tar.gz" |
19 ARCHIVE_DARWIN="jdk${FULL_VERSION}.jdk.tar.gz" |
19 ARCHIVE_DARWIN="jdk${FULL_VERSION}.jdk.tar.gz" |
20 ARCHIVE_WINDOWS="jdk${FULL_VERSION}.tar.gz" |
20 ARCHIVE_WINDOWS="jdk${FULL_VERSION}.tar.gz" |
27 |
27 |
28 |
28 |
29 # README |
29 # README |
30 |
30 |
31 cat >> "$DIR/README" << EOF |
31 cat >> "$DIR/README" << EOF |
32 This is JDK $FULL_VERSION as required for Isabelle. |
32 This is JDK/JRE $FULL_VERSION as required for Isabelle. |
33 |
33 |
34 See http://www.oracle.com/technetwork/java/javase/downloads/index.html |
34 See http://www.oracle.com/technetwork/java/javase/downloads/index.html |
35 for the original downloads, which are covered by the Oracle Binary |
35 for the original downloads, which are covered by the Oracle Binary |
36 Code License Agreement for Java SE. |
36 Code License Agreement for Java SE. |
37 |
37 |