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 VAA16991 for caml-red; Wed, 20 Sep 2000 21:54:23 +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 SAA03521 for <caml-list@pauillac.inria.fr>; Wed, 20 Sep 2000 18:47:44 +0200 (MET DST)
Received: from tobago.inria.fr (tobago.inria.fr [128.93.8.21])
	by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e8KGlav27712;
	Wed, 20 Sep 2000 18:47:36 +0200 (MET DST)
Received: (from doligez@localhost) by tobago.inria.fr (8.6.10/8.6.6) id SAA12621; Wed, 20 Sep 2000 18:47:35 +0200
Date: Wed, 20 Sep 2000 18:47:35 +0200
From: Damien Doligez <Damien.Doligez@inria.fr>
Message-Id: <200009201647.SAA12621@tobago.inria.fr>
To: caml-list@inria.fr, dmcclain@azstarnet.com
Subject: Re:  Mac version of OCAML?
Sender: weis@pauillac.inria.fr

>From: "David McClain" <dmcclain@azstarnet.com>

>I am about to embark on benchmarking of ultra-fast embedded C flight-code
>that must run on a bank of Power/PC's mixed with a bank of TigerSHARC's.
>Hence the target platform for my tests will be a Macintosh/604.

Too bad it cannot be a G3 or a G4; you'd be able to use the Unix
version of O'Caml under MacOS X.


>Before I get too far along I want to ask any who might know, whether or not
>the Mac version of OCaml can interface to foreign C code produced by the
>Metrowerks C compiler.

O'Caml on MacOS works under MPW Shell in much the same way as it works
under Unix, but it is restricted to byte-code.  It can interface to C
code without problems, but I've given up on the Metrowerks C compiler
for various reasons.  One of these reasons was a bug in the compiler
when calling a function with floating-point arguments with Apple's
calling conventions, hence I couldn't use Apple's libraries with the
Metrowerks compiler.  And Metrowerks' libraries had bugs that
prevented O'Caml from working.  I'm not sure I have the latest version
of Codewarrior, so I don't know if these problems still exist.


> When I last used the Mac version (c.a., 2.02) it was
>still interpreted instead of compiled, and I don't recall whether it could
>be interfaced to foreign code.

There is no interpreter for O'Caml.  There is native-code compilation
and byte-code compilation.  Byte-code can be interfaced with foreign
code without problem.

Depending on your constraints, you might be able to use LinuxPPC on
your Mac.  Then you'll have the full-fledged Unix version of O'Caml.

-- Damien