hake: Increase the stack size of the Haskell Runtime System from 8MB (default)

      to 32MB.

This patch fixes the following error.
stack overflow: use +RTS -K<size> to increase it

diff --git a/hake/Hakefile b/hake/Hakefile
index 8bba879..5c218da 100644 (file)
--- a/hake/Hakefile
+++ b/hake/Hakefile
@@ -1,5 +1,5 @@
 ----------------------------------------------------------------------
--- Copyright (c) 2009, 2011, ETH Zurich.
+-- Copyright (c) 2009, 2011, 2012, ETH Zurich.
 -- All rights reserved.
 --
 -- This file is distributed under the terms in the attached LICENSE file.
@@ -19,6 +19,7 @@ in
           Str "-package ghc",
           Str "-package ghc-paths",
           Str "-rtsopts=all",
+          Str "-with-rtsopts=\"-K32m\"",
           Str "-o", Out "hake" "/hake",
           Str "-outputdir", NoDep BuildTree "hake" "/",
           NStr "-i", NoDep SrcTree "src" "",

diff --git a/hake/hake.sh b/hake/hake.sh
index 0ba9f4b..91dba77 100755 (executable)
--- a/hake/hake.sh
+++ b/hake/hake.sh
@@ -132,6 +132,7 @@ ghc -O --make -XDeriveDataTypeable \
     -i$SRCDIR/hake \
     -ihake \
     -rtsopts=all \
+    -with-rtsopts="-K32m" \
     $SRCDIR/hake/Main.hs $LDFLAGS || exit 1
 
 if [ "$RUN_HAKE" == "No" ] ; then