Bonjour, J'aimerais que camllight soit installé sur ma machine (goteborg bureau A207). D'avance, merci, Lionel Falempe
Bonjour, ocaml est maintenant installé (c'était un oubli regrettable). camllight ne l'est pas. Il semble que ce projet soit un peu létargique: http://caml.inria.fr/distrib-caml-light-eng.html "The current version is 0.75, released in january 2002." Inquiétant non ? La conséquence est qu'il n'y a pas de distribution empaquetée de camllight. Il y a bien un rpm (version 0.74), mais qui s'installe dans /usr/local, ce qui n'est pas très sérieux. Je vais voir ce que l'on peut faire. Emmanuel On Wed, 2004-09-22 at 13:45, Lionel Falempe wrote:
Bonjour, J'aimerais que camllight soit installé sur ma machine (goteborg bureau A207). D'avance, merci, Lionel Falempe
_______________________________________________ Systeme mailing list Systeme@lipn.univ-paris13.fr https://lipn.univ-paris13.fr/mailman/listinfo/systeme -- Emmanuel Viennet LIPN - Institut Galilee - Universite Paris-Nord
A toutes fins utiles, j'ai installé camllight dans /usr/local (donc sur le serveur, accessible à tous les systèmes linux). Version 0.74-3 Donc dans /usr/local/doc/caml-light-0.74 doc + pages de manuel unix + modes emacs dans /usr/local/lib/emacs/site-lisp/ Emmanuel On Wed, 2004-09-22 at 13:45, Lionel Falempe wrote:
Bonjour, J'aimerais que camllight soit installé sur ma machine (goteborg bureau A207). D'avance, merci, Lionel Falempe
_______________________________________________ Systeme mailing list Systeme@lipn.univ-paris13.fr https://lipn.univ-paris13.fr/mailman/listinfo/systeme -- Emmanuel Viennet LIPN - Institut Galilee - Universite Paris-Nord
participants (2)
-
Emmanuel Viennet -
Lionel Falempe