#
fca66223 |
|
23-Jan-2018 |
wenzelm <none@none> |
more robust java.ext.dirs: avoid picking up accidental jars from system directories;
|
#
ab5293cf |
|
23-Oct-2017 |
wenzelm <none@none> |
updated to jdk-8u152, which is for x86_64 only;
|
#
9eca96a0 |
|
30-Sep-2015 |
wenzelm <none@none> |
renamed jvmpath to platform_path;
|
#
8441abca |
|
27-Oct-2014 |
wenzelm <none@none> |
clarified ISABELLE_JDK_HOME vs. JAVA_HOME;
|
#
ee351e9c |
|
12-Sep-2013 |
wenzelm <none@none> |
absorb final CLASSPATH as well, such that tools might provide that by elementary means, without the "classpath" shell function (e.g. kodkodi/nitpick);
|
#
0f573523 |
|
12-Sep-2013 |
wenzelm <none@none> |
maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources); ignore $ISABELLE_JAVA_EXT -- do not change java.ext.dirs;
|
#
94d139a3 |
|
31-Aug-2013 |
wenzelm <none@none> |
provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings;
|
#
d1df6e98 |
|
23-Aug-2012 |
wenzelm <none@none> |
simplified JVM startup, based on stronger assumptions about the Java version provided as Isabelle component;
|
#
b11168d9 |
|
14-Apr-2012 |
wenzelm <none@none> |
more robust invocation via ISABELLE_JDK_HOME and SCALA_HOME;
|
#
04f189e1 |
|
26-Mar-2012 |
wenzelm <none@none> |
more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
|
#
56f1afda |
|
24-Mar-2012 |
wenzelm <none@none> |
ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE); update for prospective jdk1.7.x component;
|
#
6168a9c2 |
|
07-Nov-2011 |
wenzelm <none@none> |
offline build of java_ext_dirs.jar, to avoid runtime dependency on javac/jar executables; --HG-- rename : src/Pure/System/Java_Ext_Dirs.java => src/Tools/JVM/Java_Ext_Dirs.java rename : lib/scripts/java_ext_dirs => src/Tools/JVM/java_ext_dirs
|
#
a99f0d6f |
|
04-Oct-2011 |
wenzelm <none@none> |
more explicit check of Java executable -- relevant for Linux x86/x86_64 mismatch and absence on Mac OS Lion;
|
#
1014fd11 |
|
23-Jun-2011 |
wenzelm <none@none> |
provide Isabelle/Scala environment as Java extension, instead of user classpath (which is subject to adhoc changes);
|
#
329b8f6f |
|
21-Jan-2011 |
wenzelm <none@none> |
java/scala: default to UTF-8;
|
#
474de9f3 |
|
22-Dec-2010 |
wenzelm <none@none> |
isabelle java: prefer -server here;
|
#
22fdbe78 |
|
20-Apr-2010 |
wenzelm <none@none> |
recovered isabelle java, which was broken in ebfa4bb0d50f;
|
#
9024e25d |
|
20-Apr-2010 |
wenzelm <none@none> |
refer to THIS_JAVA dynamically, and treat ISABELLE_JAVA as static default -- relevant for nested JVM invocation within an existing Isabelle enviroment;
|
#
a476a5a2 |
|
20-Dec-2008 |
wenzelm <none@none> |
removed Ids;
|
#
01caee1c |
|
16-Aug-2008 |
wenzelm <none@none> |
removed unused usage;
|
#
4a0bc23c |
|
16-Aug-2008 |
wenzelm <none@none> |
refined scala/java wrappers via isatool;
|