blob: 4ae0a433e3d5f039b72f13606aabe2874108f367 (
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 ert -l ../../../generic/proof-site.el -l ../cct-lib.el \
-l test.el -f ert-run-tests-batch-and-exit
.PHONY: clean
clean:
rm -f *.vo *.glob *.vio *.vos *.vok .*.aux
|
