--- layout: fc_discuss_archives title: Message 31 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



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>
wrote:

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



-- 
Boris
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20170822/866cfed4/attachment.html>