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