lib/Tools/java
author nipkow
Wed, 13 Aug 2025 09:34:57 +0200
changeset 83004 304519f22c2c
parent 76343 6a6f650cc5a2
permissions -rwxr-xr-x
prefer existing proof in Abstract_Topological_Spaces

#!/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"; export CLASSPATH=""

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