https://caml.inria.fr/pub/distrib/ocaml-4.13/ https://bugzilla.redhat.com/show_bug.cgi?id=1893381
This will need a full rebuild which I can do next week.
There are various other packages which should be upgraded for which bugs were filed already. I'll need to do a bugzilla search to identify them. If there are other things that might need upgrading, follow up to this email.
Rich.
On Fri, Sep 24, 2021 at 12:00 PM Richard W.M. Jones rjones@redhat.com wrote:
https://caml.inria.fr/pub/distrib/ocaml-4.13/ https://bugzilla.redhat.com/show_bug.cgi?id=1893381
This will need a full rebuild which I can do next week.
There are various other packages which should be upgraded for which bugs were filed already. I'll need to do a bugzilla search to identify them. If there are other things that might need upgrading, follow up to this email.
I am going to be traveling next week, so I won't be around to fix problems with packages I maintain.
I filed a set of pull requests to upgrade opam, but haven't followed up on them. I think you merged the one for ocaml-base64. The others are: - ocaml-dose3 - ocaml-mccs - opam-file-format - opam
I will try to look back at those before I leave town, but I've got a lot to do between now and then.
Are you going to try building the coq stack on s390x? If so, ExcludeArch tags will need to be removed from: - coq - flocq - frama-c - gappalib-coq - why3 - zenon
Thanks for handling the OCaml upgrade. Regards,
On Fri, Sep 24, 2021 at 01:41:11PM -0600, Jerry James wrote:
Are you going to try building the coq stack on s390x? If so, ExcludeArch tags will need to be removed from:
- coq
- flocq
- frama-c
- gappalib-coq
- why3
- zenon
That's a good question - do we have any reason to believe the compiler bug is fixed, or do you want me to try it and see?
Rich.
On Mon, Sep 27, 2021 at 1:54 AM Richard W.M. Jones rjones@redhat.com wrote:
That's a good question - do we have any reason to believe the compiler bug is fixed, or do you want me to try it and see?
Well, you suggested that it might be fixed:
https://lists.fedoraproject.org/archives/list/ocaml-devel@lists.fedoraprojec...
If it is fixed, it would be great to remove those ExcludeArch tags. If you don't want to tackle that, I can give it a try next week.
On Mon, Sep 27, 2021 at 09:04:05AM -0600, Jerry James wrote:
On Mon, Sep 27, 2021 at 1:54 AM Richard W.M. Jones rjones@redhat.com wrote:
That's a good question - do we have any reason to believe the compiler bug is fixed, or do you want me to try it and see?
Well, you suggested that it might be fixed:
https://lists.fedoraproject.org/archives/list/ocaml-devel@lists.fedoraprojec...
If it is fixed, it would be great to remove those ExcludeArch tags. If you don't want to tackle that, I can give it a try next week.
No problem, I'll give it a try when I get around to the build.
Rich.
On Mon, Sep 27, 2021 at 08:54:28AM +0100, Richard W.M. Jones wrote:
On Fri, Sep 24, 2021 at 01:41:11PM -0600, Jerry James wrote:
Are you going to try building the coq stack on s390x? If so, ExcludeArch tags will need to be removed from:
- coq
- flocq
- frama-c
- gappalib-coq
- why3
- zenon
That's a good question - do we have any reason to believe the compiler bug is fixed, or do you want me to try it and see?
I've removed the ExcludeArch: s390x from all of these packages now.
Rich.
On Mon, Oct 4, 2021 at 11:24 AM Richard W.M. Jones rjones@redhat.com wrote:
I've removed the ExcludeArch: s390x from all of these packages now.
Fingers crossed that all is well now. I've also changed the ocaml-menhir package to not BR coq for the bootstrap build, and removed the s390x-specific code to always keep it off on that architecture.
On Mon, Oct 04, 2021 at 11:38:34AM -0600, Jerry James wrote:
On Mon, Oct 4, 2021 at 11:24 AM Richard W.M. Jones rjones@redhat.com wrote:
I've removed the ExcludeArch: s390x from all of these packages now.
Fingers crossed that all is well now. I've also changed the ocaml-menhir package to not BR coq for the bootstrap build, and removed the s390x-specific code to always keep it off on that architecture.
Great - I'll go for the full build later on.
Thanks,
Rich.
ocaml-devel@lists.fedoraproject.org