From: Benjamin Geer <ben@socialtools.net>
To: "Basile Starynkevitch [local]" <basile.starynkevitch@inria.fr>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] [ANN] new release of OcamlJitRun - release 1.5-fetnat
Date: Sun, 11 Jul 2004 11:31:19 +0100 [thread overview]
Message-ID: <40F116F7.1000209@socialtools.net> (raw)
In-Reply-To: <20040711062240.GB26819@bourg.inria.fr>
Basile Starynkevitch [local] wrote:
> On Sun, Jul 11, 2004 at 12:52:17AM +0100, Benjamin Geer wrote:
>>Is there any chance you could package it for GODI?
>
> OcamlJitRun is in fact a C program (since it replaces the ocamlrun
> bytecode interpreter). Is GODI good for these?
Yes. GODI includes OCaml itself as a package (it's the first one it
installs), and therefore ocamlrun.
The current development version of GODI builds and installs the CVS
version of OCaml, so you wouldn't have to worry about that dependency.
It would be nice to package GNU Lightning as well. When an OCaml
library depends on a C library, the tendency in GODI is to package the C
library as well, so it can be built automatically if the user doesn't
already have it.
Ben
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
prev parent reply other threads:[~2004-07-11 10:31 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-07-10 22:04 Basile Starynkevitch [local]
[not found] ` <000e01c466d3$aef06820$0100a8c0@warp>
2004-07-11 6:21 ` Basile Starynkevitch [local]
[not found] ` <40F08131.2000907@socialtools.net>
2004-07-11 6:22 ` Basile Starynkevitch [local]
2004-07-11 10:31 ` Benjamin Geer [this message]
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=40F116F7.1000209@socialtools.net \
--to=ben@socialtools.net \
--cc=basile.starynkevitch@inria.fr \
--cc=caml-list@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;
as well as URLs for NNTP newsgroup(s).