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.
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.
Rich.
--
Richard Jones, Virtualization Group, Red Hat
http://people.redhat.com/~rjones
Read my programming and virtualization blog:
http://rwmj.wordpress.com
Fedora Windows cross-compiler. Compile Windows programs, test, and
build Windows installers. Over 100 libraries supported.
http://fedoraproject.org/wiki/MinGW