Hi, 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. Can I still install the package safely? ============================= g++ -DPACKAGE_NAME=\"spot\" -DPACKAGE_TARNAME=\"spot\" -DPACKAGE_VERSION=\"0.6\" -DPACKAGE_STRING=\"spot\ 0.6\" -DPACKAGE_BUGREPORT=\"spot@lrde.epita.fr\" -DPACKAGE_URL=\"\" -DPACKAGE=\"spot\" -DVERSION=\"0.6\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_SRAND48=1 -DHAVE_DRAND48=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I./.. -I../../buddy/src -DNDEBUG -W -Wall -Wcast-align -Wpointer-arith -Wwrite-strings -Wcast-qual -DXTSTRINGDEFINES -Werror -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT explicit.o -MD -MP -MF .deps/explicit.Tpo -c -o explicit.o explicit.cc cc1plus: warnings being treated as errors ./../evtgba/symbol.hh: In function ‘int main()’: ./../evtgba/symbol.hh:114: error: dereferencing pointer ‘__x.170’ does break strict-aliasing rules /usr/include/c++/4.4/bits/stl_tree.h:525: note: initialized from here ./../evtgba/symbol.hh:114: error: dereferencing pointer ‘__x.170’ does break strict-aliasing rules /usr/include/c++/4.4/bits/stl_tree.h:525: note: initialized from here make[3]: *** [explicit.o] Erreur 1 make[3]: quittant le répertoire « /users/fortesse/oudinet/projects/spot-0.6/src/evtgbatest » make[2]: *** [check-am] Erreur 2 make[2]: quittant le répertoire « /users/fortesse/oudinet/projects/spot-0.6/src/evtgbatest » make[1]: *** [check-recursive] Erreur 1 make[1]: quittant le répertoire « /users/fortesse/oudinet/projects/spot-0.6/src » make: *** [check-recursive] Erreur 1 ============================ Regards, -- Johan ()  ascii ribbon campaign - against html e-mail /\  www.asciiribbon.org   - against proprietary attachments