isabelle: lib/Tools/java@93dcfcf91484 (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
9a7f17370ffb refined scala/java wrappers via isatool; wenzelm parents: diff changeset	7	CLASSPATH="$(jvmpath "$CLASSPATH")"
41380 92237dee0f29 isabelle java: prefer -server here; wenzelm parents: 36238 diff changeset	8
92237dee0f29 isabelle java: prefer -server here; wenzelm parents: 36238 diff changeset	9	JAVA_EXE="${THIS_JAVA:-$ISABELLE_JAVA}"
43521 d477b92109b8 provide Isabelle/Scala environment as Java extension, instead of user classpath wenzelm parents: 41622 diff changeset	10
d477b92109b8 provide Isabelle/Scala environment as Java extension, instead of user classpath wenzelm parents: 41622 diff changeset	11	if "$JAVA_EXE" -server >/dev/null 2>/dev/null; then
d477b92109b8 provide Isabelle/Scala environment as Java extension, instead of user classpath wenzelm parents: 41622 diff changeset	12	SERVER="-server"
41380 92237dee0f29 isabelle java: prefer -server here; wenzelm parents: 36238 diff changeset	13	else
43521 d477b92109b8 provide Isabelle/Scala environment as Java extension, instead of user classpath wenzelm parents: 41622 diff changeset	14	SERVER=""
41380 92237dee0f29 isabelle java: prefer -server here; wenzelm parents: 36238 diff changeset	15	fi
92237dee0f29 isabelle java: prefer -server here; wenzelm parents: 36238 diff changeset	16
43521 d477b92109b8 provide Isabelle/Scala environment as Java extension, instead of user classpath wenzelm parents: 41622 diff changeset	17	exec "$JAVA_EXE" -Dfile.encoding=UTF-8 $SERVER \
d477b92109b8 provide Isabelle/Scala environment as Java extension, instead of user classpath wenzelm parents: 41622 diff changeset	18	"-Djava.ext.dirs=$("$ISABELLE_HOME/lib/scripts/java_ext_dirs")" "$@"
d477b92109b8 provide Isabelle/Scala environment as Java extension, instead of user classpath wenzelm parents: 41622 diff changeset	19

author	wenzelm
	Wed, 06 Jul 2011 23:11:59 +0200
changeset 43694	93dcfcf91484
parent 43521	d477b92109b8
child 45105	21c09b727bf3
permissions	-rwxr-xr-x