From 7f0fd2bb6de504541f9c9fa8eaf5126087ae81a3 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Sat, 21 Dec 2024 11:06:19 -0400
Subject: Rewrite mktags.sh to MakeTags.py

This makes tags for all third-party dependencies, and uses universal-ctags
instead of fast-tags. It's so nice having tags for /everything/. It's also
pretty fast, and caches the result for third-party deps anyway.

Oh yeah this also added an explicit list of third-party Python packages. I need
to filter the entire pkgset down to just the ones I'm using in order to make
tags for them.
---
 .envrc | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to '.envrc')

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 || :
 ##
-- 
cgit v1.2.3