lib/Tools/java
author blanchet
Thu Sep 04 11:20:59 2014 +0200 (2014-09-04)
changeset 58182 82478e6c60cb
parent 53584 1f3815703436
child 58791 00916b0dd596
permissions -rwxr-xr-x
tweaked setup for datatype realizer
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@53576
     7
declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
wenzelm@53346
     8
wenzelm@53584
     9
[ -n "$CLASSPATH" ] && classpath "$CLASSPATH"
wenzelm@53584
    10
unset CLASSPATH
wenzelm@53584
    11
wenzelm@53346
    12
isabelle_jdk java "${JAVA_ARGS[@]}" \
wenzelm@53576
    13
  -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@"
wenzelm@41380
    14