lib/Tools/java
author wenzelm
Sun, 30 Jan 2011 13:02:18 +0100
changeset 41648 6d736d983d5c
parent 41622 ad5474a8374b
child 43521 d477b92109b8
permissions -rwxr-xr-x
clarified example settings for Proof General;

#!/usr/bin/env bash
#
# Author: Makarius
#
# DESCRIPTION: invoke Java within the Isabelle environment

CLASSPATH="$(jvmpath "$CLASSPATH")"

JAVA_EXE="${THIS_JAVA:-$ISABELLE_JAVA}"
if "$JAVA_EXE" -server >/dev/null 2>/dev/null
then
  exec "$JAVA_EXE" -Dfile.encoding=UTF-8 -server "$@"
else
  exec "$JAVA_EXE" -Dfile.encoding=UTF-8 "$@"
fi