From: Damien Doligez <doligez@beaune.inria.fr>
To: caml-list@margaux.inria.fr
Subject: Re: MacOS X et Caml
Date: Wed, 27 Sep 2000 10:55:41 +0200 (MET DST) [thread overview]
Message-ID: <200009270855.KAA0000032336@beaune.inria.fr> (raw)
[ 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
next reply other threads:[~2000-09-27 17:55 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-09-27 8:55 Damien Doligez [this message]
2000-09-27 19:18 ` Benjamin C. Pierce
2000-09-27 19:18 ` Laurent Chéno
2000-09-28 9:55 ` Sven LUTHER
-- strict thread matches above, loose matches on Subject: below --
2000-09-28 9:22 Damien Doligez
2000-09-27 7:44 Jean-Jacques Levy
2000-09-27 13:08 ` Julian Assange
2000-09-27 6:20 Laurent Chéno
2000-09-25 18:18 Laurent Chéno
2000-09-27 3:35 ` Daniel de Rauglaudre
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=200009270855.KAA0000032336@beaune.inria.fr \
--to=doligez@beaune.inria.fr \
--cc=caml-list@margaux.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox