From 3611eece6ddea4057d0ce84b7798ed2f3268982c Mon Sep 17 00:00:00 2001
From: Rnhmjoj <micheleguerinirocco@me.com>
Date: Tue, 14 Oct 2014 20:41:04 +0200
Subject: [PATCH] Disable dynamic compilation

Not currently usable in cabal.
---
 alea.cabal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/alea.cabal b/alea.cabal
index 8c64b1e..3f95057 100644
--- a/alea.cabal
+++ b/alea.cabal
@@ -26,4 +26,4 @@ executable alea
   other-extensions:    DeriveDataTypeable, RecordWildCards
   build-depends:       base ==4.7.* , containers ==0.5.*,
                        cmdargs ==0.10.*, random ==1.1.*
-  ghc-options:         -O2 -dynamic
+  --ghc-options:         -dynamic