git.iko.soy/Idris-dev
on master help sign in
Saner set of suggested defaults for cabal flags.
7523632Jan de Muijnck-Hughes
custom.mk-alldeps+1−2
compare with master
unifiedsplit
@@ -1,2 +1 @@
1−CABALFLAGS += -f LLVM -f FFI -f curses
1+CABALFLAGS += -f LLVM -f FFI -f curses --disable-documentation --disable-profiling --disable-library-profiling
2−