Set CI to anything when running make, then the cabal flag CI will be set
commit5c17e4288cf71d23dcf8b5fa52e6e6cd2355e864
authorNorbert Melzer <timmelzer@gmail.com>
dateSun 4 Jan 2015, 18:04 (12 years ago)
parentfc949e8
Makefile+4
@@ -3,6 +3,10 @@
33include config.mk
44-include custom.mk
55
6+ifdef CI
7+CABALFLAGS += -f CI
8+endif
9+
610install:
711 $(CABAL) install $(CABALFLAGS)
812