blob: eb6223013d9930fcced070c091eddc79a16d8724 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
# This file is part of Proof General.
#
# © Copyright 2020 Hendrik Tews
#
# Authors: Hendrik Tews
# Maintainer: Hendrik Tews <hendrik@askra.de>
#
# License: GPL (GNU GENERAL PUBLIC LICENSE)
# This test modifies some .v files during the test. The original
# versions are in .v.orig files. They are moved to the corresponding
# .v files before the test starts.
TEST_SOURCES:=a.v b.v c.v d.v e.v f.v g.v h.v i.v j.v k.v
.PHONY: test
test:
$(MAKE) clean
$(MAKE) $(TEST_SOURCES)
emacs -batch -l ../../../generic/proof-site.el -l ../cct-lib.el \
-l runtest.el -f ert-run-tests-batch-and-exit
%.v: %.v.orig
cp $< $@
.PHONY: clean
clean:
rm -f *.vo *.glob *.vio *.vos *.vok .*.aux $(TEST_SOURCES)
|
