1 files changed, 11 insertions, 0 deletions
diff --git a/.envrc b/.envrc
index f4cd8d6..823ae65 100644
--- a/.envrc
+++ b/.envrc
@@ -50,6 +50,17 @@
   git config --local branchless.test.alias.lintfix 'git clean -ffdx; eval $(direnv export bash); bild Biz/Lint.hs; lint --fix **/*'
   git config --local branchless.test.alias.ci 'git clean -ffdx; eval $(direnv export bash); Biz/Ci.sh'
 #
+# create third-party tags
+  function MakeExternalTags {
+    "$CODEROOT"/Biz/Ide/MakeTags.py --external $(tr ':' '\n' <<< "$ALL_SOURCES")
+  }
+  hashfile="$CODEROOT"/_/src/hash
+  curhash=$(cat "$hashfile")
+  newhash=$(sha256sum <<< "$ALL_SOURCES")
+  [[ ! -e "$hashfile" ]] && MakeExternalTags
+  [[ -e "$hashfile" ]] && [[ "$curhash" != "$newhash" ]] && MakeExternalTags
+  echo "$newhash" > "$hashfile"
+#
 # load local settings
   [[ -f ./.envrc.local ]] && . ./.envrc.local || :
 ##