tests/Makefile


1
2
3
4
5
6
7

all: $(patsubst %.v,%.v.log,$(wildcard *.v))

%.v.log: %.v
	$(COQBIN)/coqtop -I ../src -Q ../theories Ltac2 < $< 2> $@

clean:
	rm -f *.log