ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-13 07:26:59 +03:00
Code Issues Projects Releases Wiki Activity

Saner set of suggested defaults for cabal flags.

Browse Source 
Following from observations seen on IRC, a set of alternate cabal
flags has been presented in `custom.mk-alldeps`. These flags ensure
that the build does not do profiling, nor build documentation. These
are useful optimisations for building Idris.
This commit is contained in:
Jan de Muijnck-Hughes 2015-04-14 23:08:37 +01:00
parent b450502f91
commit 75236325c5
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
custom.mk-alldeps
View File

@ -1,2 +1 @@
CABALFLAGS += -f LLVM -f FFI -f curses
CABALFLAGS += -f LLVM -f FFI -f curses --disable-documentation --disable-profiling --disable-library-profiling