@@ -114,7 +114,7 @@ Extra-source-files:
114114 libs/contrib/Classes/*.idr
115115 libs/contrib/Control/*.idr
116116 libs/contrib/Control/Isomorphism/*.idr
117− libs/contrib/Control/Algebra/*.idr
117+ libs/contrib/Control/Algebra/*.idr
118118 libs/contrib/Data/*.idr
119119 libs/contrib/Decidable/*.idr
120120 libs/contrib/Network/*.idr
@@ -914,7 +914,7 @@ Library
914914 , TemplateHaskell
915915
916916 ghc-prof-options: -auto-all -caf-all
917− ghc-options: -threaded -rtsopts
917+ ghc-options: -threaded -rtsopts -O2
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
961+ ghc-options: -threaded -rtsopts -funbox-strict-fields -O2
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
974+ ghc-options: -threaded -rtsopts -funbox-strict-fields -O2
975975
976976Executable idris-javascript
977977 Main-is: Main.hs