isabelle: lib/Tools/java@5786aa4a9840 (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}"
92237dee0f29 isabelle java: prefer -server here; wenzelm parents: 36238 diff changeset	10	if "$JAVA_EXE" -server >/dev/null 2>/dev/null
92237dee0f29 isabelle java: prefer -server here; wenzelm parents: 36238 diff changeset	11	then
41622 ad5474a8374b java/scala: default to UTF-8; wenzelm parents: 41380 diff changeset	12	exec "$JAVA_EXE" -Dfile.encoding=UTF-8 -server "$@"
41380 92237dee0f29 isabelle java: prefer -server here; wenzelm parents: 36238 diff changeset	13	else
41622 ad5474a8374b java/scala: default to UTF-8; wenzelm parents: 41380 diff changeset	14	exec "$JAVA_EXE" -Dfile.encoding=UTF-8 "$@"
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

author	wenzelm
	Fri, 08 Apr 2011 23:33:57 +0200
changeset 42303	5786aa4a9840
parent 41622	ad5474a8374b
child 43521	d477b92109b8
permissions	-rwxr-xr-x