lib/Tools/scala
author wenzelm
Tue Jan 23 16:37:57 2018 +0100 (20 months ago)
changeset 67490 982f0bf34804
parent 66906 03a96b8c7c06
child 69126 e1b4b14ded58
permissions -rwxr-xr-x
more robust java.ext.dirs: avoid picking up accidental jars from system directories;
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@66906
     9
eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
wenzelm@59894
    10
declare -a SCALA_ARGS=()
wenzelm@59894
    11
for ARG in "${JAVA_ARGS[@]}"
wenzelm@59894
    12
do
wenzelm@59894
    13
  SCALA_ARGS["${#SCALA_ARGS[@]}"]="-J$ARG"
wenzelm@59894
    14
done
wenzelm@59894
    15
wenzelm@59894
    16
isabelle_scala scala "${SCALA_ARGS[@]}" \
wenzelm@67490
    17
  "-Djava.ext.dirs=$(platform_path "$ISABELLE_JDK_HOME/jre/lib/ext")" \
wenzelm@61294
    18
  -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"