lib/Tools/scala
author wenzelm
Thu Sep 12 13:23:54 2013 +0200 (2013-09-12)
changeset 53576 793a429c63e7
parent 52443 725916b7dee5
child 59894 ca16b657901f
permissions -rwxr-xr-x
maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
ignore $ISABELLE_JAVA_EXT -- do not change java.ext.dirs;
     1 #!/usr/bin/env bash
     2 #
     3 # Author: Makarius
     4 #
     5 # DESCRIPTION: invoke Scala within the Isabelle environment
     6 
     7 isabelle_admin_build jars || exit $?
     8 
     9 isabelle_scala scala -Dfile.encoding=UTF-8 \
    10   -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@"
    11