From fc868e2f5846889c530f4a0ca1219f084c180396 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 17 Jan 2017 10:43:57 +0100
Subject: [PATCH] [configure] fix test of Frama-C version
---
src/plugins/e-acsl/configure.ac | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/configure.ac b/src/plugins/e-acsl/configure.ac
index 0cf51dc20ce..6bda2875025 100644
--- a/src/plugins/e-acsl/configure.ac
+++ b/src/plugins/e-acsl/configure.ac
@@ -68,8 +68,10 @@ case $FRAMAC_VERSION in
AC_MSG_ERROR(Frama-C version must be at least \
$REQUIRED_NAME-$REQUIRED_NUMBER.)
else
- AC_MSG_WARN(Frama-C version is more recent than $REQUIRED_NAME: \
+ if test $VERSION_NUMBER -gt $REQUIRED_NUMBER; then
+ AC_MSG_WARN(Frama-C version is more recent than $REQUIRED_NAME: \
use it at your own risk)
+ fi
fi;;
esac
--
GitLab