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/

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

-----------------------------------------------------