lib/Tools/java
author nipkow
Fri, 08 Aug 2014 08:26:32 +0200
changeset 57817 dfebc374bd89
parent 53584 1f3815703436
child 58791 00916b0dd596
permissions -rwxr-xr-x
tuned
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
27914
9a7f17370ffb refined scala/java wrappers via isatool;
wenzelm
parents:
diff changeset
     1
#!/usr/bin/env bash
9a7f17370ffb refined scala/java wrappers via isatool;
wenzelm
parents:
diff changeset
     2
#
9a7f17370ffb refined scala/java wrappers via isatool;
wenzelm
parents:
diff changeset
     3
# Author: Makarius
9a7f17370ffb refined scala/java wrappers via isatool;
wenzelm
parents:
diff changeset
     4
#
27916
09b3010ffaf2 removed unused usage;
wenzelm
parents: 27914
diff changeset
     5
# DESCRIPTION: invoke Java within the Isabelle environment
27914
9a7f17370ffb refined scala/java wrappers via isatool;
wenzelm
parents:
diff changeset
     6
53576
793a429c63e7 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);
wenzelm
parents: 53346
diff changeset
     7
declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
53346
26c795734b3c provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings;
wenzelm
parents: 48915
diff changeset
     8
53584
1f3815703436 absorb final CLASSPATH as well, such that tools might provide that by elementary means, without the "classpath" shell function (e.g. kodkodi/nitpick);
wenzelm
parents: 53576
diff changeset
     9
[ -n "$CLASSPATH" ] && classpath "$CLASSPATH"
1f3815703436 absorb final CLASSPATH as well, such that tools might provide that by elementary means, without the "classpath" shell function (e.g. kodkodi/nitpick);
wenzelm
parents: 53576
diff changeset
    10
unset CLASSPATH
1f3815703436 absorb final CLASSPATH as well, such that tools might provide that by elementary means, without the "classpath" shell function (e.g. kodkodi/nitpick);
wenzelm
parents: 53576
diff changeset
    11
53346
26c795734b3c provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings;
wenzelm
parents: 48915
diff changeset
    12
isabelle_jdk java "${JAVA_ARGS[@]}" \
53576
793a429c63e7 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);
wenzelm
parents: 53346
diff changeset
    13
  -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@"
41380
92237dee0f29 isabelle java: prefer -server here;
wenzelm
parents: 36238
diff changeset
    14