lib/Tools/scala
changeset 34297 5c0a2583f997
parent 34282 549969a7f582
child 37174 6feaab4fc27d
equal deleted inserted replaced
34296:5f454603228b 34297:5c0a2583f997
     2 #
     2 #
     3 # Author: Makarius
     3 # Author: Makarius
     4 #
     4 #
     5 # DESCRIPTION: invoke Scala within the Isabelle environment
     5 # DESCRIPTION: invoke Scala within the Isabelle environment
     6 
     6 
     7 [ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars
     7 [ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" jars || exit $?; }
     8 
     8 
     9 CLASSPATH="$(jvmpath "$CLASSPATH")"
     9 CLASSPATH="$(jvmpath "$CLASSPATH")"
    10 exec "$ISABELLE_SCALA" "$@"
    10 exec "$ISABELLE_SCALA" "$@"