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