1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
TESTVFILES=$(wildcard tests/*.v)
TESTVOFILES=$(TESTVFILES:.v=.vo)
test: $(TESTVOFILES)
.PHONY: test
.CoqMakefile.test.d: $(TESTVFILES)
$(SHOW)'COQDEP TESTVFILES'
$(HIDE)$(COQDEP) -vos -dyndep var $(COQMF_COQLIBS_NOML) $^ $(redir_if_ok)
-include .CoqMakefile.test.d
$(TESTVOFILES): %.vo: %.v
$(SHOW)TEST $<
$(HIDE)$(TIMER) $(COQC) $(COQDEBUG) $(TIMING_ARG) $(COQFLAGS) $(COQLIBS) $< $(TIMING_EXTRA)
clean::
$(HIDE)rm -f $(TESTVOFILES)
$(HIDE)rm -f .CoqMakefile.test.d
# Local Variables:
# mode: Makefile
# End:
|
