[Spot] Problème de compilation de SPOT

Alexandre Duret-Lutz adl at lrde.epita.fr
Thu Oct 7 15:42:44 CEST 2010


Hi Silien !

(Answering in English because this list is public.)

2010/10/7 Silien Hong <silien.hong at lip6.fr>:
> Yann m'a dit qu'il y avait une branche "stable" qui me permettait
> d'éviter les erreurs de compilation avec les Warnings.

I though that in the past I had arranged things so that -Werror would
only be used for development versions, but it seems I was wrong.
-Werror was always used.

> cc1plus: warnings being treated as errors
> tgbasafracomplement.cc:57: warning: ‘spot::safra_tree_automaton’ has a
> field ‘spot::safra_tree_automaton::automaton’ whose type uses the
> anonymous namespace

This warning is actually a bug in g++-4.2.  See
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29365.  Later versions of
GCC should not warn about this construction.

Even so, I have changed Spot's code
  1) so that it should not trigger this warning any more (I could not
test this, because version of g++-4.2 seems to be patched not to warn
about this)
  2) so that future stable releases of Spot will not use -Werror by default
  3) so you can explicitly disable all extra warnings and -Werror
flags with `./configure --disable-devel`.

You can configure your build tool to use "git clone
git://git.lrde.epita.fr/spot"  in order to compile the new code.  This
is not a released version, so -Werror will be on by default, but
tgbasafracomplement.cc should not produce a warning anymore, and you
can also add --disable-devel if you encounter more warnings (but
please do report them to me, any warning is worth fixing).
-- 
Alexandre Duret-Lutz



More information about the Spot mailing list