On Mon, 26 Mar 2012, Makarius wrote:
In practice, it means that people hooked in the repository version of
Isabelle/Scala and jEdit need to have JAVA_HOME or ISABELLE_JDK_HOME set
explicitly! I think Mac OS X does that by default, but probably not Linux
nor Windows.
In fact, the Mac OS X default is merely an accident of my own settings.
In general, Mac users can put the following into their etc/settings:
ISABELLE_JDK_HOME="$(/usr/libexec/java_home -v 1.6)"
This is only relevant for the repository version -- the official
distribution will do it again via bundled components.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
