lib/Tools/scala
author wenzelm
Sat Aug 16 13:31:57 2008 +0200 (2008-08-16)
changeset 27914 9a7f17370ffb
child 27916 09b3010ffaf2
permissions -rwxr-xr-x
refined scala/java wrappers via isatool;
     1 #!/usr/bin/env bash
     2 #
     3 # $Id$
     4 # Author: Makarius
     5 #
     6 # DESCRIPTION: Scala wrapper
     7 
     8 
     9 PRG="$(basename "$0")"
    10 
    11 function usage()
    12 {
    13   echo
    14   echo "Usage: $PRG [ARGS ...]"
    15   echo
    16   echo "  Invoke Scala within the Isabelle environment."
    17   echo
    18   exit 1
    19 }
    20 
    21 
    22 ## main
    23 
    24 CLASSPATH="$(jvmpath "$CLASSPATH")"
    25 exec "$ISABELLE_SCALA" "$@"