--- layout: fc_discuss_archives title: Message 40 from Frama-C-discuss on June 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Error in configuration



Hello Richard,
Previously I deleted frama-c source file and then again I downloaded new
frama-c source file.

Now my configuration part is done all well but showing error in compilation
as i asked in earlier post.

Thanks.

Regards,
Gaurav

On Fri, Jun 5, 2015 at 4:16 PM, Richard Bonichon <richard.bonichon at gmail.com
> wrote:

>  [image: Boxbe] <https://www.boxbe.com/overview> This message is eligible
> for Automatic Cleanup! (richard.bonichon at gmail.com) Add cleanup rule
> <https://www.boxbe.com/popup?url=https%3A%2F%2Fwww.boxbe.com%2Fcleanup%3Ftoken%3Dvlpddpp%252FxxvIC4fAs76r19UJ6y0xvDy%252BXpQ47q8xkyYnpBMNrjPEJaRu653W3X7WP%252FY1R2XUPnl%252BBaS5DkFOfJ32UP%252BbRAZWHiuMjOFJ7M7IxCoC2r2fhs6%252F%252Fm7MLdsR7akrPqKb3dQkRH5Rryv9rA%253D%253D%26key%3D35tL93po%252FDCxf43ZZBXfsgSsr3poHPi184OwKjqjDuU%253D&tc_serial=21556081650&tc_rand=1316301388&utm_source=stf&utm_medium=email&utm_campaign=ANNO_CLEANUP_ADD&utm_content=001>
> | More info
> <http://blog.boxbe.com/general/boxbe-automatic-cleanup?tc_serial=21556081650&tc_rand=1316301388&utm_source=stf&utm_medium=email&utm_campaign=ANNO_CLEANUP_ADD&utm_content=001>
>
>
> I deleted that source file ,again I downloaded and when I configured it
>> was showing this error.
>>
>
> What source file ?  Downloaded what ?
>
> --
> Richard Bonichon
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150605/c9af278c/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Error2.png
Type: image/png
Size: 147582 bytes
Desc: not available
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150605/c9af278c/attachment-0001.png>