blob: 37915e0d6fcb28f060b52b279424a9da3cdf29bf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
ifeq "$(COQBIN)" ""
COQBIN=$(dir $(shell which coqtop))/
endif
all: $(patsubst %.v,%.v.log,$(wildcard *.v))
%.v.log: %.v
$(COQBIN)/coqtop -batch -I ../src -Q ../theories Ltac2 -lv $< > $@
if [ $$? = 0 ]; then \
echo " $<... OK"; \
else \
echo " $<... FAIL!"; \
fi; \
clean:
rm -f *.log
|
