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