lib/Tools/scala
author wenzelm
Wed Jan 06 20:00:22 2010 +0100 (2010-01-06)
changeset 34282 549969a7f582
parent 29143 72c960b2b83e
child 34297 5c0a2583f997
permissions -rwxr-xr-x
simplified build/bootstrap of Isabelle/Scala components -- avoid make;
wenzelm@27914
     1
#!/usr/bin/env bash
wenzelm@27914
     2
#
wenzelm@27914
     3
# Author: Makarius
wenzelm@27914
     4
#
wenzelm@27916
     5
# DESCRIPTION: invoke Scala within the Isabelle environment
wenzelm@27914
     6
wenzelm@34282
     7
[ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars
wenzelm@34282
     8
wenzelm@27914
     9
CLASSPATH="$(jvmpath "$CLASSPATH")"
wenzelm@27914
    10
exec "$ISABELLE_SCALA" "$@"