From b7f2b851ff69480d7555d8799766d39f604cb825 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 11 Feb 2016 11:39:01 +0100
Subject: [PATCH] [configure] check for Magnesium

---
 src/plugins/e-acsl/configure.ac | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/plugins/e-acsl/configure.ac b/src/plugins/e-acsl/configure.ac
index dcb8c07ec88..36dba267917 100644
--- a/src/plugins/e-acsl/configure.ac
+++ b/src/plugins/e-acsl/configure.ac
@@ -49,10 +49,10 @@ m4_ifndef([FRAMAC_MAIN_AUTOCONF],[check_plugin_dependencies],[])
 AC_MSG_CHECKING(for Frama-C version)
 AC_MSG_RESULT($FRAMAC_VERSION)
 
-VERSION_NUMBER=`echo $FRAMAC_VERSION | sed -n -e 's/[[a-zA-Z]]\+-\([[0-9]]\+\)-.*/\1/p'`
+VERSION_NUMBER=`echo $FRAMAC_VERSION | sed -n -e 's/[[a-zA-Z]]\+-\([[0-9]]\+\).*/\1/p'`
 EXTRA_VERSION_NUMBER=`echo $FRAMAC_VERSION | sed -n -e 's/[[a-zA-Z]]\+-[[0-9]]\+-\(.*\)/\1/p'`
-REQUIRED_NUMBER=20150201
-REQUIRED_NAME=Sodium
+REQUIRED_NUMBER=20151002
+REQUIRED_NAME=Magnesium
 
 case $FRAMAC_VERSION in
   # $REQUIRED_NAME-$REQUIRED_NUMBER+dev*)
-- 
GitLab