From 4bbdb11f6a23494f485b69cd6a9b1aeb6f77e606 Mon Sep 17 00:00:00 2001 From: Julien Signoles <julien.signoles@cea.fr> Date: Fri, 5 Jun 2015 10:07:03 +0200 Subject: [PATCH] [distrib] do not distrib alternative memory-model files --- src/plugins/e-acsl/Makefile.in | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in index d91e513b4f0..137e7566d6a 100644 --- a/src/plugins/e-acsl/Makefile.in +++ b/src/plugins/e-acsl/Makefile.in @@ -160,7 +160,9 @@ EACSL_DISTRIB_FILES=\ configure.ac Makefile.in \ doc/Changelog \ $(DOC_FILES) \ - share/e-acsl/*.[ch] share/e-acsl/memory_model/*.[ch] \ + share/e-acsl/*.[ch] \ + share/e-acsl/memory_model/e_acsl_bittree.[ch] \ + share/e-acsl/memory_model/e_acsl_mmodel*.[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/*.[ci] \ @@ -176,7 +178,8 @@ e-acsl-distrib: .depend $(PRINT_UNTAR) tmp-distrib cd $(EXPORT); \ $(TAR) xf ../tmp.tar; autoconf; \ - $(SED) -i -e 's/IS_DISTRIBUTED:=no/IS_DISTRIBUTED:=yes/' Makefile.in; \ + $(SED) -i \ + -e 's/IS_DISTRIBUTED:=no/IS_DISTRIBUTED:=yes/' Makefile.in; \ $(RM) -rf autom4te.cache $(PRINT_RM) tmp-distrib $(RM) tmp.tar -- GitLab