diff options
Diffstat (limited to 'tests/Makefile')
| -rw-r--r-- | tests/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/Makefile b/tests/Makefile index 37915e0d6f..d85ae90dd6 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -1,11 +1,11 @@ ifeq "$(COQBIN)" "" - COQBIN=$(dir $(shell which coqtop))/ + COQBIN=$(dir $(shell which coqc))/ endif all: $(patsubst %.v,%.v.log,$(wildcard *.v)) %.v.log: %.v - $(COQBIN)/coqtop -batch -I ../src -Q ../theories Ltac2 -lv $< > $@ + $(COQBIN)/coqc -I ../src -Q ../theories Ltac2 $< > $@ if [ $$? = 0 ]; then \ echo " $<... OK"; \ else \ |