wenzelm@27914: #!/usr/bin/env bash
wenzelm@27914: #
wenzelm@27914: # Author: Makarius
wenzelm@27914: #
wenzelm@27916: # DESCRIPTION: invoke Scala within the Isabelle environment
wenzelm@27914: 
wenzelm@52443: isabelle_admin_build jars || exit $?
wenzelm@34282: 
wenzelm@59894: declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
wenzelm@59894: declare -a SCALA_ARGS=()
wenzelm@59894: for ARG in "${JAVA_ARGS[@]}"
wenzelm@59894: do
wenzelm@59894:   SCALA_ARGS["${#SCALA_ARGS[@]}"]="-J$ARG"
wenzelm@59894: done
wenzelm@59894: 
wenzelm@59894: isabelle_scala scala "${SCALA_ARGS[@]}" \
wenzelm@61294:   -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"