[Spot] Problème de compilation de SPOT

Silien Hong silien.hong at lip6.fr
Thu Oct 7 11:33:05 CEST 2010


  Bonjour,

Je suis HONG Silien, je travail avec Yann Thierry-Mieg pour intégrer 
SPOT dans notre serveur d'intégration continu.
Yann m'a dit qu'il y avait une branche "stable" qui me permettait 
d'éviter les erreurs de compilation avec les Warnings.

Malheuresement ca ne compile toujours pas, voici l'erreur :
/bin/sh ../../libtool --tag=CXX --mode=compile g++-4.2 
-DPACKAGE_NAME=\"spot\" -DPACKAGE_TARNAME=\"spot\" 
-DPACKAGE_VERSION=\"0.6\" -DPACKAGE_STRING=\"spot\ 0.6\" 
-DPACKAGE_BUGREPORT=\"spot at lrde.epita.fr\" -DPACKAGE_URL=\"\" 
-DPACKAGE=\"spot\" -DVERSION=\"0.6\" -DYYTEXT_POINTER=1 -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 -I/Users/hong/usr/include -DNDEBUG -W -Wall 
-Wcast-align -Wpointer-arith -Wwrite-strings -Wcast-qual 
-DXTSTRINGDEFINES -Werror -g -O3 -ffast-math -fstrict-aliasing 
-fomit-frame-pointer -MT tgbasafracomplement.lo -MD -MP -MF 
.deps/tgbasafracomplement.Tpo -c -o tgbasafracomplement.lo 
tgbasafracomplement.cc
libtool: compile: g++-4.2 -DPACKAGE_NAME=\"spot\" 
-DPACKAGE_TARNAME=\"spot\" -DPACKAGE_VERSION=\"0.6\" 
"-DPACKAGE_STRING=\"spot 0.6\"" 
-DPACKAGE_BUGREPORT=\"spot at lrde.epita.fr\" -DPACKAGE_URL=\"\" 
-DPACKAGE=\"spot\" -DVERSION=\"0.6\" -DYYTEXT_POINTER=1 -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 -I/Users/hong/usr/include -DNDEBUG -W -Wall 
-Wcast-align -Wpointer-arith -Wwrite-strings -Wcast-qual 
-DXTSTRINGDEFINES -Werror -g -O3 -ffast-math -fstrict-aliasing 
-fomit-frame-pointer -MT tgbasafracomplement.lo -MD -MP -MF 
.deps/tgbasafracomplement.Tpo -c tgbasafracomplement.cc -fno-common 
-DPIC -o .libs/tgbasafracomplement.o
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
tgbasafracomplement.cc:57: warning: ‘spot::safra_tree_automaton’ has a 
field ‘spot::safra_tree_automaton::initial_state’ whose type uses the 
anonymous namespace

Je connais pas très bien GIT, et j'espère avoir compilé la bonne 
branche, voici la commande que j'ai tapé pour récupérer le source :
git clone --branch stable git://git.lrde.epita.fr/spot

Un petit coup de pouce est la bienvenue ...
Merci d'avance.
Cordialement,



More information about the Spot mailing list