From 281987ea2daca3d3325f6ce03b9436faf4c88fc4 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 15 Dec 2006 08:09:50 +0000 Subject: [PATCH] memory for resource make --- lib/resource-1.0/Makefile | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/lib/resource-1.0/Makefile b/lib/resource-1.0/Makefile index 19a5ceb99..b8fedbc48 100644 --- a/lib/resource-1.0/Makefile +++ b/lib/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