From 21725a171d42b6e006bbe70195ec9ee010203052 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Fri, 29 Jul 2022 15:45:37 +0200
Subject: [PATCH] [Makefile] includes FRAMAC_SHARE/Makefile.common
---
Makefile | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Makefile b/Makefile
index 7e75f110..1dc512f0 100644
--- a/Makefile
+++ b/Makefile
@@ -26,6 +26,8 @@ ifndef FRAMAC_SHARE
FRAMAC_SHARE :=$(shell frama-c -journal-disable -print-path)
endif
+sinclude ${FRAMAC_SHARE}/Makefile.common
+
##########################################################################
# Build
--
GitLab