Skip to content
Snippets Groups Projects
Commit 5a2cf2e2 authored by Ralf Jung's avatar Ralf Jung
Browse files

port a Makefile fix from Iris

parent 64ec9b56
No related branches found
No related tags found
No related merge requests found
Pipeline #47460 passed
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 1 deletion
Makefile.coq.local
+ 2
− 1
View file @ 5a2cf2e2
...@@ -21,7 +21,8 @@ test: $(TESTFILES:.v=.vo) ...@@ -21,7 +21,8 @@ test: $(TESTFILES:.v=.vo)
.PHONY: test .PHONY: test
COQ_TEST=$(COQTOP) $(COQDEBUG) -batch -test-mode COQ_TEST=$(COQTOP) $(COQDEBUG) -batch -test-mode
COQ_MINOR_VERSION:=$(shell echo "$(COQ_VERSION)" | egrep '^[0-9]+\.[0-9]+\b' -o) # Need to make this a lazy variable (`=` instead of `:=`) since COQ_VERSION is only set later.
COQ_MINOR_VERSION=$(shell echo "$(COQ_VERSION)" | egrep '^[0-9]+\.[0-9]+\b' -o)
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