https://bugs.freedesktop.org/show_bug.cgi?id=43059
Julien Nabet <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #1 from Julien Nabet <[email protected]> 2012-01-20 16:48:25 UTC --- I downloaded sixgill and as required install gcc-plugin, downloaded CVC3 + yices , used this command : ./configure --with-yices=/home/julien/yices/yices-1.0.33 then make but I've got the error : xgill.c:812:46: error: ‘PLUGIN_FINISH_DECL’ undeclared (first use in this function) The INSTALL file of sixgill tells : If your build fails with an error about PLUGIN_FINISH_DECL not being found, then you need to patch your GCC and rebuild it. The patch is at http://gcc.gnu.org/ml/gcc-patches/2009-12/msg01032.html I'm not sure to be ready to recompile gcc (PC Debian x86-64, gcc (Debian 4.6.2-11) 4.6.2) -- Configure bugmail: https://bugs.freedesktop.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. _______________________________________________ Libreoffice-bugs mailing list [email protected] http://lists.freedesktop.org/mailman/listinfo/libreoffice-bugs
