@@ -114,7 +114,7 @@ Extra-source-files:
114 libs/contrib/Classes/*.idr
114 libs/contrib/Classes/*.idr
115 libs/contrib/Control/*.idr
115 libs/contrib/Control/*.idr
116 libs/contrib/Control/Isomorphism/*.idr
116 libs/contrib/Control/Isomorphism/*.idr
117− libs/contrib/Control/Algebra/*.idr
117+ libs/contrib/Control/Algebra/*.idr
118 libs/contrib/Data/*.idr
118 libs/contrib/Data/*.idr
119 libs/contrib/Decidable/*.idr
119 libs/contrib/Decidable/*.idr
120 libs/contrib/Network/*.idr
120 libs/contrib/Network/*.idr
@@ -914,7 +914,7 @@ Library
914 , TemplateHaskell
914 , TemplateHaskell
916 ghc-prof-options: -auto-all -caf-all
916 ghc-prof-options: -auto-all -caf-all
917− ghc-options: -threaded -rtsopts
917+ ghc-options: -threaded -rtsopts -O2
919 if os(linux)
919 if os(linux)
920 cpp-options: -DLINUX
920 cpp-options: -DLINUX
@@ -958,7 +958,7 @@ Executable idris
958 , transformers
958 , transformers
960 ghc-prof-options: -auto-all -caf-all
960 ghc-prof-options: -auto-all -caf-all
961− ghc-options: -threaded -rtsopts -funbox-strict-fields
961+ ghc-options: -threaded -rtsopts -funbox-strict-fields -O2
963Executable idris-c
963Executable idris-c
964 Main-is: Main.hs
964 Main-is: Main.hs
@@ -971,7 +971,7 @@ Executable idris-c
971 , transformers
971 , transformers
973 ghc-prof-options: -auto-all -caf-all
973 ghc-prof-options: -auto-all -caf-all
974− ghc-options: -threaded -rtsopts -funbox-strict-fields
974+ ghc-options: -threaded -rtsopts -funbox-strict-fields -O2
976Executable idris-javascript
976Executable idris-javascript
977 Main-is: Main.hs
977 Main-is: Main.hs