From d0928f8d04131f5524cf6d206ee7b711956d6d1e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Manuel=20B=C3=A4renz?= Date: Tue, 30 Jan 2024 11:30:28 +0100 Subject: [PATCH] wip --- rhine-bayes/rhine-bayes.cabal | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/rhine-bayes/rhine-bayes.cabal b/rhine-bayes/rhine-bayes.cabal index 9c35a3520..a7bf29695 100644 --- a/rhine-bayes/rhine-bayes.cabal +++ b/rhine-bayes/rhine-bayes.cabal @@ -80,7 +80,9 @@ executable rhine-bayes-gloss TypeFamilies TypeOperators - ghc-options: -W -threaded -rtsopts -with-rtsopts=-N + ghc-options: -W -rtsopts -with-rtsopts=-N + if !os(darwin) + ghc-options: -threaded if flag(dev) ghc-options: -Werror