caml-light pour Linux

Michel Mauny (Michel.Mauny@inria.fr)
Fri, 3 Dec 1993 19:55:31 +0100 (MET)

Subject: caml-light pour Linux
To: caml-redistribution@pauillac.inria.fr
Date: Fri, 3 Dec 1993 19:55:31 +0100 (MET)

To: caml-list@margaux.inria.fr
Date: Fri, 3 Dec 93 15:54:53 MET
Cc: cridlig@dmi.ens.fr

Suite a un message precedent (que je n'ai malheureusement pas conserve) dans
lequel on posait la question de savoir si Caml Light tournait sous Linux
(systeme Unix domaine public pour 386/486), je puis affirmer que la version 0.6
se compile et s'installe tres facilement, a la difference de la precedente
release.

Mon PC tourne Linux 0.99pl13 avec 8 Mo de RAM. Le compilateur C installe est
gcc 2.5.2.

-- Regis Cridlig