From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA05068 for caml-red; Thu, 28 Sep 2000 09:19:29 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA14346 for ; Wed, 27 Sep 2000 21:26:22 +0200 (MET DST) Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e8RJQMr04577 for ; Wed, 27 Sep 2000 21:26:22 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by margaux.inria.fr (8.7.6/8.7.3) with ESMTP id VAA14210 for ; Wed, 27 Sep 2000 21:26:21 +0200 (MET DST) Received: from racine.cybercable.fr (racine.cybercable.fr [212.198.0.201]) by nez-perce.inria.fr (8.10.0/8.10.0) with SMTP id e8RJQLr04572 for ; Wed, 27 Sep 2000 21:26:21 +0200 (MET DST) Message-Id: <200009271926.e8RJQLr04572@nez-perce.inria.fr> Received: (qmail 4439445 invoked from network); 27 Sep 2000 19:19:00 -0000 Received: from r185m165.cybercable.tm.fr (HELO 195.132.185.165) ([195.132.185.165]) (envelope-sender ) by racine.cybercable.fr (qmail-ldap-1.03) with SMTP for ; 27 Sep 2000 19:19:00 -0000 Date: Wed, 27 Sep 2000 21:18:59 +0200 From: Laurent =?iso-8859-1?Q?Ch=E9no?= Subject: Re: MacOS X et Caml To: Damien Doligez , Caml list X-Priority: 3 In-Reply-To: <200009270855.KAA0000032336@beaune.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; Charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Mailer: Mailsmith 1.1.4 (Bluto) Sender: weis@pauillac.inria.fr Le 27/09/00 =E0 10:55, doligez@beaune.inria.fr (Damien Doligez) =E9crivait = : > [ English version at the end ] >=20 > >>From: Daniel de Rauglaudre > >> Zero probleme: c'est Unix (FreeBSD), ca se compile tout seul. J'ai > >> meme porte mon logiciel GeneWeb, sans aucune difficulte. >=20 > J'ai recu le CD de MacOS X lundi, et j'ai compile O'Caml hier. Il a > suffi de changer un bit dans le source de ocamlmktop pour que tout > marche. J'ai compile camlp4, coq, et geneweb pour tester. oui, mais moi je ne suis pas un pro ! peux-tu nous donner les d=E9tails ? que faut-il donc changer pr=E9cis=E9men= t ? > Pour l'instant, pas de graphiques. Il faut que je voie si on peut > recuperer des morceaux du portage MacOX 8/9. J'ai aussi repere une > histoire de Tk dans MacOS X, donc on aura peut-etre LablTk un jour. > Il y a aussi des rumeurs de serveurs X pour MacOS X. >=20 et Quartz ? (je n'y connais rien, certes) : peut-=EAtre est-il envisageable/envisag=E9 de s'en servir, non ? Merci de continuer =E0 penser aux Macounets ! cordialement, Laurent