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