rebuild bash_process executables on current reference platforms, including native arm64-darwin;
enforce rebuild of Isabelle/Scala + Isabelle/ML;
--- 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"
;;
--- 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"
--- 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
--- 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
--- 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";
+
--- 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)
}
-