Skip to content
Snippets Groups Projects
Commit f5854915 authored by Pierre Roux's avatar Pierre Roux
Browse files

Prepare for https://github.com/coq/coq/pull/19059

parent e40779e3
No related branches found
No related tags found
1 merge request!554Prepare for https://github.com/coq/coq/pull/19059
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
Makefile.coq.local
+ 1
− 1
View file @ f5854915
...@@ -27,7 +27,7 @@ COQ_TEST=$(COQTOP) $(COQDEBUG) -batch -test-mode ...@@ -27,7 +27,7 @@ COQ_TEST=$(COQTOP) $(COQDEBUG) -batch -test-mode
# These versions of Coq are known to have different output so we don't test them. # These versions of Coq are known to have different output so we don't test them.
# Need to make this a lazy variable (`=` instead of `:=`) since COQ_VERSION is only set later. # Need to make this a lazy variable (`=` instead of `:=`) since COQ_VERSION is only set later.
# Make sure to recognize both 8.$NUM.0 and 8.$NUM+alpha. # Make sure to recognize both 8.$NUM.0 and 8.$NUM+alpha.
COQ_NOREF=$(shell echo "$(COQ_VERSION)" | grep -E "^8\.(16|17|18|20)[.+]" -q && echo 1) COQ_NOREF=$(shell echo "$(COQ_VERSION)" | grep -E "^8\.(16|17|18|20|21)[.+]" -q && echo 1)
tests/.coqdeps.d: $(TESTFILES) tests/.coqdeps.d: $(TESTFILES)
$(SHOW)'COQDEP TESTFILES' $(SHOW)'COQDEP TESTFILES'
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment