Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated to jdk-8u11 (inactive);
authorwenzelm
Sun, 20 Jul 2014 20:00:53 +0200
changeset 57583 a52e06f11e41
parent 57582 b79b75f92604
child 57584 155b7e3b729e
updated to jdk-8u11 (inactive);
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/java/build file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Sun Jul 20 19:36:46 2014 +0200
+++ b/Admin/components/components.sha1	Sun Jul 20 20:00:53 2014 +0200
@@ -28,6 +28,7 @@
 71b629b2ce83dbb69967c4785530afce1bec3809  jdk-7u60.tar.gz
 ec740ee9ffd43551ddf1e5b91641405116af6291  jdk-7u6.tar.gz
 7d5b152ac70f720bb9e783fa45ecadcf95069584  jdk-7u9.tar.gz
+5442f1015a0657259be0590b04572cd933431df7  jdk-8u11.tar.gz
 c95ebf7777beb3e7ef10c0cf3f734cb78f9828e4  jdk-8u5.tar.gz
 44775a22f42a9d665696bfb49e53c79371c394b0  jedit_build-20111217.tar.gz
 a242a688810f2bccf24587b0062ce8027bf77fa2  jedit_build-20120304.tar.gz
--- a/Admin/java/build	Sun Jul 20 19:36:46 2014 +0200
+++ b/Admin/java/build	Sun Jul 20 20:00:53 2014 +0200
@@ -11,8 +11,8 @@
 
 ## parameters
 
-VERSION="7u60"
-FULL_VERSION="1.7.0_60"
+VERSION="8u11"
+FULL_VERSION="1.8.0_11"
 
 ARCHIVE_LINUX32="jdk-${VERSION}-linux-i586.tar.gz"
 ARCHIVE_LINUX64="jdk-${VERSION}-linux-x64.tar.gz"
@@ -48,7 +48,7 @@
 
 case "\${ISABELLE_PLATFORM64:-\$ISABELLE_PLATFORM32}" in
   x86-darwin)
-    echo "### Java 1.7 unavailable on 32bit Macintosh!" >&2
+    echo "### Java unavailable on 32bit Macintosh!" >&2
     ;;
   x86_64-darwin)
     ISABELLE_JDK_HOME="\$COMPONENT/\$ISABELLE_PLATFORM64/Contents/Home"
@@ -62,7 +62,7 @@
   if [ -d "\$ISABELLE_JDK_HOME" ]; then
     ISABELLE_JAVA_EXT="\${ISABELLE_JDK_HOME}/jre/lib/ext"
   else
-    echo "### Missing Java 1.7 platform directory: \"\$ISABELLE_JDK_HOME\"" >&2
+    echo "### Missing Java platform directory: \"\$ISABELLE_JDK_HOME\"" >&2
     unset ISABELLE_JDK_HOME
   fi
 fi
isabelle