#
fca66223 |
|
23-Jan-2018 |
wenzelm <none@none> |
more robust java.ext.dirs: avoid picking up accidental jars from system directories;
|
#
9eca96a0 |
|
30-Sep-2015 |
wenzelm <none@none> |
renamed jvmpath to platform_path;
|
#
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;
|
#
2979783f |
|
25-Jun-2013 |
wenzelm <none@none> |
more formal isabelle_admin_build; tuned;
|
#
d1df6e98 |
|
23-Aug-2012 |
wenzelm <none@none> |
simplified JVM startup, based on stronger assumptions about the Java version provided as Isabelle component;
|
#
84dd0b5b |
|
25-Apr-2012 |
wenzelm <none@none> |
enforce our JAVA_HOME to avoid potential conflicts with other Java installations by the user;
|
#
3c05e06c |
|
12-Apr-2012 |
wenzelm <none@none> |
direct scala toplevel tools to ISABELLE_JDK_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);
|
#
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
|
#
ed6c1604 |
|
17-Sep-2011 |
wenzelm <none@none> |
added "isabelle scalac" convenience;
|