--- a/src/Pure/Admin/build_scala.scala Sat Mar 26 14:12:38 2022 +0100
+++ b/src/Pure/Admin/build_scala.scala Wed Mar 30 16:18:25 2022 +0200
@@ -91,7 +91,7 @@
/* classpath */
- val classpath =
+ val classpath: List[String] =
{
def no_function(name: String): String = "function " + name + "() {\n:\n}"
val script =
@@ -110,6 +110,10 @@
main_classpath ::: lib_classpath
}
+ val interfaces =
+ classpath.find(_.startsWith("scala3-interfaces"))
+ .getOrElse(error("Missing jar for scala3-interfaces"))
+
/* settings */
@@ -118,6 +122,7 @@
"""# -*- shell-script -*- :mode=shellscript:
SCALA_HOME="$COMPONENT"
+SCALA_INTERFACES="$SCALA_HOME/lib/""" + interfaces + """"
""" + terminate_lines(classpath.map(jar => "classpath \"$SCALA_HOME/lib/" + jar + "\"")))