wenzelm@27914: #!/usr/bin/env bash
wenzelm@27914: #
wenzelm@27914: # $Id$
wenzelm@27914: # Author: Makarius
wenzelm@27914: #
wenzelm@27914: # DESCRIPTION: Java wrapper
wenzelm@27914: 
wenzelm@27914: 
wenzelm@27914: PRG="$(basename "$0")"
wenzelm@27914: 
wenzelm@27914: function usage()
wenzelm@27914: {
wenzelm@27914:   echo
wenzelm@27914:   echo "Usage: $PRG [ARGS ...]"
wenzelm@27914:   echo
wenzelm@27914:   echo "  Invoke Java within the Isabelle environment."
wenzelm@27914:   echo
wenzelm@27914:   exit 1
wenzelm@27914: }
wenzelm@27914: 
wenzelm@27914: 
wenzelm@27914: ## main
wenzelm@27914: 
wenzelm@27914: CLASSPATH="$(jvmpath "$CLASSPATH")"
wenzelm@27914: exec "$ISABELLE_JAVA" "$@"