🔧 Make test suites threaded

lsrcz · Sep 28, 2023 · 78daca1 · 78daca1
1 parent 4a36ab9
commit 78daca1
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
diff --git a/grisette.cabal b/grisette.cabal
@@ -160,7 +160,7 @@ test-suite doctest
       Paths_grisette
   hs-source-dirs:
       doctest
-  ghc-options: -Wextra -Werror -Wcompat -Widentities -Wincomplete-record-updates -Wmissing-export-lists -Wmissing-home-modules -Wmissing-import-lists -Wpartial-fields -Wunused-type-patterns
+  ghc-options: -Wextra -Werror -Wcompat -Widentities -Wincomplete-record-updates -Wmissing-export-lists -Wmissing-home-modules -Wmissing-import-lists -Wpartial-fields -Wunused-type-patterns -threaded -rtsopts -with-rtsopts=-N
   build-depends:
       Glob
     , QuickCheck >=2.13.2 && <2.15
@@ -213,7 +213,7 @@ test-suite spec
       Paths_grisette
   hs-source-dirs:
       test
-  ghc-options: -Wextra -Werror -Wcompat -Widentities -Wincomplete-record-updates -Wmissing-export-lists -Wmissing-home-modules -Wmissing-import-lists -Wpartial-fields -Wunused-type-patterns
+  ghc-options: -Wextra -Werror -Wcompat -Widentities -Wincomplete-record-updates -Wmissing-export-lists -Wmissing-home-modules -Wmissing-import-lists -Wpartial-fields -Wunused-type-patterns -threaded -rtsopts -with-rtsopts=-N
   build-depends:
       HUnit ==1.6.*
     , QuickCheck >=2.13.2 && <2.15

diff --git a/package.yaml b/package.yaml
@@ -90,10 +90,18 @@ tests:
       - test-framework-hunit >= 0.3.0.2 && < 0.4
       - test-framework-quickcheck2 >= 0.3.0.5 && < 0.4
       - HUnit >= 1.6 && < 1.7
+    ghc-options:
+      - -threaded
+      - -rtsopts
+      - -with-rtsopts=-N
   doctest:
     main: Main.hs
     source-dirs: doctest
     dependencies:
       - grisette
       - doctest >= 0.18.2 && < 0.22
       - Glob
+    ghc-options:
+      - -threaded
+      - -rtsopts
+      - -with-rtsopts=-N