On Tue, Nov 8, 2016 at 9:06 AM, Richard W.M. Jones <rjones@xxxxxxxxxx> 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. _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
