[Bug 487080] Review Request: jocaml - Join-calculus extension of Objective Caml

bugzilla at redhat.com bugzilla at redhat.com
Tue Feb 24 10:11:20 UTC 2009

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


--- Comment #2 from Richard W.M. Jones <rjones at redhat.com>  2009-02-24 05:11:19 EDT ---
Copy of an email I sent on this subject to Michel

On Mon, Feb 23, 2009 at 08:50:05AM -0500, Michel Salim wrote:
> Almost ready with the review request, but there are some things I need
> to resolve regarding OCaml find-provides and find-requires first:
> http://yquem.inria.fr/pipermail/jocaml-list/2009-February/000107.html
> - JoCaml provides an almost-identical set of base libraries to OCaml,
> and so if I use ocaml-find-provides.sh and ocaml-find-requires.sh, it
> might erroneously cause JoCaml to be pulled in when a user installs an
> add-on OCaml library on a system without an installed ocaml.

The situation sounds similar to the OCaml cross-compiler that we ship


In that case the solution is to (a) have a separate library directory
and (b) have a modified ocaml-find-provides/ocaml-find-requires which
uses the alternate library directory and makes "ocaml(jocaml,Module) = HASH"
dependencies.  Step (b) is not actually implemented right now.

In the case of the cross-compiler, we choose between them using
findlib and an environment variable:


> - When asking upstream about the modules that have different hashes,
> it was revealed that some of the dependencies discovered by
> ocaml-find-provides.sh might be internal modules, rather than exported
> libraries. I'm attaching the diff between the sorted lists provided by
> ocaml and jocaml:

Yes, the scripts are a bit hit-and-miss, because the program we use
(ocamlobjinfo) doesn't quite have the necessary output to do
dependency analysis properly.  To get around this we hard-code a few
modules to ignore, and generally it works well, but possibly there are
still a few bugs in this area.

Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

More information about the package-review mailing list