git.iko.soy/Idris-dev
on master help sign in
Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tactical
496954aDavid Raymond Christiansen
idris.cabal+1−1
compare with master
unifiedsplit
@@ -914,7 +914,7 @@ Library
914 , TemplateHaskell
914 , TemplateHaskell
915
915
916 ghc-prof-options: -auto-all -caf-all
916 ghc-prof-options: -auto-all -caf-all
917− ghc-options: -threaded -rtsopts -O2
917+ ghc-options: -threaded -rtsopts -O1
918
918
919 if os(linux)
919 if os(linux)
920 cpp-options: -DLINUX
920 cpp-options: -DLINUX