# HG changeset patch
# User wenzelm
# Date 1658855163 -7200
# Node ID 0a71b6c903e94e41d952dd1a2a3ce820021cc8ee
# Parent  6a6e90260ee7961147d11594caae174309267db4
proper classpath for Scala compiler invocation (amending 14e22b525b13);

diff -r 6a6e90260ee7 -r 0a71b6c903e9 src/Pure/System/scala.scala
--- a/src/Pure/System/scala.scala	Tue Jul 26 16:39:11 2022 +0200
+++ b/src/Pure/System/scala.scala	Tue Jul 26 19:06:03 2022 +0200
@@ -174,7 +174,9 @@
         File.find_files(dir, file => file.getName.endsWith(".jar")).
           map(File.absolute_name)
 
-      val classpath = (get_classpath() ::: jar_dirs.flatMap(find_jars)).mkString(JFile.pathSeparator)
+      val classpath =
+        (get_classpath().map(File.platform_path) :::
+          jar_dirs.flatMap(find_jars)).mkString(JFile.pathSeparator)
       val settings1 = isabelle_settings ::: settings ::: List("-classpath", classpath)
       new Context(settings1, class_loader)
     }