more robust bootstrap of components;
authorwenzelm
Wed, 14 Apr 2021 14:36:13 +0200
changeset 73836 a96564139fa7
parent 73835 8ddf6728ad80
child 73837 cd84e58aed26
more robust bootstrap of components;
Admin/components/main
lib/scripts/getfunctions
--- a/Admin/components/main	Wed Apr 14 14:28:30 2021 +0200
+++ b/Admin/components/main	Wed Apr 14 14:36:13 2021 +0200
@@ -1,11 +1,11 @@
 #main components for everyday use, without big impact on overall build time
+gnu-utils-20210414
 bash_process-1.2.3-1
 bib2xhtml-20190409
 csdp-6.1.1
 cvc4-1.8
 e-2.5-1
 flatlaf-1.0
-gnu-utils-20210414
 isabelle_fonts-20210322
 jdk-15.0.2+7
 jedit_build-20210201
--- a/lib/scripts/getfunctions	Wed Apr 14 14:28:30 2021 +0200
+++ b/lib/scripts/getfunctions	Wed Apr 14 14:36:13 2021 +0200
@@ -21,7 +21,13 @@
 export -f platform_path standard_path
 
 #GNU tar (notably on macOS)
-function tar() { "${ISABELLE_TAR:-false}" "$@"; }
+function tar() {
+  if [ -f "$ISABELLE_TAR" ]; then
+    "$ISABELLE_TAR" "$@"
+  else
+    "$(type -P tar)" "$@"
+  fi
+}
 export -f tar
 
 #OCaml management via OPAM