Autre info peut-etre plus utile a court terme: madrid est une machine sous RedHat 8 Les nouvelles machines sont sous RedHat 9 Tu peux toujours utiliser une autre machine en attendant une recompilation: de ta machine, faire "ssh madrid", et voila. La liste des machines sous Redhat 8 est visible la: https://lipn.univ-paris13.fr/systeme/ListeMachines/etat (attendre ~10s l'affichage de la page) Emm On Thu, 2003-10-02 at 11:09, Emmanuel Viennet wrote:
Bonjour,
je n'ai pas le temps de regarder (et surtout ne connais pas assez gprolog pour aller plus loin que le 1er prompt).
Ca ressemble a un pb de lib dynamique incompatible. Le paquet RPM installe est gprolog-1.2.16-1 (non fourni par RedHat, d'ou le probleme: le coupable est l'empaquetteur, ici l'INRIA, qui n'a pas bien déclaré ses dépendances http://pauillac.inria.fr/~diaz/gnu-prolog)
La solution est donc de repartir des sources
ftp://ftp.inria.fr/INRIA/Projects/contraintes/gprolog/gprolog-1.2.16.tar.gz
de recompiler (sur un compte utilisateur si possible) et de tester (je pense que Faycal pour t'aider pour ca s'il a le temps)
Bon courage, Emmanuel
On Thu, 2003-10-02 at 10:54, Idir Khemmoudj wrote:
Bonjour
j'ai un problème que je ne sais pas résoudre avec ma nouvelle machine.
la compilation de certains programmes que j'ai ecris en gnu-prolog ne réussi pas sur ma nouvelle machine (bratislava) alors que ça réussi sur une autre (madrid).
les messages que j'obtiens sont de la sorte:
/usr/lib/gprolog-1.2.16/lib/liblinedit.a(terminal.o)(.text+0x602): In function `LE_Get_Char': : undefined reference to `__ctype_b' collect2: ld returned 1 exit status
pouvez vous svp m'aider à résoudre ce pb ?
merci
============================================================= Idir Khemmoudj LIPN - UMR CNRS 7030 - Institut GALILEE Universite de PARIS-NORD 99 Avenue Jean-Baptiste Clement 93430 Villetaneuse (France) Tel (bureau) (+33) 1 49 40 40 70
============================================================
------------------------------------------------- Message envoye par IMP: http://horde.org/imp/ LIPN - CNRS UMR 7030 - http://www-lipn.univ-paris13.fr -- Emmanuel Viennet LIPN - Institut Galilee - Universite Paris-Nord