git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2148 from jfdm/update/saner-custom.mk
b4d23ebDavid Christiansen
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−