isabelle: lib/Tools/scalac@888d35a19866 (annotated)

44950 f60405791a1d added "isabelle scalac" convenience; wenzelm parents: diff changeset	1	#!/usr/bin/env bash
f60405791a1d added "isabelle scalac" convenience; wenzelm parents: diff changeset	2	#
f60405791a1d added "isabelle scalac" convenience; wenzelm parents: diff changeset	3	# Author: Makarius
f60405791a1d added "isabelle scalac" convenience; wenzelm parents: diff changeset	4	#
f60405791a1d added "isabelle scalac" convenience; wenzelm parents: diff changeset	5	# DESCRIPTION: invoke Scala compiler within the Isabelle environment
f60405791a1d added "isabelle scalac" convenience; wenzelm parents: diff changeset	6
52443 725916b7dee5 more formal isabelle_admin_build; wenzelm parents: 48915 diff changeset	7	isabelle_admin_build jars \|\| exit $?
44950 f60405791a1d added "isabelle scalac" convenience; wenzelm parents: diff changeset	8
47115 1a05adae1cc9 more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function); wenzelm parents: 45385 diff changeset	9	isabelle_scala scalac -Dfile.encoding=UTF-8 \
67490 982f0bf34804 more robust java.ext.dirs: avoid picking up accidental jars from system directories; wenzelm parents: 61294 diff changeset	10	"-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \
61294 2d3d26e9b191 renamed jvmpath to platform_path; wenzelm parents: 53576 diff changeset	11	-classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"