git.iko.soy/Idris-dev
on master help sign in
Obey the user's optimization setting

Clearly there are use cases requiring a lower optimization setting, so let the user decide via config or flag like before. Rather than hard-coding either hig or low optimization.

commit0dd0d3bcf45ae2d050d17e372114c2f72c155c91 authorNiklas Larsson <metaniklas@gmail.com> dateWed 27 May 2015, 13:17 (11 years ago) parent473d7c2
1 file changed+5−5
compare with master
unifiedsplit
idris.cabal+5−5
idris.cabal+5−5
@@ -914,7 +914,7 @@ Library
914914 , TemplateHaskell
915915
916916 ghc-prof-options: -auto-all -caf-all
917− ghc-options: -threaded -rtsopts -O1
917+ ghc-options: -threaded -rtsopts
918918
919919 if os(linux)
920920 cpp-options: -DLINUX
@@ -958,7 +958,7 @@ Executable idris
958958 , transformers
959959
960960 ghc-prof-options: -auto-all -caf-all
961− ghc-options: -threaded -rtsopts -funbox-strict-fields -O2
961+ ghc-options: -threaded -rtsopts -funbox-strict-fields
962962
963963Executable idris-c
964964 Main-is: Main.hs
@@ -971,7 +971,7 @@ Executable idris-c
971971 , transformers
972972
973973 ghc-prof-options: -auto-all -caf-all
974− ghc-options: -threaded -rtsopts -funbox-strict-fields -O2
974+ ghc-options: -threaded -rtsopts -funbox-strict-fields
975975
976976Executable idris-javascript
977977 Main-is: Main.hs
@@ -984,7 +984,7 @@ Executable idris-javascript
984984 , transformers
985985
986986 ghc-prof-options: -auto-all -caf-all
987− ghc-options: -threaded -rtsopts -funbox-strict-fields -O2
987+ ghc-options: -threaded -rtsopts -funbox-strict-fields
988988
989989Executable idris-node
990990 Main-is: Main.hs
@@ -997,4 +997,4 @@ Executable idris-node
997997 , transformers
998998
999999 ghc-prof-options: -auto-all -caf-all
1000− ghc-options: -threaded -rtsopts -funbox-strict-fields -O2
1000+ ghc-options: -threaded -rtsopts -funbox-strict-fields