Make install targets depend on vo files

This way the opam install target won't fail.
mit-plv · Nov 20, 2023 · 1054ed1 · 1054ed1
1 parent 00a4b8e
commit 1054ed1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -488,8 +488,8 @@ clean::
 cleanall:: clean
 	rm -rf src/Rewriter/PerfTesting/Specific/generated
 
-install: coq
-install-without-bedrock2: coq-without-bedrock2
+install: coq $(filter %.vo,$(FILESTOINSTALL))
+install-without-bedrock2: coq-without-bedrock2 $(filter %.vo,$(filter-out $(BEDROCK2_FILES_PATTERN),$(FILESTOINSTALL)))
 
 install-without-bedrock2:
 	$(HIDE)$(MAKE) -f Makefile.coq install FILESTOINSTALL="$(filter-out $(BEDROCK2_FILES_PATTERN),$(FILESTOINSTALL))"