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
     1 #!/usr/bin/env bash
     2 #
     3 # Author: Makarius
     4 #
     5 # DESCRIPTION: invoke Scala within the Isabelle environment
     6 
     7 isabelle_admin_build jars || exit $?
     8 
     9 isabelle_scala scala -Dfile.encoding=UTF-8 \
    10   -classpath "$(jvmpath "$ISABELLE_CLASSPATH")" "$@"
    11