2 May
2008
2 May
'08
11:45 a.m.
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