--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on August 2017 ---
â¯â¯ 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