--- layout: fc_discuss_archives title: Message 32 from Frama-C-discuss on August 2017 ---
I see, I guess the 'sed' command used to parse the answer does not work on Mac, maybe because now there is no newline anymore at the end, something like that So a possible workaround : edit the configure.in file, find the first occurence of Silicon in it, then replace the line above FRAMACVERSION=`$FRAMAC -version | sed -n -e 's|\(Version: \)\?\(.*\)$|\2|p' ` by FRAMACVERSION=`$FRAMAC -version` then autoconf ./configure If autoconf does not work for you, then you should do the modification directly in the file 'configure' instead - Claude Le 22/08/2017 à 11:14, Junkil âDavidâ Park a écrit : > â¯â¯ frama-c --version > Silicon-20161101% > > Thanks, > Junkil > >> On Aug 22, 2017, at 5:13 AM, Claude Marché <Claude.Marche at inria.fr> wrote: >> >> >> >> Le 22/08/2017 à 10:53, Junkil âDavidâ Park a écrit : >>> checking Frama-c version... >>> configure: WARNING: bad Frama-c version "", you need version Silicon >> >> there's a bug here... what is the answer of >> >> frama-c --version >> >> ? >> >> -- >> Claude Marché | tel: +33 1 69 15 66 08 >> INRIA Saclay - Ãle-de-France | >> Université Paris-sud, Bat. 650 | http://www.lri.fr/~marche/ >> F-91405 ORSAY Cedex | >> _______________________________________________ >> Frama-c-discuss mailing list >> Frama-c-discuss at lists.gforge.inria.fr >> https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss > -- Claude Marché | tel: +33 1 69 15 66 08 INRIA Saclay - Ãle-de-France | Université Paris-sud, Bat. 650 | http://www.lri.fr/~marche/ F-91405 ORSAY Cedex |