From c296090655d8de1bc95319e6d6127530112d5fb1 Mon Sep 17 00:00:00 2001 From: Joshua Moerman Date: Tue, 22 Jan 2019 14:06:42 +0100 Subject: [PATCH] simpler flags --- ons-hs.cabal | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/ons-hs.cabal b/ons-hs.cabal index 8635101..c693f4c 100644 --- a/ons-hs.cabal +++ b/ons-hs.cabal @@ -38,7 +38,7 @@ executable ons-hs-solver main-is: FoSolver.hs build-depends: base , ons-hs - ghc-options: -threaded -rtsopts -with-rtsopts=-N -O2 + ghc-options: -O2 default-language: Haskell2010 executable ons-hs-lstar @@ -49,7 +49,7 @@ executable ons-hs-lstar , ons-hs other-modules: ExampleAutomata , IO - ghc-options: -threaded -rtsopts -with-rtsopts=-N -O2 + ghc-options: -O2 default-language: Haskell2010 executable ons-hs-minimise @@ -60,7 +60,7 @@ executable ons-hs-minimise , ons-hs other-modules: ExampleAutomata , IO - ghc-options: -threaded -rtsopts -with-rtsopts=-N -O2 + ghc-options: -O2 default-language: Haskell2010 benchmark ons-hs-bench @@ -71,7 +71,7 @@ benchmark ons-hs-bench , criterion , deepseq , ons-hs - ghc-options: -threaded -rtsopts -with-rtsopts=-N -O2 + ghc-options: -O2 default-language: Haskell2010 test-suite ons-hs-test @@ -80,7 +80,6 @@ test-suite ons-hs-test main-is: Spec.hs build-depends: base , ons-hs - ghc-options: -threaded -rtsopts -with-rtsopts=-N default-language: Haskell2010 source-repository head