diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/GF-embed.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF-embed.cabal b/src/GF-embed.cabal index 89312056e..54dce00b6 100644 --- a/src/GF-embed.cabal +++ b/src/GF-embed.cabal @@ -14,6 +14,7 @@ Library Build-depends: base >= 3.0, array, containers, directory, random else Build-depends: base < 3.0 + Ghc-options: -O2 Extensions: Exposed-Modules: GF.GFCC.API |