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



Hi,

We installed the Frama-c and Why in a Mac OS X Mountain Lion 10.8.2 (
http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2013-April/003561.html
).

We intend to use the Jessie plugin.

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
      'property'
      property hyps[s->needed_reals.size()];
                   ^
1 error generated.
Failed to build src/proofs/schemes.o
Failed to build src/gappa
Failed to build all

After that, we tried to compile three earlier versions with the same error
(Gappa 0.18.0,
Gappa 0.17.0 and Gappa 0.16.6 ).

We compiled the same version in the linux with success.

How to solve this problem in the Mac OS X Mountain Lion 10.8.2 ?

Best regards,
Nanci, Rovedy, Luciana
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130926/4ed87728/attachment.html>