add install-plugins target in Makefile

MetaCoq · Nov 1, 2023 · 8f41057 · 8f41057
1 parent eaf372c
commit 8f41057
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -160,6 +160,16 @@ erasure: safechecker template-pcuic
 erasure-plugin: erasure template-pcuic
 	$(MAKE) -C erasure-plugin
 
+install-plugins: erasure-plugin safechecker-plugin
+	$(MAKE) -C utils install
+	$(MAKE) -C common install
+	$(MAKE) -C template-coq install
+	$(MAKE) -C pcuic install
+	$(MAKE) -C template-pcuic install
+	$(MAKE) -C erasure install
+	$(MAKE) -C safechecker-plugin install
+	$(MAKE) -C erasure-plugin install
+
 examples: safechecker-plugin erasure-plugin
 	$(MAKE) -C examples