From 78354f41a2da052093ad7545fd37fead01eb9a2f Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 24 May 2013 14:52:58 +0000
Subject: [PATCH] [E-ACSL] fixing Makefile's distrib target

---
 src/plugins/e-acsl/Makefile.in | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 4bd731c5348..104a9cf5aa7 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -144,17 +144,18 @@ uninstall::
 # Building source distribution #
 ################################
 
-EXPORT	=e-acsl-$(VERSION)
+EXPORT	=e-acsl-$(EACSL_VERSION)
 
 DISTRIB_FILES= $(filter-out $(wildcard *local_config.ml), $(wildcard *.ml)) \
 	$(wildcard *.mli) \
 	configure.ac Makefile.in \
 	doc/Changelog \
+	doc/manuals/e-acsl-manual.pdf  \
 	doc/manuals/e-acsl.pdf doc/manuals/e-acsl-implementation.pdf \
-	share/e-acsl/*.h \
+	share/e-acsl/*.[ch] share/e-acsl/memory_model/*.[ch] \
 	tests/test_config.in \
 	tests/e-acsl-reject/test_config tests/e-acsl-reject/*.i \
-	tests/e-acsl-runtime/test_config tests/e-acsl-runtime/*.i \
+	tests/e-acsl-runtime/test_config tests/e-acsl-runtime/*.[ci] \
 	license/CEA_LGPL license/headache_config.txt license/LGPLv2.1 \
 	INSTALL README VERSION .depend
 
-- 
GitLab