# HG changeset patch
# User wenzelm
# Date 1709237210 -3600
# Node ID a861b0df74b46e2639fd8c92a26d73cd96b0cfe3
# Parent  e84b480e90e4de5110a8ae8cf0cc9ea239c14e78
rebuild bash_process executables on current reference platforms, including native arm64-darwin;
enforce rebuild of Isabelle/Scala + Isabelle/ML;

diff -r e84b480e90e4 -r a861b0df74b4 Admin/bash_process/build
--- a/Admin/bash_process/build	Thu Feb 29 17:03:00 2024 +0100
+++ b/Admin/bash_process/build	Thu Feb 29 21:06:50 2024 +0100
@@ -37,7 +37,7 @@
 PLATFORM_DIR="platform_${PLATFORM}"
 
 case "$PLATFORM" in
-  arm64-linux)
+  arm64-linux | arm64-darwin)
     mkdir -p "$PLATFORM_DIR"
     cc -Wall bash_process.c -o "$PLATFORM_DIR/bash_process"
     ;;
diff -r e84b480e90e4 -r a861b0df74b4 Admin/bash_process/etc/settings
--- a/Admin/bash_process/etc/settings	Thu Feb 29 17:03:00 2024 +0100
+++ b/Admin/bash_process/etc/settings	Thu Feb 29 21:06:50 2024 +0100
@@ -1,4 +1,4 @@
 # -*- shell-script -*- :mode=shellscript:
 
 ISABELLE_BASH_PROCESS_HOME="$COMPONENT"
-ISABELLE_BASH_PROCESS="$ISABELLE_BASH_PROCESS_HOME/platform_${ISABELLE_PLATFORM64}/bash_process"
+ISABELLE_BASH_PROCESS="$ISABELLE_BASH_PROCESS_HOME/platform_${ISABELLE_APPLE_PLATFORM64:-$ISABELLE_PLATFORM64}/bash_process"
diff -r e84b480e90e4 -r a861b0df74b4 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Thu Feb 29 17:03:00 2024 +0100
+++ b/Admin/components/components.sha1	Thu Feb 29 21:06:50 2024 +0100
@@ -18,6 +18,7 @@
 729486311833e4eff0fbf2d8041dddad520ca88c bash_process-1.2.4-2.tar.gz
 7ae9ec8aab2d8a811842d9dc67d8bf6c179e11ee bash_process-1.2.4.tar.gz
 9e21f447bfa0431ae5097301d553dd6df3c58218 bash_process-1.2.tar.gz
+351d1ec27061479595abdd52c28ff4c88c87746e bash_process-1.3.1.tar.gz
 84246b9b6460296a6f8e8d661643b36719f7834a bash_process-1.3.tar.gz
 a65ce644b6094d41e9f991ef851cf05eff5dd0a9 bib2xhtml-20171221.tar.gz
 4085dd6060a32d7e0d2e3f874c463a9964fd409b bib2xhtml-20190409.tar.gz
diff -r e84b480e90e4 -r a861b0df74b4 Admin/components/main
--- a/Admin/components/main	Thu Feb 29 17:03:00 2024 +0100
+++ b/Admin/components/main	Thu Feb 29 21:06:50 2024 +0100
@@ -1,6 +1,6 @@
 #main components for repository clones or release bundles
 gnu-utils-20211030
-bash_process-1.3
+bash_process-1.3.1
 bib2xhtml-20190409
 csdp-6.1.1
 cvc4-1.8
diff -r e84b480e90e4 -r a861b0df74b4 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Thu Feb 29 17:03:00 2024 +0100
+++ b/src/Pure/ROOT.ML	Thu Feb 29 21:06:50 2024 +0100
@@ -372,3 +372,4 @@
 ML_file "Tools/jedit.ML";
 ML_file "Tools/ghc.ML";
 ML_file "Tools/generated_files.ML";
+
diff -r e84b480e90e4 -r a861b0df74b4 src/Pure/ROOT.scala
--- a/src/Pure/ROOT.scala	Thu Feb 29 17:03:00 2024 +0100
+++ b/src/Pure/ROOT.scala	Thu Feb 29 21:06:50 2024 +0100
@@ -29,4 +29,3 @@
   def if_proper[A](x: Iterable[A], body: => String): String = Library.if_proper(x, body)
   def if_proper(b: Boolean, body: => String): String = Library.if_proper(b, body)
 }
-