lib/Tools/scala
author blanchet
Thu Sep 04 11:20:59 2014 +0200 (2014-09-04)
changeset 58182 82478e6c60cb
parent 53576 793a429c63e7
child 59894 ca16b657901f
permissions -rwxr-xr-x
tweaked setup for datatype realizer
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@52443
     7
isabelle_admin_build jars || exit $?
wenzelm@34282
     8
wenzelm@47115
     9
isabelle_scala scala -Dfile.encoding=UTF-8 \
wenzelm@53576
    10
  -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@"
wenzelm@53576
    11