From 1444fe2951c314ed9c2f9e23268f214ef3daa888 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 3 Nov 2022 11:39:55 +0100
Subject: [PATCH] [Makefile] Also include Makefile.common

Otherwise Makefile.installing won't work out of the box
---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index bbb4b83..5e01364 100644
--- a/Makefile
+++ b/Makefile
@@ -24,6 +24,8 @@
 
 FRAMAC_SHARE:=$(shell frama-c-config -print-share-path)
 
+include $(FRAMAC_SHARE)/Makefile.common
+
 ##########################################################################
 # Build
 
-- 
GitLab