added lint function to Makefile

This commit is contained in:
Jack Hodgkinson 2022-05-06 10:55:09 +01:00
parent 975077953b
commit b870b3c545

View file

@ -1,7 +1,7 @@
# This really ought to be `/usr/bin/env bash`, but nix flakes don't like that. # This really ought to be `/usr/bin/env bash`, but nix flakes don't like that.
SHELL := /bin/sh SHELL := /bin/sh
.PHONY: hoogle format haddock usage .PHONY: hoogle format haddock usage lint
usage: usage:
@echo "usage: make <command> [OPTIONS]" @echo "usage: make <command> [OPTIONS]"
@ -40,3 +40,5 @@ haddock:
tag: tag:
hasktags -x agora agora-bench agora-test hasktags -x agora agora-bench agora-test
lint:
hlint agora agora-bench agora-test