lib/Tools/scala
author wenzelm
Mon Oct 23 19:30:39 2017 +0200 (23 months ago)
changeset 66906 03a96b8c7c06
parent 61294 2d3d26e9b191
child 67490 982f0bf34804
permissions -rwxr-xr-x
updated to jdk-8u152, which is for x86_64 only;
     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 eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
    10 declare -a SCALA_ARGS=()
    11 for ARG in "${JAVA_ARGS[@]}"
    12 do
    13   SCALA_ARGS["${#SCALA_ARGS[@]}"]="-J$ARG"
    14 done
    15 
    16 isabelle_scala scala "${SCALA_ARGS[@]}" \
    17   -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"