From 363651c907e08123d0bbfa1f51e3f8aff24a298f Mon Sep 17 00:00:00 2001 From: "Thomas M. DuBuisson" Date: Tue, 31 May 2016 10:38:13 -0700 Subject: [PATCH] Fixes #320 Use -N1, not -N, as the default RTS option. --- cryptol.cabal | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/cryptol.cabal b/cryptol.cabal index ffbad88f..6f637a9d 100644 --- a/cryptol.cabal +++ b/cryptol.cabal @@ -197,7 +197,7 @@ executable cryptol , sbv , tf-random , transformers - GHC-options: -Wall -O2 -threaded -rtsopts -with-rtsopts=-N + GHC-options: -Wall -O2 -threaded -rtsopts -with-rtsopts=-N1 ghc-prof-options: -auto-all -prof -rtsopts if os(linux) && flag(static) @@ -209,7 +209,7 @@ executable cryptol-server other-modules: Cryptol.Aeson default-language: Haskell2010 default-extensions: OverloadedStrings - GHC-options: -Wall -O2 -threaded -rtsopts -with-rtsopts=-N + GHC-options: -Wall -O2 -threaded -rtsopts -with-rtsopts=-N1 ghc-prof-options: -auto-all -prof -rtsopts if os(linux) && flag(static) ld-options: -static -pthread