lib/Tools/scala

refined scala/java wrappers via isatool;

#!/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" "$@"