--- layout: fc_discuss_archives title: Message 137 from Frama-C-discuss on September 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Gappa prover installation



The patch file worked and we compiled Gappa 1.0.0 with sucess.

Thank you.

Best regards,
Nanci, Rovedy, Luciana


2013/9/27 Guillaume Melquiond <guillaume.melquiond at inria.fr>

> Le 27/09/2013 00:46, Rovedy Aparecida Busquim e Silva a ?crit :
>
>
>  After installing Frama-c and Why, we have tried to install the Gappa
>> 1.0.0 prover. However, the compilation failed:
>> Building src/proofs/schemes.o
>> src/proofs/schemes.cpp:628:20: error: variable length array of non-POD
>> element type
>>
>
> Right, the code is using a gcc extension, and clang refuses to support it.
> Please apply the attached patch to Gappa in order to fix the compilation
> error. It will be part of the next release. Thanks for the report.
>
> Best regards,
>
> Guillaume
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130927/dd17da1c/attachment.html>