on 43dda21 help sign in
34 lines 943 B history raw
1module Main where
3import TestRunner (mainWith)
4import BuildLib (Quickness(..))
5import Control.Applicative ((<|>))
6import Data.List (isInfixOf, isPrefixOf, isSuffixOf)
7import Data.Map (Map)
9import qualified Data.Map as Map
10import Targets (targets)
12rtsOpts :: Bool -> String -> String -> String
13rtsOpts relaxMem exeName target =
15 if relaxMem
16 then "-K16M -M1024M"
17 else "-K8M -M64M " <> targetSpecific
19 where
21 targetSpecific =
22 case target of
23 -- XXX Data.Array.* heap requirement increased for GHC-8.10
24 "Data.Array.Foreign" -> "-M128M"
25 "Data.Array.Prim" -> "-M128M"
26 "Data.Array.Prim.Pinned" -> "-M128M"
27 "Prelude.Rate" -> "-M512M"
28 -- For -O0 case writeChunks test fails, maybe we should have a
29 -- separate flag for O0 case?
30 "FileSystem.Handle" -> "-K16M"
31 _ -> ""
33main :: IO ()
34main = mainWith targets rtsOpts