--- a/src/Pure/System/isabelle_system.scala Sat Jul 23 12:19:45 2022 +0200
+++ b/src/Pure/System/isabelle_system.scala Mon Jul 25 11:19:08 2022 +0200
@@ -76,9 +76,6 @@
def init_services_jar(jar: Path): List[Class[Service]] =
init_services(jar.toString, isabelle.setup.Build.get_services(jar.java_path).asScala.toList)
- def init_services_jar(platform_jar: String): List[Class[Service]] =
- init_services_jar(Path.explode(File.standard_path(platform_jar)))
-
def init(isabelle_root: String = "", cygwin_root: String = ""): Unit = {
isabelle.setup.Environment.init(isabelle_root, cygwin_root)
synchronized {
--- a/src/Pure/System/scala.scala Sat Jul 23 12:19:45 2022 +0200
+++ b/src/Pure/System/scala.scala Mon Jul 25 11:19:08 2022 +0200
@@ -100,9 +100,11 @@
/** compiler **/
- def get_classpath(): List[String] =
- space_explode(JFile.pathSeparatorChar, System.getProperty("java.class.path", ""))
- .filter(_.nonEmpty)
+ def get_classpath(): List[Path] =
+ for {
+ s <- space_explode(JFile.pathSeparatorChar, System.getProperty("java.class.path", ""))
+ if s.nonEmpty
+ } yield Path.explode(File.standard_path(s))
object Compiler {
object Message {