From 5649158c48687db7f9d30f488804c4c18a11f9d0 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 15 Dec 2006 08:09:50 +0000
Subject: [PATCH] memory for resource make

---
 resource-1.0/Makefile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/resource-1.0/Makefile b/resource-1.0/Makefile
index 19a5ceb99..b8fedbc48 100644
--- a/resource-1.0/Makefile
+++ b/resource-1.0/Makefile
@@ -1,6 +1,11 @@
 GF=gf
 RTS=+RTS -M800M -K100M
 RTSS=+RTS -M1000M -K100M
+
+#may need this on amd64
+#RTS=+RTS -M2000M -K200M
+#RTSS=+RTS -M2000M -K200M
+
 GFCA=$(GF) -nocf
 GFCC=$(GF) -nocf -make
 GFC=$(GFCC) -src