On Tue, Nov 8, 2016 at 9:06 AM, Richard W.M. Jones <rjones(a)redhat.com> wrote:
On Tue, Oct 18, 2016 at 02:04:22PM +0100, Richard W.M. Jones wrote:
> OCaml 4.03 has been out for a while.
Since OCaml 4.04.0 was released last Friday, we rebased to 4.04.0.
This is now ready to test. If you have Rawhide + some package that
needs OCaml, then add the following repository and you can pull down
the new OCaml version to test against:
$ cat /etc/yum.repos.d/tmp-f26-ocaml.repo
[f26-ocaml]
name=f26-ocaml
baseurl=https://kojipkgs.fedoraproject.org/repos/f26-ocaml/latest/$basearch/
enabled=0
gpgcheck=0
> A few issues that may affect people:
>
> (1) There is a new ppc backend upstream, and I intend to switch to this.
>
> For years we have maintained our own out-of-tree ppc64 & ppc64le
> backends. I want to switch to the upstream ppc backend (which
> supports, in theory, ppc 32 bit, ppc64 and ppc64le). However when I
> actually tried this I found it to be rather buggy, it couldn't even
> compile many basic OCaml packages. This time I intend to switch, and
> we'll deal with the bugs.
The good news is that the new POWER backend in 4.04 is very stable.
We haven't found any problems at all, and compiling for ppc64le
actually revealed undefined behaviour in a C library:
Good news on the stability.
https://bugzilla.redhat.com/show_bug.cgi?id=1392247#c3
For ppc64le you will require POWER8. Running on POWER7 will cause
random segfaults because various vector instructions are used that
weren't available in POWER7.
IBM don't support ppc64le on Power7 anyway, we explicitly use Power8
compiler flags on LE so it's a moot point.
> (2) There is a new s/390x backend upstream. This should enable
us to
> compile all s/390x packages as native code.
>
> It also means that all supported architectures (yes, even riscv64)
> will support native compilation for OCaml.
Neither s390x nor riscv64 are enabled at the moment, but I hope to get
that done in the next few days or weeks.
OK, well just update the rel-eng ticket when you want it merged back
into rawhide.