summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJoey Hess <joeyh@joeyh.name>2022-03-24 13:10:11 -0400
committerJoey Hess <joeyh@joeyh.name>2022-03-24 13:10:11 -0400
commit66bdad7cd2857e108642d2a468d6d4906704d052 (patch)
treed25a77b64057a9a92af78c53560a13f050b97750 /Makefile
parent4f9d7fcf3d45b497230758eb098979b74e7b1e58 (diff)
downloadgit-repair-66bdad7cd2857e108642d2a468d6d4906704d052.tar.gz
switch from hothasktags to hasktags
hothasktags was removed from Debian. And in the meantime hasktags improved so it works well in the source tree.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile19
1 files changed, 2 insertions, 17 deletions
diff --git a/Makefile b/Makefile
index 339167d..00e2275 100644
--- a/Makefile
+++ b/Makefile
@@ -15,7 +15,7 @@ build: Build/SysConfig.hs
ln -sf dist/build/git-repair/git-repair git-repair; \
fi; \
fi
- @$(MAKE) tags >/dev/null 2>&1 &
+ @$(MAKE) tags
Build/SysConfig.hs: Build/TestConfig.hs Build/Configure.hs
if [ "$(BUILDER)" = ./Setup ]; then ghc --make Setup; fi
@@ -37,22 +37,7 @@ clean:
find . -name \*.o -exec rm {} \;
find . -name \*.hi -exec rm {} \;
-# tags file for vim
tags:
- @$(MAKE) --quiet hothasktags HOTHASKTAGS_OPT= TAGFILE=tags
-
-# TAGS file for emacs
-TAGS:
- @$(MAKE) --quiet hothasktags HOTHASKTAGS_OPT=-e TAGFILE=TAGS
-
-# https://github.com/luqui/hothasktags/issues/18
-HOTHASKTAGS_ARGS=-XLambdaCase -XPackageImports --cpp
-
-hothasktags:
- @if ! cabal exec hothasktags -- $(HOTHASKTAGS_OPT) $(HOTHASKTAGS_ARGS) \
- $$(find . | grep -v /.git/ | grep -v /tmp/ | grep -v dist/ | grep -v /doc/ | egrep '\.hs$$') 2>/dev/null \
- | sort > $(TAGFILE); then \
- echo "** hothasktags failed"; \
- fi
+ hasktags . || true
.PHONY: tags