Re: porting OCaml on OSKit

To: oskit-users@cs.utah.edu
Subject: Re: porting OCaml on OSKit
From: mharris@CS.Cornell.EDU (Matthew S. Harris)
Date: 13 Jan 2000 02:22:06 -0500
In-Reply-To: Jay Lepreau's message of "Wed, 12 Jan 2000 23:28:32 MST"
Organization: Cornell University Computer Science
References: <200001130628.XAA04746@mancos.cs.utah.edu>
Sender: owner-oskit-users@fast.cs.utah.edu
User-Agent: Gnus/5.0802 (Gnus v5.8.2) Emacs/20.4

Jay Lepreau <lepreau@cs.utah.edu> writes:
> I was at a meeting earlier this week and learned that Greg
> Morrisett's group at Cornell has ported OCaml to the OSKit, in the
> course of getting TAL running on the OSKit.  At least I think that's
> what was involved.  So maybe they can just give the Caml part to
> you.

Okay, I was the one in Greg's group to get OCaml (2.02) working under
OSKit on Linux (Debian).  I've been keeping quiet because I know my
porting job wasn't great and I don't have access to my notes this
week, but now that I know Greg will be asking me tomorrow, here's what
I've been able to rediscover.

All I really needed to do is recompile the library
byterun/libcamlrun.a against the OSKit libc, since that's the minimum
needed to run OCaml bytecodes.  OCaml's configure script needs to be
modified so that it grabs the right libraries.  Unfortunately there's
no clean way to do that, since the configure script wasn't designed
for cross-compiling.  (It tries to compile and run snippets of C code
using the same libc.)  So I copied configure to configure-oskit and
tried to hard-code as many configuration decisions as I could.  (This
means it won't necessarily work on other platforms anymore.)  I'll
mail the file (16K) to anyone who asks.  Then just ./configure and
make byterun/libcamlrun.a, I think.

The above may be incorrect and/or incomplete.  Improvements are
welcome.  Good luck.

Matthew

References:

Re: porting OCaml on OSKit

From: Jay Lepreau <lepreau@cs.utah.edu>