# HG changeset patch
# User wenzelm
# Date 1736714749 -3600
# Node ID a0ecb9d0666477b32232e2ceeaef14c54893817c
# Parent  d7113296c541e176a75abcacb3a30b030129302b
tuned;

diff -r d7113296c541 -r a0ecb9d06664 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