From 95ed9ff085526ce0bc1c99281fbe46787eb18bf1 Mon Sep 17 00:00:00 2001
From: paltherr <paltherr@epfl.ch>
Date: Tue, 28 Oct 2003 16:14:01 +0000
Subject: - Implemented command "scala"

---
 sources/bin/.scala_wrapper.tmpl | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

(limited to 'sources')

diff --git a/sources/bin/.scala_wrapper.tmpl b/sources/bin/.scala_wrapper.tmpl
index 5722af402e..ee2d37c363 100644
--- a/sources/bin/.scala_wrapper.tmpl
+++ b/sources/bin/.scala_wrapper.tmpl
@@ -453,6 +453,34 @@ scala_info() {
     esac;
 }
 
+##############################################################################
+# Implementation of scala
+
+# Returns true if the given arguments contain a Xbootclasspath: flag.
+scala_has_bootclasspath() {
+    while [ $# != 0 ]; do
+        case "$1" in
+            -Xbootclasspath:* ) return 0;;
+            -cp | -classpath  ) shift 2;;
+            -jar              ) return 1;;
+            -*                ) shift 1;;
+            *                 ) return 1;;
+        esac;
+    done;
+    return 1;
+}
+
+# Entry point of scala-info.
+scala() {
+    compute_variable EXEC;
+    if scala_has_bootclasspath "$@"; then
+        $EXEC java "$@";
+    else
+        compute_variable RUNTIME_CLASSES;
+        $EXEC java "-Xbootclasspath/a:$RUNTIME_CLASSES" "$@";
+    fi;
+}
+
 ##############################################################################
 # Definition of UNAME, SOURCE, SCRIPT, PREFIX and VERSION
 
@@ -489,6 +517,7 @@ unset JAVA_CLASSPATH;
 configure;
 
 case "$SCRIPT" in
+    scala      ) scala "$@";;
     scala-info ) scala_info "$@";;
     scalac*    ) exec_compile scalac.Main "$@";;
     scaladoc*  ) exec_compile scala.tools.scaladoc.Main "$@";;
-- 
cgit v1.2.3