lib/Tools/java
author wenzelm
Thu Jun 23 16:10:22 2011 +0200 (2011-06-23)
changeset 43521 d477b92109b8
parent 41622 ad5474a8374b
child 45105 21c09b727bf3
permissions -rwxr-xr-x
provide Isabelle/Scala environment as Java extension, instead of user classpath
(which is subject to adhoc changes);
wenzelm@27914
     1
#!/usr/bin/env bash
wenzelm@27914
     2
#
wenzelm@27914
     3
# Author: Makarius
wenzelm@27914
     4
#
wenzelm@27916
     5
# DESCRIPTION: invoke Java within the Isabelle environment
wenzelm@27914
     6
wenzelm@27914
     7
CLASSPATH="$(jvmpath "$CLASSPATH")"
wenzelm@41380
     8
wenzelm@41380
     9
JAVA_EXE="${THIS_JAVA:-$ISABELLE_JAVA}"
wenzelm@43521
    10
wenzelm@43521
    11
if "$JAVA_EXE" -server >/dev/null 2>/dev/null; then
wenzelm@43521
    12
  SERVER="-server"
wenzelm@41380
    13
else
wenzelm@43521
    14
  SERVER=""
wenzelm@41380
    15
fi
wenzelm@41380
    16
wenzelm@43521
    17
exec "$JAVA_EXE" -Dfile.encoding=UTF-8 $SERVER \
wenzelm@43521
    18
  "-Djava.ext.dirs=$("$ISABELLE_HOME/lib/scripts/java_ext_dirs")" "$@"
wenzelm@43521
    19