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.
discontinued hard-wired JAVA_HOME treatment for Mac OS X (cf. f471a2fb9a95), which can cause confusions of "isabelle java" vs. "isabelle scala" -- moved settings to external component;
authorwenzelm
Sun, 18 Sep 2011 12:48:45 +0200
changeset 44961 5b8d39b1360e
parent 44960 640c2b957f16
child 44962 5554ed48b13f
discontinued hard-wired JAVA_HOME treatment for Mac OS X (cf. f471a2fb9a95), which can cause confusions of "isabelle java" vs. "isabelle scala" -- moved settings to external component;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Sun Sep 18 00:05:22 2011 +0200
+++ b/etc/settings	Sun Sep 18 12:48:45 2011 +0200
@@ -56,8 +56,6 @@
 
 if [ -n "$JAVA_HOME" ]; then
   ISABELLE_JAVA="$JAVA_HOME/bin/java"
-elif [ -x /usr/libexec/java_home ]; then
-  ISABELLE_JAVA="$(/usr/libexec/java_home -v 1.6)"/bin/java
 else
   ISABELLE_JAVA="java"
 fi
isabelle