Skip to content
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

Closed
vicuna opened this issue Jun 16, 2015 · 5 comments
Closed

Ocaml does not build/support ppc64le architecture #6905

vicuna opened this issue Jun 16, 2015 · 5 comments

Comments

@vicuna
Copy link

vicuna commented Jun 16, 2015

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

@vicuna
Copy link
Author

vicuna commented Jun 17, 2015

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.

@vicuna
Copy link
Author

vicuna commented Jun 17, 2015

Comment author: breno leitao

Besides the ppc64el mini cloud, you can also find ppc64el machines at:
http://osuosl.org/services/powerdev
https://www.runabove.com/instances/ibm-power8.xml
https://www.siteox.com/cart.php?gid=22
https://ptopenlab.com/cloudlabconsole/index.html

@vicuna
Copy link
Author

vicuna commented Jun 22, 2015

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.

@vicuna
Copy link
Author

vicuna commented Jun 26, 2015

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.
(https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/source/SRPMS/o/ocaml-4.02.2-1.fc23.src.rpm).

It builds, but it fails on several tests. (Attaching build log)

@vicuna
Copy link
Author

vicuna commented Nov 23, 2015

Comment author: @xavierleroy

Full ppc64le support (incl. ocamlopt) recently added in trunk, will be in 4.03.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant