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 QAA23588 for caml-red; Thu, 28 Sep 2000 16:57:35 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA18961 for ; Thu, 28 Sep 2000 12:30:59 +0200 (MET DST) Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e8SAUwP24594 for ; Thu, 28 Sep 2000 12:30:58 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.7.6/8.7.3) with ESMTP id MAA00479 for ; Thu, 28 Sep 2000 12:30:58 +0200 (MET DST) Received: from dpt-info.u-strasbg.fr (dpt-info.u-strasbg.fr [130.79.6.1]) by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e8SAUpP24588; Thu, 28 Sep 2000 12:30:51 +0200 (MET DST) Received: from lambda.u-strasbg.fr (mail@lambda.u-strasbg.fr [130.79.90.63]) by dpt-info.u-strasbg.fr (8.9.3/8.9.3) with ESMTP id MAA25819; Thu, 28 Sep 2000 12:30:51 +0200 Received: from luther by lambda.u-strasbg.fr with local (Exim 3.16 #1 (Debian)) id 13eaPo-0002p9-00; Thu, 28 Sep 2000 11:55:44 +0200 Date: Thu, 28 Sep 2000 11:55:44 +0200 From: Sven LUTHER To: Damien Doligez Cc: caml-list@margaux.inria.fr Subject: Re: MacOS X et Caml Message-ID: <20000928115544.B10844@lambda.u-strasbg.fr> Reply-To: luther@dpt-info.u-strasbg.fr Mail-Followup-To: Sven LUTHER , Damien Doligez , caml-list@margaux.inria.fr References: <200009270855.KAA0000032336@beaune.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <200009270855.KAA0000032336@beaune.inria.fr>; from doligez@beaune.inria.fr on Wed, Sep 27, 2000 at 10:55:41AM +0200 Sender: weis@pauillac.inria.fr On Wed, Sep 27, 2000 at 10:55:41AM +0200, Damien Doligez wrote: > [ English version at the end ] > > >>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. > > 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. > > Il est vrai que le portage etait pret depuis quelque temps, sans qu'on > ait le droit d'en parler. Pour le bytecode pas trop de probleme, et > Xavier a porte le compilo natif d'un coup de baguette magique. > > > >From: Laurent =?iso-8859-1?Q?Ch=E9no?= > > >OK, mais il n'y a pas de serveur X sur MacOS X : comment se passent les > >graphiques ? > > 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. L'ideal serait d'avoir un port de gtk+ pour MacOS X natif (sans serveur X natif (sans serveur X). Commee cela on aurait aussi mlgtk et lablgtk. Amicalement, Sven LUTHER