--- layout: fc_discuss_archives title: Message 135 from Frama-C-discuss on September 2013 ---
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>