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

[bugzilla at redhat.com]

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


https://bugzilla.redhat.com/show_bug.cgi?id=487080





--- 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
here:

http://homes.merjis.com/~rich/mingw/fedora-rawhide/x86_64/RPMS/
http://hg.et.redhat.com/cgi-bin/hg-misc.cgi/fedora-mingw--devel/file/tip/ocaml

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:

http://www.mail-archive.com/debian-ocaml-maint@lists.debian.org/msg20208.html

> - 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.