Salut,
Je voudrais utiliser un logiciel nommé Larch Prover (systeme de formalisation de programmation), mais le probleme c'est que en suivant les instructions le systeme me répond : no such file or directory.
J'ai la mandrake 9.0.
Si quelqu'un peut essayer de l'installer (c'est assez facile) et me dire ce que ça lui donne.
Voici l'adresse : nms.lcs.mit.edu/Larch/LP/overview.html
Merci beaucoup

svp ça demande 5 min pour tester et j'en ai vraiment besoin

bon voici une meilleure description de mon probleme :
le systeme se compose de deux parties :
une librairie à mettre en /usr/local/lib/LP
un lp-linux.gz que je décompresse et je fais un chmod +x dessus.
mais en faisant ./lp-linux pour l'exécuter le bash me dit no such file or directory
Meme en faisant ./lp-linux -d /usr/local/lib/LP c'est pareil.
Je suis en root.  
Please help

ayachi a écrit a écrit : bon voici une meilleure description de mon probleme : le systeme se compose de deux parties : une librairie à mettre en /usr/local/lib/LP un lp-linux.gz que je décompresse et je fais un chmod +x dessus. mais en faisant ./lp-linux pour l'exécuter le bash me dit no such file or directory Meme en faisant ./lp-linux -d /usr/local/lib/LP c'est pareil. Je suis en root.   Please help

 
le lp-linux c'est un script shell? Si oui (tu fais file lp-linux pour le savoir), regarde la permière ligne le chemin vers le shell doit être faux.
 
 
Et puis c'est bien fait, on bosse pas en root.

ayachi a écrit a écrit : bon voici une meilleure description de mon probleme : le systeme se compose de deux parties : une librairie à mettre en /usr/local/lib/LP un lp-linux.gz que je décompresse et je fais un chmod +x dessus. mais en faisant ./lp-linux pour l'exécuter le bash me dit no such file or directory Meme en faisant ./lp-linux -d /usr/local/lib/LP c'est pareil. Je suis en root.   Please help

 
Écrit au développeur, le binaire pour Linux a l'air complétement naze, j'arrive pas à le faire fonctionner non plus.