diff options
| author | Maxime Dénès | 2018-11-27 10:55:44 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-01-09 11:18:22 +0100 |
| commit | d61f17be123b1d7f2aaba3291ad4c51c78e63df5 (patch) | |
| tree | 46917b958ed5506ed42cfc747df5b9869f9def53 | |
| parent | 7f2e50319d77d09ecc9fdbd6695dd9c92f8389d0 (diff) | |
Make it possible to pass flags to coq when running test suite
| -rw-r--r-- | test-suite/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index 34a1900bbc..37091a49e5 100644 --- a/test-suite/Makefile +++ b/test-suite/Makefile @@ -36,9 +36,10 @@ include ../Makefile.common # easily overridden LIB := .. BIN := $(shell cd ..; pwd)/bin/ +COQFLAGS?= -coqtop := $(BIN)coqtop -coqlib $(LIB) -boot -q -batch -test-mode -R prerequisite TestSuite -coqc := $(BIN)coqc -coqlib $(LIB) -R prerequisite TestSuite +coqtop := $(BIN)coqtop -coqlib $(LIB) -boot -q -batch -test-mode -R prerequisite TestSuite $(COQFLAGS) +coqc := $(BIN)coqc -coqlib $(LIB) -R prerequisite TestSuite $(COQFLAGS) coqchk := $(BIN)coqchk -coqlib $(LIB) -R prerequisite TestSuite coqdoc := $(BIN)coqdoc coqtopbyte := $(BIN)coqtop.byte |