From 44454a93ab8a2edc9d25be65f34a7ad6e57f9f4f Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Tue, 26 Feb 2008 17:22:38 +0000
Subject: [PATCH] Build gf-embed with -O2.

---
 src/GF-embed.cabal | 1 +
 1 file changed, 1 insertion(+)

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