GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-30 23:45:23 +03:00
Code Issues Projects Releases Wiki Activity

Fixes #320 Use -N1, not -N, as the default RTS option.

Browse Source
This commit is contained in:
Thomas M. DuBuisson 2016-05-31 10:38:13 -07:00
parent a139c4e1d1
commit 363651c907
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
cryptol.cabal
View File

@ -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