blob: 95f05017d3eb1002aa6955615cec94cdb92abc32 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
# 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)
.PHONY: test
test:
$(MAKE) clean
emacs -batch -l ../../../generic/proof-site.el -l ../cct-lib.el \
-l runtest.el -f ert-run-tests-batch-and-exit
.PHONY: clean
clean:
rm -f *.vo *.glob *.vio *.vos *.vok .*.aux
|
