Quoting Mamadou SOW <Mamadou.Sow@lipn.univ-paris13.fr>:

Salut Klai,

Pour info en étant root, voici à quel niveau je suis

/usr/local/ wget http://spot.lip6.fr/dl/spot-0.3.tar.gz tar xvf spot-0.3.tar.gz cd spot-0.3

root@urtzi:/usr/local/spot-0.3# ls -l total 1648 -rw-r--r-- 1 5024 src 254602 2006-01-25 14:51 aclocal.m4 -rwxr-xr-x 1 5024 src 109 2004-05-25 14:58 AUTHORS drwxrwxrwx 4 5024 src 4096 2007-05-23 15:17 bench drwxrwxrwx 7 5024 src 4096 2007-05-23 15:17 buddy -rwxr-xr-x 1 5024 src 218494 2006-01-25 14:51 ChangeLog -rw-r--r-- 1 root root 40003 2007-05-23 15:18 config.log -rwxr-xr-x 1 root root 35287 2007-05-23 15:17 config.status -rwxr-xr-x 1 5024 src 734767 2006-01-25 14:51 configure -rwxr-xr-x 1 5024 src 2940 2006-01-25 14:51 configure.ac -rwxr-xr-x 1 5024 src 17992 2003-11-21 16:54 COPYING drwxrwxrwx 3 5024 src 4096 2007-05-23 15:17 doc -rwxr-xr-x 1 5024 src 6515 2006-01-25 14:51 HACKING drwxrwxrwx 3 5024 src 4096 2007-05-23 15:17 iface -rw-r--r-- 1 5024 src 9498 2006-01-25 14:48 INSTALL drwxrwxrwx 4 5024 src 4096 2007-05-23 15:18 lbtt -rwxr-xr-x 1 root root 215095 2007-05-23 15:17 libtool drwxrwxrwx 2 5024 src 4096 2006-01-25 15:02 m4 -rw-r--r-- 1 root root 21099 2007-05-23 15:17 Makefile -rwxr-xr-x 1 5024 src 1442 2005-01-29 00:55 Makefile.am -rw-r--r-- 1 5024 src 20925 2006-01-25 14:51 Makefile.in -rwxr-xr-x 1 5024 src 7842 2006-01-25 14:51 NEWS -rwxr-xr-x 1 5024 src 5195 2005-08-31 18:35 README drwxrwxrwx 18 5024 src 4096 2007-05-23 15:17 src -rwxr-xr-x 1 5024 src 149 2004-07-09 15:06 THANKS drwxrwxrwx 2 5024 src 4096 2006-01-25 15:02 tools drwxrwxrwx 3 5024 src 4096 2007-05-23 15:17 wrap

./configure tout est OK

make ----------> Erreur

tgbabddconcrete.hh:91: error: extra qualification 'spot::tgba_bdd_concrete::' on member 'operator=' make[2]: *** [tgbabddconcrete.lo] Erreur 1 make[2]: quittant le répertoire « /usr/local/spot-0.3/src/tgba » make[1]: *** [all-recursive] Erreur 1 make[1]: quittant le répertoire « /usr/local/spot-0.3/src » make: *** [all-recursive] Erreur 1

make install -------> Erreur

tgbabddconcrete.hh:91: error: extra qualification 'spot::tgba_bdd_concrete::' on member 'operator=' make[2]: *** [tgbabddconcrete.lo] Erreur 1 make[2]: quittant le répertoire « /usr/local/spot-0.3/src/tgba » make[1]: *** [install-recursive] Erreur 1 make[1]: quittant le répertoire « /usr/local/spot-0.3/src » make: *** [install-recursive] Erreur 1

Kais Klai a écrit :

...

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1

Bonjour, Je n'arrive pas à installer SPOT (une librairie développée au LIP6, http://spot.lip6.fr/) sur ma machine, je ne sais pas si vous pouvez m'aider. Voici les commande que je lance:

cvs -d anonymous@minium.lip6.fr:/Volumes/CVS/repository/spot co spot ensuite je fais autoreconf -vfi et voici le message d'erreur qu'il me sort: autoreconf: Entering directory `.' autoreconf: configure.ac: not using Gettext autoreconf: running: aclocal --force -I m4 aclocal: file `/usr/share/aclocal/tcl.m4' does not exist autoreconf: aclocal failed with exit status: 1

PS. L'autre manière qui consiste à téléchrager spot-0.3.tar.gz ./configure make et make install ne marche pas non plus parce que la version contient des erreurs (J'ai eu la confirmation de la part des gens du LIP6). Ca ne sert à rien de la tenter. Merci d'avance Kais

-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFGUx9awQXbzysEDF8RAi0LAJ9rvP+eyKLs0BPl/F7bmGu6sF3q0wCdGGKR +HwFhCNpcVvX8gpNQEHDaqI= =3pjI -----END PGP SIGNATURE----- _______________________________________________ Systeme mailing list Systeme@lipn.univ-paris13.fr https://lipn.univ-paris13.fr/mailman/listinfo/systeme

--

Cordialement

Mamadou S.

----------------------------------------------------- Mr Mamadou SOW Service Informatique-LIPN Bureau A202

LIPN - CNRS UMR 7030 Université Paris XIII - Institut Galilée 99 Av. Jean Baptiste Clément 93430 Villetaneuse - France

Tel: 01 49 40 40 68 / 06 79 51 07 11 Fax: 01 48 26 07 12 Accès au LIPN ou au Service de livraison (entre 09h00 et 13h00): P4 ou parking 4 http://www-lipn.univ-paris13.fr/~mamadou/ -----------------------------------------------------

Salut Mamadou, J'ai bien noté dans mon mail que cette manière ne marchait pas à cause d'un bug dans la version .tar.gz. Avec CVS, on devrait récupérer la bonne version mais l'autoreconf ne marche pas ... Kais