]> gitweb @ CieloNegro.org - cabal-shared-makefile.git/commitdiff
new variable: HLINT_OPTS
authorPHO <pho@cielonegro.org>
Thu, 13 Oct 2011 13:15:12 +0000 (22:15 +0900)
committerPHO <pho@cielonegro.org>
Thu, 13 Oct 2011 13:15:12 +0000 (22:15 +0900)
cabal-package.mk

index e4121394d75de781787a0b046c55cc660a380060..b2bf65597e8426a73d30fbdb637f08f33d54f7dd 100644 (file)
@@ -18,6 +18,7 @@ HPC      ?= hpc
 DITZ     ?= ditz
 
 CONFIGURE_ARGS ?= --disable-optimization
+HLINT_OPTS     ?= --cross --report=dist/report.html
 
 SETUP_FILE := $(wildcard Setup.*hs)
 CABAL_FILE := $(wildcard *.cabal)
@@ -117,7 +118,7 @@ fixme:
                || echo 'No FIXME or THINKME found.'
 
 lint:
-       $(HLINT) . --cross --report
+       $(HLINT) . $(HLINT_OPTS)
 
 push: push-repo push-ditz push-doc