--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on August 2017 ---
I guess it's not a bug, it is the prompt. Frama-C does not output a newline anymore after printing the version (no idea if it's intended or not) - Claude Le 22/08/2017 à 11:22, Boris Yakobowski a écrit : > The '%' is definitely a bug. On which distribution have you compiled > Frama-C? Do you have a custom version (of Frama-C)? > > On Tue, Aug 22, 2017 at 11:14 AM, Junkil âDavidâ Park <juki14 at gmail.com > <mailto:juki14 at gmail.com>> wrote: > > â¯â¯ frama-c --version > Silicon-20161101% > > Thanks, > Junkil > > > On Aug 22, 2017, at 5:13 AM, Claude Marché <Claude.Marche at inria.fr > <mailto: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 > <tel:%2B33%201%2069%2015%2066%2008> > > INRIA Saclay - Ãle-de-France | > > Université Paris-sud, Bat. 650 | > http://www.lri.fr/~marche/ <http://www.lri.fr/%7Emarche/> > > F-91405 ORSAY Cedex | > > _______________________________________________ > > Frama-c-discuss mailing list > > Frama-c-discuss at lists.gforge.inria.fr > <mailto:Frama-c-discuss at lists.gforge.inria.fr> > > https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss > <https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss> > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > <mailto:Frama-c-discuss at lists.gforge.inria.fr> > https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss > <https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss> > > > > > -- > Boris > > > _______________________________________________ > 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 |