blob: dc5c8e73971c5b5b6e8c95f1a06a5fb1aef98f03 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
# This file is part of Proof General.
#
# © Copyright 2021 Hendrik Tews
#
# Authors: Hendrik Tews
# Maintainer: Hendrik Tews <hendrik@askra.de>
#
# License: GPL (GNU GENERAL PUBLIC LICENSE)
TESTS:=$(wildcard test-*.el)
SUCCESS:=$(TESTS:.el=.success)
all: $(SUCCESS)
test-%.success: test-%.el
emacs -batch -l ../../generic/proof-site.el -l $< \
-f ert-run-tests-batch-and-exit \
&& touch $@
.PHONY: clean
clean:
rm -f *.vo *.glob *.vio *.vos *.vok .*.aux *.success
|
