# HG changeset patch
# User wenzelm
# Date 1648649905 -7200
# Node ID 14154ac511ba76b271f0896ceda00e047a2736b4
# Parent  4ce7d95612cb0e643ba3bf1b86c894157b5ea066
provide SCALA_INTERFACES for isabelle_setup;

diff -r 4ce7d95612cb -r 14154ac511ba src/Pure/Admin/build_scala.scala
--- 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 + "\"")))