diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index effb3255a8abca2022d01803fb029ff7f66c142a..32a543997fefadd40571ea326538cbbc1d316e51 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -246,7 +246,10 @@ EACSL_LICENSE_FILES = \
 EACSL_MISC_FILES = \
   configure.ac Makefile.in INSTALL README VERSION .depend
 
+EACSL_SHARE_FILES = share/e-acsl/*.[ch] share/e-acsl/*/*.[ch]
+
 PLUGIN_DISTRIB_EXTERNAL:=\
+  $(EACSL_SHARE_FILES) \
   $(EACSL_MISC_FILES) \
   $(EACSL_DOC_FILES) \
   $(EACSL_TEST_FILES) \