diff options
| author | hallgren <hallgren@chalmers.se> | 2014-08-25 11:22:20 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-08-25 11:22:20 +0000 |
| commit | a494c713e1500419c96a2ae86fa4edd34af90118 (patch) | |
| tree | 9f1d285a2019312bdb0f1131136e74dc815adaac | |
| parent | d84c5ef1715c3e4aed4098ee9c847e2dcc86cba4 (diff) | |
Setup.hs: disable parallel RGL build support for now, since it is incompatible with Cabal<1.20
| -rw-r--r-- | WebSetup.hs | 6 |
1 files 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 - _ -> "" + _ ->-} "" |
