diff --git a/Makefile b/Makefile
index 7e75f1100e65bf35128e6888d27e997738a81d0d..1dc512f07b3b8a2edf3fee3c376bf2598c1d1e41 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