Set default GHC flags to -O1
-O2 causes massive memory consumption while compiling Idris. In particular, GHC 7.8.4 needs more than four gigabytes of RAM to compile Elab.Term with -O2, which rules out Idris installation for many machines and causes Travis builds to terminate.
commit473d7c24d1ecec8337bbc2fc660c205557e4c137
authorDavid Christiansen <david@davidchristiansen.dk>
dateWed 27 May 2015, 11:14 (11 years ago)
parent5f33e4a
idris.cabal+1−1
@@ -914,7 +914,7 @@ Library
914914 , TemplateHaskell
915915
916916 ghc-prof-options: -auto-all -caf-all
917− ghc-options: -threaded -rtsopts -O2
917+ ghc-options: -threaded -rtsopts -O1
918918
919919 if os(linux)
920920 cpp-options: -DLINUX