From 22f35ea3681569292b2ebea2963775f09eb16711 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 7 Mar 2014 11:14:25 +0100
Subject: [PATCH] preparing release 0.4 compatible with Neon

---
 src/plugins/e-acsl/VERSION       |  2 +-
 src/plugins/e-acsl/configure.ac  | 20 +++++++++++---------
 src/plugins/e-acsl/doc/Changelog |  4 ++++
 3 files changed, 16 insertions(+), 10 deletions(-)

diff --git a/src/plugins/e-acsl/VERSION b/src/plugins/e-acsl/VERSION
index 52c43259d20..bd73f47072b 100644
--- a/src/plugins/e-acsl/VERSION
+++ b/src/plugins/e-acsl/VERSION
@@ -1 +1 @@
-0.3+dev
+0.4
diff --git a/src/plugins/e-acsl/configure.ac b/src/plugins/e-acsl/configure.ac
index cb00b0fc14c..d33946c9044 100644
--- a/src/plugins/e-acsl/configure.ac
+++ b/src/plugins/e-acsl/configure.ac
@@ -55,17 +55,19 @@ AC_MSG_CHECKING(for Frama-C version)
 
 DEV_VERSION_NUMBER=`echo $FRAMAC_VERSION | sed -e 's/.*-\(.*\)/\1/' `
 VERSION_NUMBER=`echo $DEV_VERSION_NUMBER | sed -e 's/\(.*\)+dev/\1/' `
+REQUIRED_NUMBER=20140301
 
-if test $VERSION_NUMBER -lt 20130601; then
-  AC_MSG_ERROR(Frama-C version must be at least Fluorine-20130601.)
-fi
-
-# at the time being, must use the Frama-C development version
-DEV=`echo $DEV_VERSION_NUMBER | sed -e 's/.*\(+dev\)/\1/' `
-if test "$DEV" != "+dev"; then
-  AC_MSG_ERROR(Frama-C version must be the current SVN version.);
+if test $VERSION_NUMBER -lt $REQUIRED_NUMBER; then
+  AC_MSG_ERROR(Frama-C version must be at least Neon-$REQUIRED_NUMBER.)
 else
-   AC_MSG_RESULT($FRAMAC_VERSION)
+
+# # at the time being, must use the Frama-C development version
+# DEV=`echo $DEV_VERSION_NUMBER | sed -e 's/.*\(+dev\)/\1/' `
+# if test "$DEV" != "+dev"; then
+#   AC_MSG_ERROR(Frama-C version must be the current GIT version.);
+# else
+    AC_MSG_RESULT($FRAMAC_VERSION)
+# fi
 fi
 
 # OCaml version
diff --git a/src/plugins/e-acsl/doc/Changelog b/src/plugins/e-acsl/doc/Changelog
index ed86b92376e..1e53bae42cf 100644
--- a/src/plugins/e-acsl/doc/Changelog
+++ b/src/plugins/e-acsl/doc/Changelog
@@ -15,6 +15,10 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+###############################
+Plugin E-ACSL 0.4 Neon_20140301
+###############################
+
 -* E-ACSL       [2014/01/28] Fix bug #1634 occuring in presence of static
 	        addresses.
 -* E-ACSL       [2013/09/26] Fix incorrectness which may occur in presence
-- 
GitLab