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



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                    |