On Friday 09 May 2014 22:19:02 Richard W.M. Jones wrote:
On Fri, May 02, 2014 at 02:47:11PM +0200, Pino Toscano wrote:
> Add a simple test which uses scanelf or readelf to detect whether
> the
> supermin executable is really not executable.
FYI this test failed on ARM. It's a genuine failure showing that we
are building a supermin binary with an executable stack.
Ouch, I didn't know about this issue, sorry for the tests breakage on
!x86 & !x86_64 platforms.
It turns out to be an OCaml bug. Years ago I filed:
http://caml.inria.fr/mantis/view.php?id=4564
It was only fixed upstream on i686 & x86-64 ... not on ARM.
$ touch empty.ml
$ ocamlopt empty.ml
$ readelf -lW a.out | grep GNU_STACK
GNU_STACK 0x000000 0x00000000 0x00000000 0x00000 0x00000 RWE
0x4
So I will have to apply the same fix to the OCaml ARM compiler too.
Judging from the Debian build logs of pristine supermin 5.1.8,
architecture affected were for sure arm, mips, powerpc.
--
Pino Toscano