fixup makefile

LPCIC · Feb 12, 2021 · db1726f · db1726f
1 parent 5fe7ba3
commit db1726f
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 8 deletions.
diff --git a/Makefile b/Makefile
@@ -77,9 +77,9 @@ install:
 # compile just one file
 theories/%.vo: force
 	@$(MAKE) --no-print-directory -f Makefile.coq $@
-tests/%.vo: force
+tests/%.vo: force build
 	@$(MAKE) --no-print-directory -f Makefile.test.coq $@
-examples/%.vo: force
+examples/%.vo: force build
 	@$(MAKE) --no-print-directory -f Makefile.test.coq $@
 
 SPACE=$(XXX) $(YYY)

diff --git a/apps/NES/Makefile b/apps/NES/Makefile
@@ -19,9 +19,9 @@ test: Makefile.test.coq
 
 theories/%.vo: force
 	@$(MAKE) --no-print-directory -f Makefile.coq $@
-tests/%.vo: force
+tests/%.vo: force build
 	@$(MAKE) --no-print-directory -f Makefile.test.coq $@
-examples/%.vo: force
+examples/%.vo: force build
 	@$(MAKE) --no-print-directory -f Makefile.test.coq $@
 
 Makefile.coq Makefile.coq.conf: _CoqProject

diff --git a/apps/derive/Makefile b/apps/derive/Makefile
@@ -19,9 +19,9 @@ test: Makefile.test.coq
 
 theories/%.vo: force
 	@$(MAKE) --no-print-directory -f Makefile.coq $@
-tests/%.vo: force
+tests/%.vo: force build
 	@$(MAKE) --no-print-directory -f Makefile.test.coq $@
-examples/%.vo: force
+examples/%.vo: force build
 	@$(MAKE) --no-print-directory -f Makefile.test.coq $@
 
 Makefile.coq Makefile.coq.conf: _CoqProject

diff --git a/apps/eltac/Makefile b/apps/eltac/Makefile
@@ -19,9 +19,9 @@ test: Makefile.test.coq
 
 theories/%.vo: force
 	@$(MAKE) --no-print-directory -f Makefile.coq $@
-tests/%.vo: force
+tests/%.vo: force build
 	@$(MAKE) --no-print-directory -f Makefile.test.coq $@
-examples/%.vo: force
+examples/%.vo: force build
 	@$(MAKE) --no-print-directory -f Makefile.test.coq $@
 
 Makefile.coq Makefile.coq.conf: _CoqProject