GNUmakefile: add a re-configure target
commitaedba02368e26ef25d99a7bbf56b0222ef60345b
authorPeter Simons <simons@cryp.to>
dateThu 20 Aug 2015, 23:35 (11 years ago)
parentde15503
GNUmakefile+5−1
@@ -1,12 +1,16 @@
11# GNUmakefile
22
3−.PHONY: all configure build check haddock hlint clean
3+.PHONY: all configure re-configure build check haddock hlint clean
44
55all:: check
66
77configure:: cabal2nix.cabal
88 @cabal -v0 configure --ghc-option=-j --enable-tests
99
10+re-configure::
11+ @rm -f cabal2nix.cabal
12+ @$(MAKE) configure
13+
1014build:: configure
1115 @cabal build -j
1216