Skip to content
Snippets Groups Projects
Commit 4bbdb11f authored by Julien Signoles's avatar Julien Signoles
Browse files

[distrib] do not distrib alternative memory-model files

parent ac231367
No related branches found
No related tags found
No related merge requests found
...@@ -160,7 +160,9 @@ EACSL_DISTRIB_FILES=\ ...@@ -160,7 +160,9 @@ EACSL_DISTRIB_FILES=\
configure.ac Makefile.in \ configure.ac Makefile.in \
doc/Changelog \ doc/Changelog \
$(DOC_FILES) \ $(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/test_config.in \
tests/e-acsl-reject/test_config tests/e-acsl-reject/*.i \ tests/e-acsl-reject/test_config tests/e-acsl-reject/*.i \
tests/e-acsl-runtime/test_config tests/e-acsl-runtime/*.[ci] \ tests/e-acsl-runtime/test_config tests/e-acsl-runtime/*.[ci] \
...@@ -176,7 +178,8 @@ e-acsl-distrib: .depend ...@@ -176,7 +178,8 @@ e-acsl-distrib: .depend
$(PRINT_UNTAR) tmp-distrib $(PRINT_UNTAR) tmp-distrib
cd $(EXPORT); \ cd $(EXPORT); \
$(TAR) xf ../tmp.tar; autoconf; \ $(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 $(RM) -rf autom4te.cache
$(PRINT_RM) tmp-distrib $(PRINT_RM) tmp-distrib
$(RM) tmp.tar $(RM) tmp.tar
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment