tuned;
authorwenzelm
Sun, 12 Jan 2025 21:45:49 +0100
changeset 81798 a0ecb9d06664
parent 81797 d7113296c541
child 81799 150651b9d2a2
tuned;
src/Tools/Find_Facts/src/solr.scala
--- a/src/Tools/Find_Facts/src/solr.scala	Sun Jan 12 21:39:57 2025 +0100
+++ b/src/Tools/Find_Facts/src/solr.scala	Sun Jan 12 21:45:49 2025 +0100
@@ -26,8 +26,10 @@
   def init(solr_data: Path): Path = {
     File.write(Isabelle_System.make_directory(solr_data) + Path.basic("solr.xml"), "<solr/>")
 
-    for (entry <- space_explode(':', Isabelle_System.getenv("SOLR_COMPONENTS")) if entry.nonEmpty)
-      Isabelle_System.symlink(Path.explode(entry).absolute, solr_data, force = true)
+    // non-portable: only for Linux or macOS
+    for (path <- Path.split(Isabelle_System.getenv("SOLR_COMPONENTS"))) {
+      Isabelle_System.symlink(path.absolute, solr_data, force = true)
+    }
 
     java.util.logging.LogManager.getLogManager.reset()
     solr_data