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 3532b335d4
commit 780148b429
5 changed files with 22 additions and 8 deletions
+2 -1
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