debugging gfcc bug; resulted in some type annotations to work around problems

This commit is contained in:
aarne
2007-11-09 14:02:11 +00:00
parent 3cbaf00c3c
commit ce975919c9
6 changed files with 24 additions and 10 deletions

View File

@@ -29,7 +29,8 @@ GFCCP=$(GFCC) -preproc=./mkPresent
new:
export GF='../../bin/gf -s' ; make -e all
all: chmod show-path prelude present alltenses mathematical api langs compiled
all: langs compiled
#all: chmod show-path prelude present alltenses mathematical api langs compiled
chmod:
chmod a+x mkPresent