lib/Tools/java
author wenzelm
Wed Nov 07 21:42:16 2018 +0100 (9 months ago)
changeset 69255 800b1ce96fce
parent 69126 e1b4b14ded58
permissions -rwxr-xr-x
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
     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")" "$@"