I'm going to try to get OCaml 4.00.0 beta 2 into Rawhide today.
https://sympa.inria.fr/sympa/arc/caml-list/2012-06/msg00030.html http://caml.inria.fr/pub/distrib/ocaml-4.00/
It's supposed to be compatible. I will rebuild as many OCaml packages as I can over the next few days.
Rich.
On Thu, Jun 07, 2012 at 02:23:13PM +0100, Richard W.M. Jones wrote:
I'm going to try to get OCaml 4.00.0 beta 2 into Rawhide today.
https://sympa.inria.fr/sympa/arc/caml-list/2012-06/msg00030.html http://caml.inria.fr/pub/distrib/ocaml-4.00/
It's supposed to be compatible. I will rebuild as many OCaml packages as I can over the next few days.
It should be possible now to rebuild OCaml packages in Rawhide.
Nearly all should just need to be bumped and rebuilt, although note that you have to rebuild them in BuildRequires order. If any seem to need more complex fixes, let me know and I will have a look.
Thanks Orion Poplawski for rebuilding a few already.
Rich.
On 06/08/2012 10:06 AM, Richard W.M. Jones wrote:
On Thu, Jun 07, 2012 at 02:23:13PM +0100, Richard W.M. Jones wrote:
I'm going to try to get OCaml 4.00.0 beta 2 into Rawhide today.
https://sympa.inria.fr/sympa/arc/caml-list/2012-06/msg00030.html http://caml.inria.fr/pub/distrib/ocaml-4.00/
It's supposed to be compatible. I will rebuild as many OCaml packages as I can over the next few days.
It should be possible now to rebuild OCaml packages in Rawhide.
Nearly all should just need to be bumped and rebuilt, although note that you have to rebuild them in BuildRequires order. If any seem to need more complex fixes, let me know and I will have a look.
Thanks Orion Poplawski for rebuilding a few already.
Rich.
I'm stuck now on ocaml-lablgtk:
DEBUG util.py:257: Error: Package: gnome-panel-devel-3.4.2.1-1.fc18.x86_64 (build) DEBUG util.py:257: Requires: libgnome-desktop-3.so.2()(64bit)
Looks like some old gnome stuff? I know nothing about the gnome stack so any suggestions here would be appreciated.
On Fri, Jun 08, 2012 at 12:25:51PM -0600, Orion Poplawski wrote:
On 06/08/2012 10:06 AM, Richard W.M. Jones wrote:
On Thu, Jun 07, 2012 at 02:23:13PM +0100, Richard W.M. Jones wrote:
I'm going to try to get OCaml 4.00.0 beta 2 into Rawhide today.
https://sympa.inria.fr/sympa/arc/caml-list/2012-06/msg00030.html http://caml.inria.fr/pub/distrib/ocaml-4.00/
It's supposed to be compatible. I will rebuild as many OCaml packages as I can over the next few days.
It should be possible now to rebuild OCaml packages in Rawhide.
Nearly all should just need to be bumped and rebuilt, although note that you have to rebuild them in BuildRequires order. If any seem to need more complex fixes, let me know and I will have a look.
Thanks Orion Poplawski for rebuilding a few already.
Rich.
I'm stuck now on ocaml-lablgtk:
DEBUG util.py:257: Error: Package: gnome-panel-devel-3.4.2.1-1.fc18.x86_64 (build) DEBUG util.py:257: Requires: libgnome-desktop-3.so.2()(64bit)
Looks like some old gnome stuff? I know nothing about the gnome stack so any suggestions here would be appreciated.
Seems like a broken dependency in that package (gnome-panel-devel). The latest Rawhide-report in this list shows the same problem.
If gnome-panel is deprecated, I guess we could remove the dependency.
Rich.
On 06/08/2012 12:31 PM, Richard W.M. Jones wrote:
On Fri, Jun 08, 2012 at 12:25:51PM -0600, Orion Poplawski wrote:
On 06/08/2012 10:06 AM, Richard W.M. Jones wrote:
On Thu, Jun 07, 2012 at 02:23:13PM +0100, Richard W.M. Jones wrote:
I'm going to try to get OCaml 4.00.0 beta 2 into Rawhide today.
https://sympa.inria.fr/sympa/arc/caml-list/2012-06/msg00030.html http://caml.inria.fr/pub/distrib/ocaml-4.00/
It's supposed to be compatible. I will rebuild as many OCaml packages as I can over the next few days.
It should be possible now to rebuild OCaml packages in Rawhide.
Nearly all should just need to be bumped and rebuilt, although note that you have to rebuild them in BuildRequires order. If any seem to need more complex fixes, let me know and I will have a look.
Thanks Orion Poplawski for rebuilding a few already.
Rich.
I'm stuck now on ocaml-lablgtk:
DEBUG util.py:257: Error: Package: gnome-panel-devel-3.4.2.1-1.fc18.x86_64 (build) DEBUG util.py:257: Requires: libgnome-desktop-3.so.2()(64bit)
Looks like some old gnome stuff? I know nothing about the gnome stack so any suggestions here would be appreciated.
Seems like a broken dependency in that package (gnome-panel-devel). The latest Rawhide-report in this list shows the same problem.
If gnome-panel is deprecated, I guess we could remove the dependency.
Rich.
I tried building without gnome-panel-devel and got:
Cross referencing... Warning: Class or class type OgtkSourceView2Props.source_view_props not found Ok ocamlc.opt -I +ocamldoc -pp "camlp4o -I /usr/lib64/ocaml/camlp4/Camlp4Parsers pa_macro.cmo -D OCAML_308" -c gtkdoc.ml File "gtkdoc.ml", line 70, characters 12-26: Error: Unbound class Odoc_html.html make[1]: *** [gtkdoc.cmo] Error 2
Any idea?
On 06/08/2012 12:42 PM, Orion Poplawski wrote:
I tried building without gnome-panel-devel and got:
Cross referencing... Warning: Class or class type OgtkSourceView2Props.source_view_props not found Ok ocamlc.opt -I +ocamldoc -pp "camlp4o -I /usr/lib64/ocaml/camlp4/Camlp4Parsers pa_macro.cmo -D OCAML_308" -c gtkdoc.ml File "gtkdoc.ml", line 70, characters 12-26: Error: Unbound class Odoc_html.html make[1]: *** [gtkdoc.cmo] Error 2
Any idea?
Still get this with the rebuilt gnome-panel. I'm afraid I know nothing about ocaml though. Help please?
On Fri, Jun 08, 2012 at 12:42:43PM -0600, Orion Poplawski wrote:
Cross referencing... Warning: Class or class type OgtkSourceView2Props.source_view_props not found Ok ocamlc.opt -I +ocamldoc -pp "camlp4o -I /usr/lib64/ocaml/camlp4/Camlp4Parsers pa_macro.cmo -D OCAML_308" -c gtkdoc.ml File "gtkdoc.ml", line 70, characters 12-26: Error: Unbound class Odoc_html.html make[1]: *** [gtkdoc.cmo] Error 2
It turns out that the class Odoc_html.html was renamed in the ocamldoc library. I'll submit a new build, send a patch upstream etc.
Thanks,
Rich.
On 06/08/2012 12:25 PM, Orion Poplawski wrote:
On 06/08/2012 10:06 AM, Richard W.M. Jones wrote:
On Thu, Jun 07, 2012 at 02:23:13PM +0100, Richard W.M. Jones wrote:
I'm going to try to get OCaml 4.00.0 beta 2 into Rawhide today.
https://sympa.inria.fr/sympa/arc/caml-list/2012-06/msg00030.html http://caml.inria.fr/pub/distrib/ocaml-4.00/
It's supposed to be compatible. I will rebuild as many OCaml packages as I can over the next few days.
It should be possible now to rebuild OCaml packages in Rawhide.
Nearly all should just need to be bumped and rebuilt, although note that you have to rebuild them in BuildRequires order. If any seem to need more complex fixes, let me know and I will have a look.
Thanks Orion Poplawski for rebuilding a few already.
Rich.
I'm stuck now on ocaml-lablgtk:
DEBUG util.py:257: Error: Package: gnome-panel-devel-3.4.2.1-1.fc18.x86_64 (build) DEBUG util.py:257: Requires: libgnome-desktop-3.so.2()(64bit)
Looks like some old gnome stuff? I know nothing about the gnome stack so any suggestions here would be appreciated.
Looks like it just got rebuilt.
In case anyone is interested, here's a hacky script I wrote to do the mass rebuild:
http://git.annexia.org/?p=mass-rebuild.git;a=summary
Rich.
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.
I think we're down to our last 3 packages now:
- coccinelle:
Builds, but the build is obviously broken, ie. the program doesn't work for any non-trivial input. I have asked upstream about this.
- frama-c:
Requires further changes to work with the new Hashtbl signature in OCaml 4. You are in a twisty maze of functors, all alike.
- why:
Depends on on frama-c.
Rich.
devel@lists.stg.fedoraproject.org
-
Orion Poplawski -
Richard W.M. Jones