diff options
| author | hallgren <hallgren@chalmers.se> | 2012-03-30 15:07:12 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-03-30 15:07:12 +0000 |
| commit | 07b2e41c2cc1bc635d92a6a37356f7e1199d192d (patch) | |
| tree | 0e3bc86287cd80e1233154243ac7f316580a4083 /src/server | |
| parent | e85a3fff563bbb71802fea686c9e23f1cfcd72d3 (diff) | |
gf.cabal: removing -O2
Removing "ghc-options: -O2" from gf.cabal has the following advantages:
+ Compiling GF is faster (time drops from 182s to 142s on my laptop)
+ Compiling the RGL is faster (time drops from 159s to 155s on my laptop)
+ Without the hardwired optimization level, the 'cabal configure' options
--enable-optimization=<n> and --disable-optimization work as expected
(so if you still want -O2, use --enable-optimization=2)
+ GF can be compiled with ghc-7.2.2 and ghc-7.4.1 (-O2 triggers a bug in
these versions of ghc, it seems. Another workaround, discovered by
Sergei Trofimovich, is to use -O0 in Data.Binary.)
Diffstat (limited to 'src/server')
0 files changed, 0 insertions, 0 deletions