Add context flag for Cpsa

The a larger context flag is needed to help Cpsa build with GHC 7.
dmpots · Oct 19, 2010 · 0ff7039 · 0ff7039
1 parent a4cb49d
commit 0ff7039
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/GhcLlvm_Config.hs b/GhcLlvm_Config.hs
@@ -38,4 +38,7 @@ build (ConfigTune Peak) ConfigBenchDefault = do
   append ConfigureFlags "-O2"
   append ConfigureFlags "--ghc-option=-fllvm"
 
+build (ConfigTuneDefault) (ConfigBench Cpsa) = do
+  append BuildFlags "--ghc-option=-fcontext-stack=42"
+
 build _ _ = done