lib/Tools/scala
changeset 47115 1a05adae1cc9
parent 45385 7c1375ba1424
child 47441 2fa904af222f
     1.1 --- a/lib/Tools/scala	Mon Mar 26 15:38:09 2012 +0200
     1.2 +++ b/lib/Tools/scala	Mon Mar 26 16:25:08 2012 +0200
     1.3 @@ -4,10 +4,8 @@
     1.4  #
     1.5  # DESCRIPTION: invoke Scala within the Isabelle environment
     1.6  
     1.7 -[ -z "$SCALA_HOME" ] && { echo "Unknown SCALA_HOME -- Scala unavailable"; exit 2; }
     1.8 -
     1.9  [ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" jars || exit $?; }
    1.10  
    1.11  CLASSPATH="$(jvmpath "$CLASSPATH")"
    1.12 -exec "$SCALA_HOME/bin/scala" -Dfile.encoding=UTF-8 \
    1.13 +isabelle_scala scala -Dfile.encoding=UTF-8 \
    1.14    "-Djava.ext.dirs=$("$ISABELLE_HOME/src/Tools/JVM/java_ext_dirs")" "$@"