diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/Makefile b/tests/Makefile index 9370b063f8..37915e0d6f 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -1,3 +1,7 @@ +ifeq "$(COQBIN)" "" + COQBIN=$(dir $(shell which coqtop))/ +endif + all: $(patsubst %.v,%.v.log,$(wildcard *.v)) %.v.log: %.v |