# HG changeset patch
# User wenzelm
# Date 1622918699 -7200
#      Sat Jun 05 20:44:59 2021 +0200
# Node ID 3a9c2004b599423dd7c3e90e8034fdebc5d5edee
# Parent  9f1d39da07c28f12b5bacc93c9c7362ca783d17f
more robust component setup for AFP/thys: support "isabelle components -u" and init $AFP_BASE on demand;
no ROOTS in $AFP_BASE: proper support for "isabelle build -a" with $AFP_BASE component, but without $AFP component;

diff -r 9f1d39da07c2 -r 3a9c2004b599 ROOTS
--- a/ROOTS	Mon May 31 20:30:44 2021 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-thys
\ No newline at end of file
diff -r 9f1d39da07c2 -r 3a9c2004b599 thys/etc/settings
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thys/etc/settings	Sat Jun 05 20:44:59 2021 +0200
@@ -0,0 +1,6 @@
+# -*- shell-script -*- :mode=shellscript:
+
+if [ -z "$AFP_BASE" -a -f "$COMPONENT/../etc/settings" ]
+then
+  init_component "$(cd "$COMPONENT"; cd "$(pwd -P)"; cd ..; pwd)"
+fi