From a494c713e1500419c96a2ae86fa4edd34af90118 Mon Sep 17 00:00:00 2001 From: hallgren Date: Mon, 25 Aug 2014 11:22:20 +0000 Subject: [PATCH] Setup.hs: disable parallel RGL build support for now, since it is incompatible with Cabal<1.20 --- WebSetup.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/WebSetup.hs b/WebSetup.hs index 80f5fe454..91b436726 100644 --- a/WebSetup.hs +++ b/WebSetup.hs @@ -100,8 +100,8 @@ execute command args = numJobs flags = if null n then [] - else ["-j=8"++n,"+RTS","-A20M","-N"++n,"-RTS"] + else ["-j="++n,"+RTS","-A20M","-N"++n,"-RTS"] where - n = case buildNumJobs flags of + n = {-case buildNumJobs flags of Flag mn | mn/=Just 1-> maybe "" show mn - _ -> "" + _ ->-} ""