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