[Spot] make check failed

Alexandre Duret-Lutz adl at lrde.epita.fr
Tue Dec 7 11:51:50 CET 2010

Hi Johan,

On Tue, Dec 7, 2010 at 9:45 AM, Johan Oudinet <johan.oudinet at 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,
Alexandre Duret-Lutz

More information about the Spot mailing list