[eacsl] Install dlmalloc source alongside E-ACSL RTL

src/plugins/e-acsl/Makefile.in

@@ -490,6 +490,8 @@ EACSL_INSTALL_MANPAGES=$(addprefix $(E_ACSL_DIR)/,$(EACSL_MANPAGES))
 
 EACSL_INSTALL_LIB_DIR :=$(FRAMAC_LIBDIR)/e-acsl
 
+EACSL_INSTALL_CONTRIB_DIR :=$(FRAMAC_DATADIR)/e-acsl/contrib
+
 install:: clean-install
 	$(PRINT_INSTALL) E-ACSL share files
 	for dir in $(EACSL_C_DIRECTORIES); do \
@@ -506,6 +508,8 @@ endif
 	$(PRINT_INSTALL) E-ACSL libraries
 	$(MKDIR) $(EACSL_INSTALL_LIB_DIR)
 	$(CP) $(EACSL_LIBDIR)/libeacsl-*.a $(EACSL_INSTALL_LIB_DIR)
+	$(MKDIR) $(EACSL_INSTALL_CONTRIB_DIR)/libdlmalloc
+	$(CP) $(EACSL_DLMALLOC_SRC) $(EACSL_INSTALL_CONTRIB_DIR)/libdlmalloc
 	$(PRINT_INSTALL) E-ACSL scripts
 	$(MKDIR) $(BINDIR)
 	$(CP) $(EACSL_INSTALL_SCRIPTS) $(BINDIR)/