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