Skip to content
Snippets Groups Projects
Commit 5cdc1a2e authored by Julien Signoles's avatar Julien Signoles
Browse files

check Frama-C silicon

parent caa195bc
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/configure.ac
+ 2
− 2
View file @ 5cdc1a2e
...@@ -51,8 +51,8 @@ AC_MSG_RESULT($FRAMAC_VERSION) ...@@ -51,8 +51,8 @@ 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'` EXTRA_VERSION_NUMBER=`echo $FRAMAC_VERSION | sed -n -e 's/[[a-zA-Z]]\+-[[0-9]]\+-\(.*\)/\1/p'`
REQUIRED_NUMBER=20151002 REQUIRED_NUMBER=20161101
REQUIRED_NAME=Magnesium REQUIRED_NAME=Silicon
case $FRAMAC_VERSION in case $FRAMAC_VERSION in
$REQUIRED_NAME-$REQUIRED_NUMBER+dev*) $REQUIRED_NAME-$REQUIRED_NUMBER+dev*)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment