Skip to content

C
cpdt
Commit 3ae66494 authored by Adam Chlipala's avatar Adam Chlipala
Browse files
Options

Change make invocations to work properly with -j

parent c50d4d01
Hide whitespace changes
Inline Side-by-side
Showing with 4 additions and 4 deletions
src/Large.v
View file @ 3ae66494
......@@ -756,13 +756,13 @@ VS := $(MODULES:%=%.v)
.PHONY: coq clean
coq: Makefile.coq
make -f Makefile.coq
$(MAKE) -f Makefile.coq
Makefile.coq: Makefile $(VS)
coq_makefile -R . Lib $(VS) -o Makefile.coq
clean:: Makefile.coq
make -f Makefile.coq clean
$(MAKE) -f Makefile.coq clean
rm -f Makefile.coq
>>
......@@ -785,13 +785,13 @@ VS := $(MODULES:%=%.v)
.PHONY: coq clean
coq: Makefile.coq
make -f Makefile.coq
$(MAKE) -f Makefile.coq
Makefile.coq: Makefile $(VS)
coq_makefile -R LIB Lib -R . Client $(VS) -o Makefile.coq
clean:: Makefile.coq
make -f Makefile.coq clean
$(MAKE) -f Makefile.coq clean
rm -f Makefile.coq
>>
......
Markdown is supported
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