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