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.