From 3739fc29ca1caecc06af0292921cfd3a247841d7 Mon Sep 17 00:00:00 2001
From: Michele Guerini Rocco <micheleguerinirocco@me.com>
Date: Tue, 14 Oct 2014 22:12:53 +0200
Subject: [PATCH] Disable dynamic again

I give up.
---
 alea.cabal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/alea.cabal b/alea.cabal
index 1807bac..bee49f5 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:         -O2 -dynamic