assume given SCALA_HOME, e.g. from component settings or external setup;
authorwenzelm
Fri May 28 20:41:23 2010 +0200 (2010-05-28)
changeset 371746feaab4fc27d
parent 37173 ece850d911a5
child 37175 be764a7adb10
assume given SCALA_HOME, e.g. from component settings or external setup;
etc/settings
lib/Tools/scala
src/Pure/build-jars
     1.1 --- a/etc/settings	Fri May 28 18:15:53 2010 +0200
     1.2 +++ b/etc/settings	Fri May 28 20:41:23 2010 +0200
     1.3 @@ -56,14 +56,6 @@
     1.4  ###
     1.5  
     1.6  ISABELLE_JAVA="java"
     1.7 -ISABELLE_SCALA="scala"
     1.8 -
     1.9 -[ -z "$SCALA_HOME" ] && SCALA_HOME=$(choosefrom \
    1.10 -  "$ISABELLE_HOME/contrib/scala" \
    1.11 -  "$ISABELLE_HOME/../scala" \
    1.12 -  "")
    1.13 -
    1.14 -[ -n "$SCALA_HOME" ] && ISABELLE_SCALA="$SCALA_HOME/bin/scala"
    1.15  
    1.16  classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
    1.17  
     2.1 --- a/lib/Tools/scala	Fri May 28 18:15:53 2010 +0200
     2.2 +++ b/lib/Tools/scala	Fri May 28 20:41:23 2010 +0200
     2.3 @@ -4,7 +4,9 @@
     2.4  #
     2.5  # DESCRIPTION: invoke Scala within the Isabelle environment
     2.6  
     2.7 +[ -z "$SCALA_HOME" ] && { echo "Unknown SCALA_HOME -- Scala unavailable"; exit 2; }
     2.8 +
     2.9  [ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" jars || exit $?; }
    2.10  
    2.11  CLASSPATH="$(jvmpath "$CLASSPATH")"
    2.12 -exec "$ISABELLE_SCALA" "$@"
    2.13 +exec "$SCALA_HOME/bin/scala" "$@"
     3.1 --- a/src/Pure/build-jars	Fri May 28 18:15:53 2010 +0200
     3.2 +++ b/src/Pure/build-jars	Fri May 28 20:41:23 2010 +0200
     3.3 @@ -16,7 +16,7 @@
     3.4  }
     3.5  
     3.6  [ -n "$ISABELLE_HOME" ] || fail "Missing Isabelle settings environment"
     3.7 -[ -z "$SCALA_HOME" ] && fail "Scala unavailable: unknown SCALA_HOME"
     3.8 +[ -z "$SCALA_HOME" ] && fail "Unknown SCALA_HOME -- Scala unavailable"
     3.9  
    3.10  
    3.11  ## dependencies