Bonjour, Pourriez-vous me donner accès en écriture au repertoire lib pour l'installation du logiciel Spot? Cordialement _________________________________________________________________ Découvrez les profils Messenger de vos amis ! http://home.services.spaces.live.com/
jean-marc MENSAH a écrit :
Bonjour,
Pourriez-vous me donner accès en écriture au repertoire lib pour l'installation du logiciel Spot? Cordialement _________________________________________________________________ Découvrez les profils Messenger de vos amis ! http://home.services.spaces.live.com/ _______________________________________________ Systeme mailing list Systeme@lipn.univ-paris13.fr https://intranet.lipn.univ-paris13.fr/mailman/listinfo/systeme
lors de l'installation de ton logiciel, pourquoi tu n'utilises pas l'option qui te permet d'indiquer le chemin ~mensah/toto ou /tempo où tu as les droits "rwx" il faut tester cette option et faire une copie du message d'error ou bien c'est obligatoire de l'installer dans /lib selon l'équipe de Jussieu -- Cordialement Mamadou S. ----------------------------------------------------- Mr Mamadou SOW Univ. Paris XIII-Institut Galilée LIPN/CNRS UMR7030 99 Av. Jean Baptiste Clément 93430 Villetaneuse - France Tel: 01 49 40 40 68 / 06 12 09 35 68 Fax: 01 48 26 07 12 Accès au LIPN: P4 ou parking 4 http://www-lipn.univ-paris13.fr/~mamadou/ -----------------------------------------------------
jean-marc MENSAH a écrit :
Bonjour,
Pourriez-vous me donner accès en écriture au repertoire lib pour l'installation du logiciel Spot? Cordialement
Non. Utilisez donc ./configure --prefix=/users/mensah/spot && make && make install pour compiler SPOT. Et pour les autres bibliothèques: ./configure --prefix=/users/mensah/spot --with-spot=/users/mensah/spot
Bonjour, J'ai toujours quelques difficultés à installer Spot. Mon problème le voici: make[1]: entrant dans le répertoire « /users/mensah/checkpn-0.0b/src » g++ -g -O2 -o checkpn -L/users/mensah/spot/lib -lspot -lbdd countmarkings.o graphvisitor.o main.o modelcheck.o pnstate.o pnsucciter.o pntgba.o printrg.o ../libpn/libpn.a /usr/bin/ld: cannot find -lspot collect2: ld returned 1 exit status make[1]: *** [checkpn] Erreur 1 make[1]: quittant le répertoire « /users/mensah/checkpn-0.0b/src » make: *** [all-recursive] Erreur 1 D'après ce message d'erreur,il me semble que -lspot n'est pas trouvé mais je le vois dans /users/mensah/spot/ Peut être qu'il le cherche dans /usr/bin/ld Je pense que c'est plus un problème lié à mon environnement plus qu'au logiciel. Merci d'avance pour votre aide Cdt _________________________________________________________________ Créez votre disque dur virtuel Windows Live SkyDrive, 5Go de stockage gratuit ! http://www.windowslive.fr/skydrive/
jean-marc MENSAH a écrit :
Bonjour, J'ai toujours quelques difficultés à installer Spot. Mon problème le voici:
make[1]: entrant dans le répertoire « /users/mensah/checkpn-0.0b/src » g++ -g -O2 -o checkpn -L/users/mensah/spot/lib -lspot -lbdd countmarkings.o graphvisitor.o main.o modelcheck.o pnstate.o pnsucciter.o pntgba.o printrg.o ../libpn/libpn.a /usr/bin/ld: cannot find -lspot collect2: ld returned 1 exit status make[1]: *** [checkpn] Erreur 1 make[1]: quittant le répertoire « /users/mensah/checkpn-0.0b/src » make: *** [all-recursive] Erreur 1
Est ce que tu as soumis le pb aux développeurs de spot pour avoir la confirmation si c'est le cas il faut déclarer /usr/bin/ld dans ton environnement. A propos de spot il n'y a que les développeurs de spot ou dans un forum d'utilisateur de spot que tu pourras avoir une solution -- Cordialement Mamadou S.
Le 29 avr. 08 à 14:39, Mamadou Sow a écrit :
jean-marc MENSAH a écrit :
Bonjour, J'ai toujours quelques difficultés à installer Spot. Mon problème le voici:
make[1]: entrant dans le répertoire « /users/mensah/checkpn-0.0b/ src » g++ -g -O2 -o checkpn -L/users/mensah/spot/lib -lspot -lbdd countmarkings.o graphvisitor.o main.o modelcheck.o pnstate.o pnsucciter.o pntgba.o printrg.o ../libpn/libpn.a /usr/bin/ld: cannot find -lspot
Il ne trouve pas la bibliothèque spot (-l spot, tu as une erreur sur le linker). Regarde si elle est dans /users/mensah/spot/lib (le chemin indiqué par -L), sinon soit il faut l'importer avant, soit il y a une autre erreur plus tôt dans le make, au moment d'installer la bibliothèque. François
participants (4)
-
François Lévy -
Jean-Christophe Dubacq -
jean-marc MENSAH -
Mamadou Sow