# HG changeset patch
# User wenzelm
# Date 1740322088 -3600
# Node ID 979b63c3b4c1aa8d9315b6352961dc73adbbf80f
# Parent  706562be40fc3f837f3604469af258ebedd98a30
more robust shasum: proper relative file names;
rebuild find_facts_web-20250223;

diff -r 706562be40fc -r 979b63c3b4c1 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sun Feb 23 15:40:44 2025 +0100
+++ b/Admin/components/components.sha1	Sun Feb 23 15:48:08 2025 +0100
@@ -114,6 +114,7 @@
 ae7ee5becb26512f18c609e83b34612918bae5f0 exec_process-1.0.tar.gz
 a7dffe7ab28c0627ef5957ef521ded2db9022b37 find_facts_web-20250208.tar.gz
 2e391c5bfe1dede4c0f9b3b2af6e7227c6e425f4 find_facts_web-20250215.tar.gz
+b814ec6f0b0de509bab09fe802c40b1a19b1e578 find_facts_web-20250223.tar.gz
 7a4b46752aa60c1ee6c53a2c128dedc8255a4568 flatlaf-0.46-1.tar.gz
 ed5cbc216389b655dac21a19e770a02a96867b85 flatlaf-0.46.tar.gz
 d37b38b9a27a6541c644e22eeebe9a339282173d flatlaf-1.0-rc1.tar.gz
diff -r 706562be40fc -r 979b63c3b4c1 Admin/components/main
--- a/Admin/components/main	Sun Feb 23 15:40:44 2025 +0100
+++ b/Admin/components/main	Sun Feb 23 15:48:08 2025 +0100
@@ -8,7 +8,7 @@
 elm-0.19.1
 easychair-3.5
 eptcs-1.7.0
-find_facts_web-20250215
+find_facts_web-20250223
 flatlaf-3.5.4-1
 foiltex-2.1.4b
 idea-icons-20210508
diff -r 706562be40fc -r 979b63c3b4c1 src/Tools/Find_Facts/src/elm.scala
--- a/src/Tools/Find_Facts/src/elm.scala	Sun Feb 23 15:40:44 2025 +0100
+++ b/src/Tools/Find_Facts/src/elm.scala	Sun Feb 23 15:48:08 2025 +0100
@@ -53,18 +53,19 @@
       JSON.strings(definition, "source-directories").getOrElse(
         error("Missing source directories in elm.json"))
 
-    def sources: List[JFile] =
+    def sources: List[Path] =
       for {
         src_dir <- src_dirs
         path = dir + Path.explode(src_dir)
         file <- File.find_files(path.file, _.getName.endsWith(".elm"))
-      } yield file
+        rel_path <- File.relative_path(dir, File.path(file))
+      } yield rel_path
 
     def sources_shasum: SHA1.Shasum = {
       val meta_info = SHA1.shasum_meta_info(SHA1.digest(JSON.Format(definition)))
       val head_digest = SHA1.shasum(SHA1.digest(XML.string_of_body(head)), "head")
       val source_digest =
-        SHA1.shasum_sorted(for (file <- sources) yield SHA1.digest(file) -> file.getCanonicalPath)
+        SHA1.shasum_sorted(for (src <- sources) yield SHA1.digest(dir + src) -> src.implode)
       meta_info ::: head_digest ::: source_digest
     }