isabelle: lib/Tools/java@678e1c9eb009 (annotated)

27914 9a7f17370ffb refined scala/java wrappers via isatool; wenzelm parents: diff changeset	1	#!/usr/bin/env bash
9a7f17370ffb refined scala/java wrappers via isatool; wenzelm parents: diff changeset	2	#
9a7f17370ffb refined scala/java wrappers via isatool; wenzelm parents: diff changeset	3	# Author: Makarius
9a7f17370ffb refined scala/java wrappers via isatool; wenzelm parents: diff changeset	4	#
27916 09b3010ffaf2 removed unused usage; wenzelm parents: 27914 diff changeset	5	# DESCRIPTION: invoke Java within the Isabelle environment
27914 9a7f17370ffb refined scala/java wrappers via isatool; wenzelm parents: diff changeset	6
66906 03a96b8c7c06 updated to jdk-8u152, which is for x86_64 only; wenzelm parents: 61294 diff changeset	7	eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
53346 26c795734b3c provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings; wenzelm parents: 48915 diff changeset	8
73988 678e1c9eb009 more robust: avoid duplicate classpath entries; wenzelm parents: 73987 diff changeset	9	classpath "$ISABELLE_SETUP_CLASSPATH"
678e1c9eb009 more robust: avoid duplicate classpath entries; wenzelm parents: 73987 diff changeset	10	unset ISABELLE_SETUP_CLASSPATH
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 69126 diff changeset	11
53584 1f3815703436 absorb final CLASSPATH as well, such that tools might provide that by elementary means, without the "classpath" shell function (e.g. kodkodi/nitpick); wenzelm parents: 53576 diff changeset	12	[ -n "$CLASSPATH" ] && classpath "$CLASSPATH"
1f3815703436 absorb final CLASSPATH as well, such that tools might provide that by elementary means, without the "classpath" shell function (e.g. kodkodi/nitpick); wenzelm parents: 53576 diff changeset	13	unset CLASSPATH
1f3815703436 absorb final CLASSPATH as well, such that tools might provide that by elementary means, without the "classpath" shell function (e.g. kodkodi/nitpick); wenzelm parents: 53576 diff changeset	14
58791 00916b0dd596 clarified ISABELLE_JDK_HOME vs. JAVA_HOME; wenzelm parents: 53584 diff changeset	15	isabelle_java java "${JAVA_ARGS[@]}" \
61294 2d3d26e9b191 renamed jvmpath to platform_path; wenzelm parents: 58791 diff changeset	16	-classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"

author	wenzelm
	Thu, 15 Jul 2021 17:33:06 +0200
changeset 73988	678e1c9eb009
parent 73987	fc363a3b690a
child 73989	842fc354c031
permissions	-rwxr-xr-x