--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on August 2017 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] [PROVENANCE INTERNET] Re: [Why-discuss] Installing Jessie



❯❯ 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