Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: MacOS X et Caml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Damien Doligez <doligez@b...>
Subject: Re: MacOS X et Caml
[ English version at the end ]

>>From: Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>
>> 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?= <laurent.cheno@cybercable.fr>

>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.


---

>>From: Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>
>> No problem at all: it is Unix (FreeBSD). I have even compiled my software
>> GeneWeb, without any difficulty.

I got MacOS X on Monday, and I compiled O'Caml yesterday.  I only had
to change one bit in the source of ocamlmktop and everything works
fine.  I tested it by compiling camlp4, coq, and geneweb.

I have to say that this port has been ready for some time, but we
weren't allowed to tell.  No big problem for the bytecode part, and
Xavier did his usual magic with the native code stuff.


>OK, but there is not X server in MacOS X : how with the graphics ?

No graphics for the moment.  I need to look at reusing pieces of the
MacOS 8/9 port.  I also think there's a port of Tk to MacOS X, so
maybe we'll be able to get LablTk working.
And there are rumors of X servers for MacOS X.

-- Damien