--- layout: fc_discuss_archives title: Message 32 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 see, I guess the 'sed' command used to parse the answer does not work
on Mac, maybe because now there is no newline anymore at the end,
something like that

So a possible workaround : edit the configure.in file, find the first
occurence of Silicon in it, then replace the line above

FRAMACVERSION=`$FRAMAC -version | sed -n -e 's|\(Version:
\)\?\(.*\)$|\2|p' `

by

FRAMACVERSION=`$FRAMAC -version`

then

autoconf
./configure


If autoconf does not work for you, then you should do the modification
directly in the file 'configure' instead

- Claude




Le 22/08/2017 à 11:14, Junkil “David” Park a écrit :
> ❯❯ 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
> 

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