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;
wenzelm@27914
     1
#!/usr/bin/env bash
wenzelm@27914
     2
#
wenzelm@27914
     3
# $Id$
wenzelm@27914
     4
# Author: Makarius
wenzelm@27914
     5
#
wenzelm@27914
     6
# DESCRIPTION: Scala wrapper
wenzelm@27914
     7
wenzelm@27914
     8
wenzelm@27914
     9
PRG="$(basename "$0")"
wenzelm@27914
    10
wenzelm@27914
    11
function usage()
wenzelm@27914
    12
{
wenzelm@27914
    13
  echo
wenzelm@27914
    14
  echo "Usage: $PRG [ARGS ...]"
wenzelm@27914
    15
  echo
wenzelm@27914
    16
  echo "  Invoke Scala within the Isabelle environment."
wenzelm@27914
    17
  echo
wenzelm@27914
    18
  exit 1
wenzelm@27914
    19
}
wenzelm@27914
    20
wenzelm@27914
    21
wenzelm@27914
    22
## main
wenzelm@27914
    23
wenzelm@27914
    24
CLASSPATH="$(jvmpath "$CLASSPATH")"
wenzelm@27914
    25
exec "$ISABELLE_SCALA" "$@"