From 14be3af28da07b70864df48ffc3746b525a1ea80 Mon Sep 17 00:00:00 2001 From: Julien Signoles <julien.signoles@cea.fr> Date: Wed, 25 Jan 2012 08:59:25 +0000 Subject: [PATCH] changelog + renaming conflicting Makefile target --- src/plugins/e-acsl/Makefile.in | 4 ++-- src/plugins/e-acsl/doc/Changelog | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in index 072b6d2f382..12e74d73834 100644 --- a/src/plugins/e-acsl/Makefile.in +++ b/src/plugins/e-acsl/Makefile.in @@ -150,7 +150,7 @@ DISTRIB_FILES= $(filter-out $(wildcard *local_config.ml), $(wildcard *.ml)) \ license/CEA_LGPL license/headache_config.txt license/LGPLv2.1 \ INSTALL README VERSION .depend -src-distrib: .depend +e-acsl-distrib: .depend $(PRINT_TAR) tmp-distrib $(TAR) cf tmp.tar $(DISTRIB_FILES) $(PRINT_MAKING) export directories @@ -174,7 +174,7 @@ src-distrib: .depend $(RM) -fr $(EXPORT) WWW = /localhome/julien/frama-c/doc/www -install-distrib: src-distrib +install-distrib: e-acsl-distrib $(PRINT) Copying to website $(CP) $(EXPORT).tar.gz $(WWW)/distrib/download/e-acsl diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog index 650d8101370..935b44ef46a 100644 --- a/src/plugins/e-acsl/doc/Changelog +++ b/src/plugins/e-acsl/doc/Changelog @@ -15,6 +15,7 @@ # E-ACSL: the Whole E-ACSL plug-in ############################################################################### +- E-ACSL [2012/01/25] nicer generated variable names. * E-ACSL [2012/01/23] Function __gmp_com was wrongly named in E_ACSL C header. - E-ACSL [2012/01/20] Use GMP arithmetics only when required -- GitLab