OCaml Forge
SCM

Detail: [#1288] need to disable execinfo on arm and powerpc

Bugs: Browse | Download .csv | Monitor

[#1288] need to disable execinfo on arm and powerpc

Date:
2013-06-13 13:34
Priority:
3
State:
Closed
Submitted by:
Hendrik Tews (hendrik_tews)
Assigned to:
Nobody (None)
Resolution:
Fixed
Severity:
None
Hardware:
Other
 
Operating System:
Version:
 
URL:
Summary:
need to disable execinfo on arm and powerpc

Detailed description
execinfo fails on arm and powerpc, see [1] and [2]. Note that the
systemcall is available on these platforms, but the ocaml-extunix
version does not work because of certain design decisions in libc
and ocamlopt. There, I believe, src/discover.ml should disable
execinfo on these platforms automatically, without the need to
pass --disable-execinfo.

[1] http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=637360
[2] http://caml.inria.fr/mantis/view.php?id=5334

Followup

Message
Date: 2013-07-11 08:11
Sender: ygrek

fixed in 8d892efab51ed25c5c3ab2ec27ba3f6dd5c3f642

Attached Files:

Changes:

Field Old Value Date By
status_idOpen2013-07-11 08:11ygrek
close_dateNone2013-07-11 08:11ygrek
ResolutionNone2013-07-11 08:11ygrek