Hanene Ochi wrote:
Bonjour, Comme je vous ai déjà dit, j'arrive pas à installer une bibliothèque avec laquelle je travaille "SPOT version 0.4" (http://spot.lip6.fr/wiki/) sur ma machine du bureau, même en m'indiquant le chemin du répertoire d'installation (dans mon espace personnel, ni /tempo).
C'est normal que tu ne puisses pas l'installer car ton "configure" n'est pas en mode exécutable. Ta version 0.4 a en plus des problèmes d’installation mais la 1.26 est installé sans problème dans /tempo/spot-1.26. Il soit chercher la version corrigée de spot-0.4 ou voir dans le Makefile make[4]: Entering directory `/tempo/spot-0.4/lbtt/src' g++ -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT BuchiAutomaton.o -MD -MP -MF .deps/BuchiAutomaton.Tpo -c -o BuchiAutomaton.o BuchiAutomaton.cc mv -f .deps/BuchiAutomaton.Tpo .deps/BuchiAutomaton.Po g++ -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT BuchiProduct.o -MD -MP -MF .deps/BuchiProduct.Tpo -c -o BuchiProduct.o BuchiProduct.cc mv -f .deps/BuchiProduct.Tpo .deps/BuchiProduct.Po g++ -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT Config-parse.o -MD -MP -MF .deps/Config-parse.Tpo -c -o Config-parse.o Config-parse.cc mv -f .deps/Config-parse.Tpo .deps/Config-parse.Po g++ -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT Config-lex.o -MD -MP -MF .deps/Config-lex.Tpo -c -o Config-lex.o Config-lex.cc mv -f .deps/Config-lex.Tpo .deps/Config-lex.Po g++ -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT Configuration.o -MD -MP -MF .deps/Configuration.Tpo -c -o Configuration.o Configuration.cc mv -f .deps/Configuration.Tpo .deps/Configuration.Po g++ -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT DispUtil.o -MD -MP -MF .deps/DispUtil.Tpo -c -o DispUtil.o DispUtil.cc mv -f .deps/DispUtil.Tpo .deps/DispUtil.Po g++ -DHAVE_CONFIG_H -I. -I.. -g -O2 -MT main.o -MD -MP -MF .deps/main.Tpo -c -o main.o main.cc main.cc: In function 'bool testLoop()': main.cc:327: error: 'LONG_MAX' was not declared in this scope main.cc:331: error: 'LONG_MAX' was not declared in this scope main.cc:392: error: 'LONG_MAX' was not declared in this scope main.cc:444: error: 'LONG_MAX' was not declared in this scope make[4]: *** [main.o] Error 1 make[4]: Leaving directory `/tempo/spot-0.4/lbtt/src' make[3]: *** [all] Error 2 make[3]: Leaving directory `/tempo/spot-0.4/lbtt/src' make[2]: *** [all-recursive] Error 1 make[2]: Leaving directory `/tempo/spot-0.4/lbtt' make[1]: *** [all] Error 2 make[1]: Leaving directory `/tempo/spot-0.4/lbtt' make: *** [all-recursive] Error 1
voila le message d'erreur: ochi@casablanca:~/Dropbox/checksog-event/spot-0.4$ ./configure --prefix="/tempo" bash: ./configure: Permission non accordée ochi@casablanca:~/Dropbox/checksog-event/spot-0.4$ ./configure --prefix="/users/ochi/Dropbox/checksog-event" bash: ./configure: Permission non accordée
< font class="" color="#ff0000"> Merci de m'aider à résoudre ce problème, j'en ai vraiment besoin.
-- Cordialement ---------------------------------------------------------------------------
Hanen OCHI http://www-lipn.univ-paris13.fr/~ochi/ <http://www-lipn.univ-paris13.fr/%7Eochi/>
Ingénieur en Génie Logiciel Doctorante au Laboratoire d'Informatique de Paris Nord (LIPN): Equipe LCR UMR 7030 CNRS Université Paris-Nord 99 av. JB Clément 93430 Villetaneuse - FRANCE
--------------------------------------------------------------------------- !DSPAM:102,54cb64a3174171665419566!
-- Cordialement Mamadou S. ----------------------------------------------------- Mr Mamadou SOW LIPN /Institut Galilée/Univ. Paris XIII 99 Av. Jean Baptiste Clément 93430 Villetaneuse - France Tel: 01 49 40 40 68 Fax: 01 48 26 07 12 -----------------------------------------------------