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/