OCaml 4.02.0 final (was: Re: OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers))

2014-08-29 Thread Richard W.M. Jones
On Fri, Aug 29, 2014 at 12:26:35PM -0600, Jerry James wrote: > On Fri, Aug 29, 2014 at 3:37 AM, Richard W.M. Jones wrote: > > I'll add this patch to the compiler header files in the next > > iteration, ie. 4.02.0-rc2. > > It looks like the ocaml team has elected to go straight for the final > 4.0

Re: OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers)

2014-08-29 Thread Jerry James
On Fri, Aug 29, 2014 at 3:37 AM, Richard W.M. Jones wrote: > On Thu, Aug 28, 2014 at 01:41:55PM -0600, Jerry James wrote: >> Asked here: https://groups.google.com/forum/#!topic/fa.caml/C6_VauENVgo > > Thanks. This was apparently already reported as PR#6300: http://caml.inria.fr/mantis/view.php?id

Re: OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers)

2014-08-29 Thread Richard W.M. Jones
On Thu, Aug 28, 2014 at 01:41:55PM -0600, Jerry James wrote: > On Tue, Aug 26, 2014 at 3:08 PM, Richard W.M. Jones wrote: > > Go for it if you have time. If not then I'll ask in a few days. > > Asked here: https://groups.google.com/forum/#!topic/fa.caml/C6_VauENVgo Thanks. On an unrelated topi

Re: OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers)

2014-08-28 Thread Jerry James
On Tue, Aug 26, 2014 at 3:08 PM, Richard W.M. Jones wrote: > Go for it if you have time. If not then I'll ask in a few days. Asked here: https://groups.google.com/forum/#!topic/fa.caml/C6_VauENVgo -- Jerry James http://www.jamezone.org/ -- devel mailing list devel@lists.fedoraproject.org https

Re: OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers)

2014-08-26 Thread Richard W.M. Jones
On Tue, Aug 26, 2014 at 09:12:34AM -0600, Jerry James wrote: > On Tue, Aug 26, 2014 at 2:02 AM, Richard W.M. Jones wrote: > > The script should build them in BuildRequires order automatically. > > However in this case I have blocked frama-c and gappalib-coq because > > they didn't build in the pre

Re: OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers)

2014-08-26 Thread Jerry James
On Tue, Aug 26, 2014 at 2:02 AM, Richard W.M. Jones wrote: > The script should build them in BuildRequires order automatically. > However in this case I have blocked frama-c and gappalib-coq because > they didn't build in the previous round, see: > > http://git.annexia.org/?p=goals.git;a=blob;f=fe

Re: OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers)

2014-08-26 Thread Richard W.M. Jones
On Mon, Aug 25, 2014 at 01:22:04PM -0600, Jerry James wrote: > On Sun, Aug 24, 2014 at 9:28 AM, Richard W.M. Jones wrote: > > This is complete now. There were four or five packages which didn't > > rebuild which I'll look at after the UK public holiday. > > Your rebuild script did coq, flocq, an

Re: OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers)

2014-08-25 Thread Jerry James
On Sun, Aug 24, 2014 at 9:28 AM, Richard W.M. Jones wrote: > This is complete now. There were four or five packages which didn't > rebuild which I'll look at after the UK public holiday. Your rebuild script did coq, flocq, and why3, but not gappalib-coq, frama-c, or why. There are ordering depe

Re: OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers)

2014-08-24 Thread Richard W.M. Jones
On Fri, Aug 22, 2014 at 09:18:31PM +0100, Richard W.M. Jones wrote: > > And would this be a good place to say that the OCaml 4.02.0+rc1 > rebuild is now under way? > > Well, it is. I'm expecting that all packages should rebuild without > any problems. > > It may take a couple of days to rebuil

OCaml 4.02.0+rc1 rebuild (was: Re: Contacting the Ocaml maintainers)

2014-08-22 Thread Richard W.M. Jones
And would this be a good place to say that the OCaml 4.02.0+rc1 rebuild is now under way? Well, it is. I'm expecting that all packages should rebuild without any problems. It may take a couple of days to rebuild them all. This rebuild only affects Rawhide. Rich. -- Richard Jones, Virtualiza