From f184e1aa1dabb5b0112ae82fd82b320bb7a03810 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 20 Jun 2006 15:05:22 +0000
Subject: [PATCH] resource.txt updates ; lock field and lookup book fixes

---
 resource-1.0/Makefile             | 4 +++-
 resource-1.0/common/ConstructX.gf | 1 -
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/resource-1.0/Makefile b/resource-1.0/Makefile
index 1dc36527c..fbf4215d3 100644
--- a/resource-1.0/Makefile
+++ b/resource-1.0/Makefile
@@ -1,5 +1,7 @@
 GF=gf
 RTS=+RTS -M800M -K100M
+RTSS=+RTS -M1800M -K100M
+GFCA=$(GF) -nocf
 GFCC=$(GF) -nocf -make
 GFC=$(GFCC) -src
 GFCP=$(GFC) -preproc=./mkPresent
@@ -33,7 +35,7 @@ alltenses:
 	cp -p */*.gfc */*.gfr ../alltenses
 
 langs:
-	echo "s ;; pm | wf langs.gfcm" | $(GFCC) -path=alltenses:prelude ../alltenses/Lang???.gfc $(RTS)
+	echo "s ;; pm | wf langs.gfcm" | $(GFCA) -path=alltenses:prelude ../alltenses/Lang???.gfc $(RTSS)
 
 
 present:
diff --git a/resource-1.0/common/ConstructX.gf b/resource-1.0/common/ConstructX.gf
index f3ee9e7e5..45ebb1847 100644
--- a/resource-1.0/common/ConstructX.gf
+++ b/resource-1.0/common/ConstructX.gf
@@ -9,7 +9,6 @@ resource ConstructX = open CommonX in {
     mkAdv : Str -> Adv  = \s -> {s = s ; lock_Adv = <>} ;
     mkAdV : Str -> AdV  = \s -> {s = s ; lock_AdV = <>} ;
     mkAdA : Str -> AdA  = \s -> {s = s ; lock_AdA = <>} ;
-    mkAdS : Str -> AdS  = \s -> {s = s ; lock_AdS = <>} ;
     mkAdN : Str -> AdN  = \s -> {s = s ; lock_AdN = <>} ;
     mkIAdv : Str -> IAdv  = \s -> {s = s ; lock_IAdv = <>} ;
     mkCAdv : Str -> CAdv  = \s -> {s = s ; lock_CAdv = <>} ;