lib/Tools/scala
author wenzelm
Tue, 25 Oct 2016 17:22:05 +0200
changeset 64398 5076725247fa
parent 61294 2d3d26e9b191
child 66906 03a96b8c7c06
permissions -rwxr-xr-x
more robust printing of names in the context of outer syntax;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
27914
9a7f17370ffb refined scala/java wrappers via isatool;
wenzelm
parents:
diff changeset
     1
#!/usr/bin/env bash
9a7f17370ffb refined scala/java wrappers via isatool;
wenzelm
parents:
diff changeset
     2
#
9a7f17370ffb refined scala/java wrappers via isatool;
wenzelm
parents:
diff changeset
     3
# Author: Makarius
9a7f17370ffb refined scala/java wrappers via isatool;
wenzelm
parents:
diff changeset
     4
#
27916
09b3010ffaf2 removed unused usage;
wenzelm
parents: 27914
diff changeset
     5
# DESCRIPTION: invoke Scala within the Isabelle environment
27914
9a7f17370ffb refined scala/java wrappers via isatool;
wenzelm
parents:
diff changeset
     6
52443
725916b7dee5 more formal isabelle_admin_build;
wenzelm
parents: 48915
diff changeset
     7
isabelle_admin_build jars || exit $?
34282
549969a7f582 simplified build/bootstrap of Isabelle/Scala components -- avoid make;
wenzelm
parents: 29143
diff changeset
     8
59894
ca16b657901f ISABELLE_JAVA_SYSTEM_OPTIONS for scala REPL;
wenzelm
parents: 53576
diff changeset
     9
declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
ca16b657901f ISABELLE_JAVA_SYSTEM_OPTIONS for scala REPL;
wenzelm
parents: 53576
diff changeset
    10
declare -a SCALA_ARGS=()
ca16b657901f ISABELLE_JAVA_SYSTEM_OPTIONS for scala REPL;
wenzelm
parents: 53576
diff changeset
    11
for ARG in "${JAVA_ARGS[@]}"
ca16b657901f ISABELLE_JAVA_SYSTEM_OPTIONS for scala REPL;
wenzelm
parents: 53576
diff changeset
    12
do
ca16b657901f ISABELLE_JAVA_SYSTEM_OPTIONS for scala REPL;
wenzelm
parents: 53576
diff changeset
    13
  SCALA_ARGS["${#SCALA_ARGS[@]}"]="-J$ARG"
ca16b657901f ISABELLE_JAVA_SYSTEM_OPTIONS for scala REPL;
wenzelm
parents: 53576
diff changeset
    14
done
ca16b657901f ISABELLE_JAVA_SYSTEM_OPTIONS for scala REPL;
wenzelm
parents: 53576
diff changeset
    15
ca16b657901f ISABELLE_JAVA_SYSTEM_OPTIONS for scala REPL;
wenzelm
parents: 53576
diff changeset
    16
isabelle_scala scala "${SCALA_ARGS[@]}" \
61294
2d3d26e9b191 renamed jvmpath to platform_path;
wenzelm
parents: 59894
diff changeset
    17
  -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"