You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 1416 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Samuel Colin
Version: 3.06
OS: GNU/Linux debian woody 3.0r0
Submission from: carene.inrets.fr (137.121.1.8)
Hello,
I simply report a "missing feature" in compilation of OCaml on sparc64.
The ./configure phase tells that native-code compilation is not supported,
whereas in fact it is, but in a 32-bit userland.
Further description:
"uname -a" reports "sparc64"
The configure script knows about sparc, but not sparc64, so native-code
compilation is reported as not supported.
Setting up an environment variable (FAKE_SPARC) to "yes" makes "uname -a" report
"sparc", and then the configure script reports it can compile natively.
The obtained executables are flawlessly working, as the userland is 32-bit.
Moreover, the ./configure detects the ability to do 64-bits optimizations, as
the machine (an ultra 5) is 64-bits.
So, I propose two solutions : add sparc64 in the list of supported
architectures, or when sparc64 is detected, replace it by sparc (at least under
a gnu/linux OS).
The text was updated successfully, but these errors were encountered:
Original bug ID: 1416
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Samuel Colin
Version: 3.06
OS: GNU/Linux debian woody 3.0r0
Submission from: carene.inrets.fr (137.121.1.8)
Hello,
I simply report a "missing feature" in compilation of OCaml on sparc64.
The ./configure phase tells that native-code compilation is not supported,
whereas in fact it is, but in a 32-bit userland.
Further description:
"uname -a" reports "sparc64"
The configure script knows about sparc, but not sparc64, so native-code
compilation is reported as not supported.
Setting up an environment variable (FAKE_SPARC) to "yes" makes "uname -a" report
"sparc", and then the configure script reports it can compile natively.
The obtained executables are flawlessly working, as the userland is 32-bit.
Moreover, the ./configure detects the ability to do 64-bits optimizations, as
the machine (an ultra 5) is 64-bits.
So, I propose two solutions : add sparc64 in the list of supported
architectures, or when sparc64 is detected, replace it by sparc (at least under
a gnu/linux OS).
The text was updated successfully, but these errors were encountered: