diff options
| author | hallgren <hallgren@chalmers.se> | 2015-09-11 15:15:53 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-09-11 15:15:53 +0000 |
| commit | 95d2b67556f0b0aa214e3fa52da864ffe7394644 (patch) | |
| tree | 68b645363c0aec47bca1eff96cec9fd7e9790d1e | |
| parent | bde7347045ae510f66c135aba6862ff81a75419b (diff) | |
WebSetup.hs: always enable parallel compilation of the RGL and the example grammars
This should work nicely now that GF itself can detect the number of processors
in the system.
Previously there was some code in WebSetup.hs that relied on Cabal to do this,
but it was commented out because it requires Cabal>=1.20, which is fairly new
and it would complicate the installation instructions if it was required to
compile GF...
| -rw-r--r-- | WebSetup.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/WebSetup.hs b/WebSetup.hs index b4b6520ea..3e2e0832d 100644 --- a/WebSetup.hs +++ b/WebSetup.hs @@ -102,9 +102,10 @@ execute command args = -- to avoid casing problems for developers using Cabal<1.20 numJobs flags = if null n - then ["-j=1"] + then ["-j","+RTS","-A20M","-N","-RTS"] else ["-j="++n,"+RTS","-A20M","-N"++n,"-RTS"] where + -- buildNumJobs is only available in Cabal>=1.20 n = {-case buildNumJobs flags of Flag mn | mn/=Just 1-> maybe "" show mn _ ->-} "" |
