work on type inference some more

[ccc.git] / Makefile

diff --git a/Makefile b/Makefile
index 949b3e8..5328897 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,10 @@
-CFLAGS+=-Wall -Wextra -std=c99 -pedantic -D_XOPEN_SOURCE=700 -ggdb
+CFLAGS+=-Wall -Wextra -std=c99 -pedantic -ggdb
 YFLAGS+=-d --locations -v --defines=parse.h
 LFLAGS+=--header-file=scan.h
 
-OBJECTS:=scan.o parse.o ast.o util.o list.o type.o genc.o scc.o
+OBJECTS:=scan.o parse.o ast.o type.o util.o list.o sem.o genc.o \
+       sem/scc.o\
+       $(addprefix sem/hm, .o /gamma.o /subst.o /scheme.o)
 
 all: splc
 splc: $(OBJECTS)
@@ -10,5 +12,13 @@ scan.c: scan.l parse.h
 parse.h: parse.c
 expr.c: y.tab.h
 
+scan.o: CFLAGS+=-D_XOPEN_SOURCE=700
+
+.PHONY: test
+
+test:
+       CFLAGS="$(CFLAGS)" $(MAKE) -C test test
+
 clean:
        $(RM) $(OBJECTS) y.output parse.h scan.h scan.c parse.c expr a.c
+       $(MAKE) -C test clean