[Spot] make check failed
adl at lrde.epita.fr
Tue Dec 7 11:51:50 CET 2010
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
More information about the Spot