git.iko.soy/Idris-dev
on master help sign in
Set CI to anything when running make, then the cabal flag CI will be set
5c17e42Norbert Melzer
Makefile+4
compare with master
unifiedsplit
@@ -3,6 +3,10 @@
3include config.mk
3include config.mk
4-include custom.mk
4-include custom.mk
5
5
6+ifdef CI
7+CABALFLAGS += -f CI
8+endif
9+
6install:
10install:
7 $(CABAL) install $(CABALFLAGS)
11 $(CABAL) install $(CABALFLAGS)
8
12