Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified directory names, following bash_process (see e59d7d6fe1bd);
authorwenzelm
Thu, 30 Mar 2023 12:03:59 +0200
changeset 77757 49d38fa1478d
parent 77756 efd5c582d7ae
child 77758 2e3c7c557151
clarified directory names, following bash_process (see e59d7d6fe1bd);
src/Pure/Admin/component_rsync.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/component_rsync.scala	Thu Mar 30 11:58:53 2023 +0200
+++ b/src/Pure/Admin/component_rsync.scala	Thu Mar 30 12:03:59 2023 +0200
@@ -37,8 +37,9 @@
         Components.Directory(target_dir + Path.basic(component_name)).create(progress = progress)
 
       val platform_name =
-        proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64"))
-          .getOrElse(error("No 64bit platform"))
+        "platform_" +
+          proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64"))
+            .getOrElse(error("No 64bit platform"))
 
       val platform_dir =
         Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))
@@ -76,8 +77,8 @@
       /* settings */
 
       component_dir.write_settings("""
-ISABELLE_RSYNC_HOME="$COMPONENT/$ISABELLE_PLATFORM64"
-ISABELLE_RSYNC="$ISABELLE_RSYNC_HOME/rsync"
+ISABELLE_RSYNC_HOME="$COMPONENT"
+ISABELLE_RSYNC="$ISABELLE_RSYNC_HOME/platform_${ISABELLE_PLATFORM64}/rsync"
 """)
isabelle