Re: [Spot] Problème de compilation de SPOT

Hi Silien ! (Answering in English because this list is public.) 2010/10/7 Silien Hong <silien.hong(a)lip6.fr>fr>: 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. 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