From fa03ea4ab9d0ab5569cb9bafc646ad0500755485 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Wed, 22 May 2019 09:58:59 +0200
Subject: [PATCH] [Makefile] ensure directory lib/plugins exists for META files

---
 share/Makefile.plugin.template | 1 +
 1 file changed, 1 insertion(+)

diff --git a/share/Makefile.plugin.template b/share/Makefile.plugin.template
index df7931022fe..d9be7dfb479 100644
--- a/share/Makefile.plugin.template
+++ b/share/Makefile.plugin.template
@@ -523,6 +523,7 @@ endif # FRAMAC_INTERNAL
 $(TARGET_META):
 	$(PRINT_MAKING) $(notdir $@)
 	$(RM) $@
+	$(MKDIR) $(dir $@)
 	$(ECHO) "description = \"$($(notdir $@).DESCRIPTION)\"" >> $@
 	$(ECHO) "version = \"$($(notdir $@).VERSION)\""         >> $@
 	$(ECHO) "requires = \"frama-c.kernel $($(notdir $@).REQUIRES)\""       >> $@
-- 
GitLab