Re: [Spot] make check failed

Hi Johan,

On Tue, Dec 7, 2010 at 9:45 AM, Johan Oudinet johan.oudinet@gmail.com wrote:

I've trouble to install Spot-0.6. make check produces an error when compiling evtgba/symbol.hh. g++ (4.4.3) complains about a dereferencing pointer call that breaks strict-aliasing rules.

This is a GCC 4.4 bug, see http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39390

Can I still install the package safely?

Yes. The diagnostic is just wrong. Also I could remove all the evtgba*/ directories from Spot and nobody would notice.

Best regards,