work on type inference some more

[ccc.git] / test / Makefile

diff --git a/test/Makefile b/test/Makefile
new file mode 100644 (file)
index 0000000..faaff6a
--- /dev/null
+++ b/test/Makefile
@@ -0,0 +1,19 @@
+TESTOBJECTS:=$(patsubst %.c,%.o,$(wildcard *.c))
+TESTS:=$(patsubst %.o,%,$(TESTOBJECTS))
+
+LDLIBS+=$(shell pkg-config --libs check)
+
+.PHONY: test
+
+test_sem_hm_gamma.o: CFLAGS+=$(shell pkg-config --cflags check)
+
+test_sem_hm_gamma: test_sem_hm_gamma.o $(addprefix ../sem/hm/,gamma.o scheme.o subst.o) ../util.o ../type.o
+
+test: $(TESTS)
+       $(foreach f,$^,./$(f);)
+
+clean:
+       $(RM) $(TESTOBJECTS) $(TESTS)
+ifeq ($(MAKELEVEL), 0)
+       $(MAKE) -C ../ clean
+endif