isabelle: lib/Tools/scalac@bbb78dba6f68 (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
74038 b4f57bfe82e7 more robust "isabelle build_scala" as separate tool; wenzelm parents: 74017 diff changeset	7	isabelle scala_build \|\| exit $?
44950 f60405791a1d added "isabelle scalac" convenience; wenzelm parents: diff changeset	8
73989 842fc354c031 more robust classpath: skip empty entries; wenzelm parents: 73988 diff changeset	9	classpath "$ISABELLE_SETUP_CLASSPATH"; unset ISABELLE_SETUP_CLASSPATH
76343 6a6f650cc5a2 more robust reset of CLASSPATH: unset variable means "." in certain situations, e.g. scalac; wenzelm parents: 74038 diff changeset	10	classpath "$CLASSPATH"; export CLASSPATH=""
73988 678e1c9eb009 more robust: avoid duplicate classpath entries; wenzelm parents: 69126 diff changeset	11
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	12	isabelle_scala scalac -Dfile.encoding=UTF-8 \
61294 2d3d26e9b191 renamed jvmpath to platform_path; wenzelm parents: 53576 diff changeset	13	-classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"

author	wenzelm
	Sat, 04 Mar 2023 12:14:20 +0100
changeset 77500	bbb78dba6f68
parent 76343	6a6f650cc5a2
permissions	-rwxr-xr-x