From 8f4105708ad31948818ee24552f32cd6ac6d22ed Mon Sep 17 00:00:00 2001 From: Yannick Forster Date: Wed, 25 Oct 2023 13:20:58 +0200 Subject: [PATCH] add install-plugins target in Makefile --- Makefile | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/Makefile b/Makefile index cae917e41..27eb2e0a6 100644 --- 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