wneuper/isa: lib/Tools/scala@6feaab4fc27d

lib/Tools/scala

assume given SCALA_HOME, e.g. from component settings or external setup;

     1 #!/usr/bin/env bash

2 #

     3 # Author: Makarius

4 #

     5 # DESCRIPTION: invoke Scala within the Isabelle environment

     7 [ -z "$SCALA_HOME" ] && { echo "Unknown SCALA_HOME -- Scala unavailable"; exit 2; }

     9 [ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" jars || exit $?; }

    11 CLASSPATH="$(jvmpath "$CLASSPATH")"

    12 exec "$SCALA_HOME/bin/scala" "$@"

wneuper/isa