From ca0c5a1cf037d7dc40a993c615cf50c2cf18436c Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 7 Aug 2014 10:47:34 +0200
Subject: [PATCH] [configure] require Neon-20140301+dev
---
src/plugins/e-acsl/configure.ac | 6 +-----
1 file changed, 1 insertion(+), 5 deletions(-)
diff --git a/src/plugins/e-acsl/configure.ac b/src/plugins/e-acsl/configure.ac
index 67e401d9e32..8cc439a549a 100644
--- a/src/plugins/e-acsl/configure.ac
+++ b/src/plugins/e-acsl/configure.ac
@@ -59,12 +59,8 @@ VERSION_NUMBER=`echo $DEV_VERSION_NUMBER | sed -e 's/\(.*\)+dev/\1/' `
REQUIRED_NUMBER=20140301
case $FRAMAC_VERSION in
- Neon*)
+ Neon-20140301+dev*)
# # 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.);
- # fi
;;
*)
if test $VERSION_NUMBER -lt $REQUIRED_NUMBER; then
--
GitLab