msyds/gf-rgl
1
0
Fork 0
forked from GitHub/gf-rgl
Code Pull Requests Activity

resource.txt updates ; lock field and lookup book fixes

Browse Source
This commit is contained in:
aarne
2006-06-20 15:05:22 +00:00
parent 0b110b6bd2
commit f184e1aa1d
2 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
resource-1.0/Makefile
View File

@@ -1,5 +1,7 @@
GF=gf GF=gf
RTS=+RTS -M800M -K100M RTS=+RTS -M800M -K100M
RTSS=+RTS -M1800M -K100M
GFCA=$(GF) -nocf
GFCC=$(GF) -nocf -make GFCC=$(GF) -nocf -make
GFC=$(GFCC) -src GFC=$(GFCC) -src
GFCP=$(GFC) -preproc=./mkPresent GFCP=$(GFC) -preproc=./mkPresent
@@ -33,7 +35,7 @@ alltenses:
cp -p */*.gfc */*.gfr ../alltenses cp -p */*.gfc */*.gfr ../alltenses
langs: 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: present:

1
resource-1.0/common/ConstructX.gf
View File

@@ -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 = <>} ;
mkAdV : Str -> AdV = \s -> {s = s ; lock_AdV = <>} ; mkAdV : Str -> AdV = \s -> {s = s ; lock_AdV = <>} ;
mkAdA : Str -> AdA = \s -> {s = s ; lock_AdA = <>} ; mkAdA : Str -> AdA = \s -> {s = s ; lock_AdA = <>} ;
mkAdS : Str -> AdS = \s -> {s = s ; lock_AdS = <>} ;
mkAdN : Str -> AdN = \s -> {s = s ; lock_AdN = <>} ; mkAdN : Str -> AdN = \s -> {s = s ; lock_AdN = <>} ;
mkIAdv : Str -> IAdv = \s -> {s = s ; lock_IAdv = <>} ; mkIAdv : Str -> IAdv = \s -> {s = s ; lock_IAdv = <>} ;
mkCAdv : Str -> CAdv = \s -> {s = s ; lock_CAdv = <>} ; mkCAdv : Str -> CAdv = \s -> {s = s ; lock_CAdv = <>} ;