Note: This is a beta release of Red Hat Bugzilla 5.0. The data contained within is a snapshot of the live data so any changes you make will not be reflected in the production Bugzilla. Also email is disabled so feel free to test any aspect of the site that you want. File any problems you find or give feedback here.
Bug 487080 - Review Request: jocaml - Join-calculus extension of Objective Caml
Summary: Review Request: jocaml - Join-calculus extension of Objective Caml
Alias: None
Product: Fedora
Classification: Fedora
Component: Package Review
Version: rawhide
Hardware: All
OS: Linux
Target Milestone: ---
Assignee: Nobody's working on this, feel free to take it
QA Contact: Fedora Extras Quality Assurance
Depends On:
TreeView+ depends on / blocked
Reported: 2009-02-24 01:38 UTC by Michel Alexandre Salim
Modified: 2010-11-11 16:45 UTC (History)
3 users (show)

Fixed In Version:
Doc Type: Bug Fix
Doc Text:
Clone Of:
Last Closed: 2010-11-11 16:45:37 UTC

Attachments (Terms of Use)

Description Michel Alexandre Salim 2009-02-24 01:38:02 UTC
Spec URL:
JoCaml is a extension of Objective Caml for concurrent and
distributed programming, based upon the join-calculus.

Comment 1 Michel Alexandre Salim 2009-02-24 01:43:53 UTC
Packager notes:
- see
  for packaging discussions with upstream

- using standard find-provides/find-requires rather than Ocaml's, because the
  latter outputs internal modules that mostly duplicate Ocaml's, which could
  potentially mean that installing an Ocaml library would pull in Jocaml instead
  of Ocaml.

- This JoCaml is configured with a companion Ocaml, meaning it fallbacks to using
  the Ocaml-provided library if a particular JoCaml library is not present. Thus
  most of the standard library have been stripped out (again, to avoid dependency
  confusion). Because JoCaml skips from 3.10.0 to 3.11.0, that means this package
  has to be tested using Rawhide's Ocaml.

- This is tested with the JoCaml ray tracer:

  Upstream promises to provide a test suite that can be used to verify that our
  stripped JoCaml is still functional; will test against it when it arrives.

Comment 2 Richard W.M. Jones 2009-02-24 10:11:19 UTC
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:
> - JoCaml provides an almost-identical set of base libraries to OCaml,
> and so if I use and, 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
> 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.

Comment 3 Jason Tibbitts 2009-08-04 01:34:18 UTC
So what's the status here?  The last comment makes it seem as if there are problems with this package, but I don't know enough about ocaml to know for sure.  Is there something that needs to be fixed before this package can be reviewed?

Comment 4 Richard W.M. Jones 2009-08-05 07:34:27 UTC
I don't have much time to look at these packages
(and bug 460894) but I'm more than happy to leave
them open.  If I catch Michel on IRC I'll remind him.

Comment 5 Jason Tibbitts 2010-11-02 21:28:44 UTC
After being marked "not ready" for well over a year now, can we just close this out?

Comment 6 Richard W.M. Jones 2010-11-02 21:35:08 UTC
I guess so, Michel?

Comment 7 Michel Alexandre Salim 2010-11-11 16:45:37 UTC
Busy with some other packages; I'll create a new request when I have time to fix the packaging.

Note You need to log in before you can comment on or make changes to this bug.