diff options
author | Joey Hess <joeyh@joeyh.name> | 2022-03-24 13:10:11 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2022-03-24 13:10:11 -0400 |
commit | 66bdad7cd2857e108642d2a468d6d4906704d052 (patch) | |
tree | d25a77b64057a9a92af78c53560a13f050b97750 /Makefile | |
parent | 4f9d7fcf3d45b497230758eb098979b74e7b1e58 (diff) | |
download | git-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-- | Makefile | 19 |
1 files changed, 2 insertions, 17 deletions
@@ -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 |