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
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 assist
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.
--
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
virt-top is 'top' for virtual machines. Tiny program with many
powerfu
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
>
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
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
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 tod
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/
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/
I
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
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.
--
Richar
11 matches
Mail list logo
