lib/Tools/java
author wenzelm
Wed, 11 May 2022 10:42:24 +0200
changeset 75454 295e1c9d2994
parent 74038 b4f57bfe82e7
permissions -rwxr-xr-x
tuned signature;

#!/usr/bin/env bash
#
# Author: Makarius
#
# DESCRIPTION: invoke Java within the Isabelle environment

eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"

classpath "$ISABELLE_SETUP_CLASSPATH"; unset ISABELLE_SETUP_CLASSPATH
classpath "$CLASSPATH"; unset CLASSPATH

isabelle_java java "${JAVA_ARGS[@]}" \
  -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"