lib/Tools/java
author wenzelm
Thu Apr 24 00:29:55 2014 +0200 (2014-04-24)
changeset 56686 2386d1a3ca8f
parent 53584 1f3815703436
child 58791 00916b0dd596
permissions -rwxr-xr-x
canonical list operations, as in ML;
avoid odd mutable data structures;
     1 #!/usr/bin/env bash
     2 #
     3 # Author: Makarius
     4 #
     5 # DESCRIPTION: invoke Java within the Isabelle environment
     6 
     7 declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
     8 
     9 [ -n "$CLASSPATH" ] && classpath "$CLASSPATH"
    10 unset CLASSPATH
    11 
    12 isabelle_jdk java "${JAVA_ARGS[@]}" \
    13   -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@"
    14