--- 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