diff options
| author | bjorn <bjorn@bringert.net> | 2008-02-26 17:22:38 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-02-26 17:22:38 +0000 |
| commit | 44454a93ab8a2edc9d25be65f34a7ad6e57f9f4f (patch) | |
| tree | 945b16ccfaa330a07ccf6e36656fced122709691 | |
| parent | c430d88a09739f3b78ef9b36ba0236b330611764 (diff) | |
Build gf-embed with -O2.
| -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 |