lib/Tools/java
author wenzelm
Sat Nov 04 15:24:40 2017 +0100 (19 months ago)
changeset 67003 49850a679c2c
parent 66906 03a96b8c7c06
child 67490 982f0bf34804
permissions -rwxr-xr-x
more robust sorted_entries;
     1 #!/usr/bin/env bash
     2 #
     3 # Author: Makarius
     4 #
     5 # DESCRIPTION: invoke Java within the Isabelle environment
     6 
     7 eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
     8 
     9 [ -n "$CLASSPATH" ] && classpath "$CLASSPATH"
    10 unset CLASSPATH
    11 
    12 isabelle_java java "${JAVA_ARGS[@]}" \
    13   -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"