New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Ocaml does not build/support ppc64le architecture #6905
Comments
Comment author: @mshinwell Similarly, OCaml doesn't currently support 64-bit mode on traditional big-endian POWER systems. I believe that Redhat have two experimental backends to rectify these deficiencies. I don't think any decision has yet been taken as to whether this code (or similar code) might be merged into the main OCaml distribution. |
Comment author: breno leitao Besides the ppc64el mini cloud, you can also find ppc64el machines at: |
Comment author: @xavierleroy I'm surprised it fails so early in the build. Even if native-code support is missing for this architecture, you should be able to get a working bytecode system. Could you please run "configure" again with the "-verbose" flag? It will produce more context for the error. |
Comment author: ferseiti I have tried to build the source rpm provided by fedora. It is not in the upstream version but it contains several patches for ppc64 and ppc64el. It builds, but it fails on several tests. (Attaching build log) |
Comment author: @xavierleroy Full ppc64le support (incl. ocamlopt) recently added in trunk, will be in 4.03. |
Original bug ID: 6905
Reporter: breno leitao
Status: closed (set by @xavierleroy on 2017-02-16T14:16:39Z)
Resolution: fixed
Priority: normal
Severity: feature
Platform: IBM POWER (ABI version 2)
OS: Linux
OS Version: any
Fixed in version: 4.03.0+dev / +beta1
Category: configure and build/install
Related to: #6943
Monitored by: thierry_f @gasche
Bug description
There is no support for the ABI v2 POWER architecture for OCAML project.
The C compiler is ANSI-compliant.
Checking the sizes of integers and pointers...
This architecture seems to be neither 32 bits nor 64 bits.
OCaml won't run on this architecture.
Steps to reproduce
Given the source code, try to 'configure' the project aiming to compile it. I am using it on Debian and the debian script is calling:
./configure --host powerpc64le-linux-gnu --with-pthread -prefix /usr -libdir /usr/lib/ocaml -x11lib "/usr/lib/powerpc64le-linux-gnu" -mandir /usr/share/man -tkdefs "-I/usr/include/tcl" -tklibs "-L/usr/lib -ltk -ltcl"
Additional information
A ppc64el machine could be requested for free at the ppc64el cloud infrastructure:
http://openpower.ic.unicamp.br/minicloud/
File attachments
The text was updated successfully, but these errors were encountered: