From 734cabb75951b72a5bb08cb14d0ba89c06a63355 Mon Sep 17 00:00:00 2001 From: tpajenka Date: Tue, 4 Mar 2014 14:31:00 +0100 Subject: [PATCH] system dependant ghc-options --- Pioneers.cabal | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/Pioneers.cabal b/Pioneers.cabal index f9aef18..1fbb7ce 100644 --- a/Pioneers.cabal +++ b/Pioneers.cabal @@ -6,7 +6,11 @@ author: sdressel executable Pioneers hs-source-dirs: src - ghc-options: -Wall -Odph -rtsopts -threaded -fno-liberate-case -funfolding-use-threshold1000 -funfolding-keeness-factor1000 -optlo-O3 + if os(windows) { + ghc-options: -Wall -Odph -rtsopts -threaded -fno-liberate-case -funfolding-use-threshold1000 -funfolding-keeness-factor1000 -optlo-O3 + } else { + ghc-options: -Wall -Odph -rtsopts -threaded -fno-liberate-case -funfolding-use-threshold1000 -funfolding-keeness-factor1000 -optlo-O3 -fllvm + } other-modules: Map.Map, Render.Misc,