An update on the status of this since there are still a few broken
OCaml packages.

There are two main blockers:

ocaml-sexplib (s-expressions syntax extension): This has an amazingly
obscure build system which has prevented me from fixing it, so I'm
waiting for an upstream fix.

coq (proof assistant): builds fine locally, but not on Koji.  No idea
why this is.  Upstream has a more recent beta version
(http://coq.inria.fr/coq-84) and it might make sense to try that.

The other broken packages are:

 - coccinelle: depends on ocaml-sexplib
 - gappalib-coq: depends on coq
 - why: depends on coq
 - frama-c: depends on coq

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming blog: http://rwmj.wordpress.com
Fedora now supports 80 OCaml packages (the OPEN alternative to F#)
http://cocan.org/getting_started_with_ocaml_on_red_hat_and_fedora
-- 
devel mailing list
devel@lists.fedoraproject.org
https://admin.fedoraproject.org/mailman/listinfo/devel

Reply via email to