changeset 27914 | 9a7f17370ffb |
child 27916 | 09b3010ffaf2 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/lib/Tools/scala Sat Aug 16 13:31:57 2008 +0200 @@ -0,0 +1,25 @@ +#!/usr/bin/env bash +# +# $Id$ +# Author: Makarius +# +# DESCRIPTION: Scala wrapper + + +PRG="$(basename "$0")" + +function usage() +{ + echo + echo "Usage: $PRG [ARGS ...]" + echo + echo " Invoke Scala within the Isabelle environment." + echo + exit 1 +} + + +## main + +CLASSPATH="$(jvmpath "$CLASSPATH")" +exec "$ISABELLE_SCALA" "$@"