author wenzelm
Thu, 12 Sep 2013 13:23:54 +0200
changeset 53576 793a429c63e7
parent 52443 725916b7dee5
child 61294 2d3d26e9b191
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;

#!/usr/bin/env bash
# Author: Makarius
# DESCRIPTION: invoke Scala compiler within the Isabelle environment

isabelle_admin_build jars || exit $?

isabelle_scala scalac -Dfile.encoding=UTF-8 \
  -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@"