Comment author: smimram

Interstingly, the compilation of omake (http://omake.metaprl.org/) fails on arm and ia64 also on a segmentation fault:

OMAKEFLAGS= src/main/omake --dotomake .omake --force-dotomake -j2 -S --progress all doc
make[1]: *** [all] Segmentation fault

See [1] and [2].

[1] http://buildd.debian.org/fetch.php?&pkg=omake&ver=0.9.6.7-1-2&arch=arm&stamp=1136679203&file=log&as=raw
[2] http://buildd.debian.org/fetch.php?&pkg=omake&ver=0.9.6.7-1-2&arch=ia64&stamp=1136678125&file=log&as=raw

Comment author: jcristau

This is probably the same issues reported in PR3077 (arm and ia64) and PR3908 (ia64).

Comment author: skaller

Felix also fails on ia64 and arm, it's a native code Ocaml program.

The arm failure is only occasional, only 2 regression tests fail.
These tests passed in Dec 2005:

http://buildd.debian.org/fetch.php?&pkg=felix&ver=1.1.1-1&arch=arm&stamp=1133678680&file=log&as=raw

On ia64 i can't tell,
because a tool essential to building everything else fails,
also failed in Dec 2005.

Debain autobuilder link:

http://buildd.debian.org/build.php?arch=&pkg=felix
http://buildd.debian.org/fetch.php?&pkg=felix&ver=1.1.2-1&arch=arm&stamp=1158210316&file=log&as=raw
http://buildd.debian.org/fetch.php?&pkg=felix&ver=1.1.2-1&arch=ia64&stamp=1158239852&file=log&as=raw

Tarball
http://felix.sourceforge.net/flx_1.1.2_src.tgz

Comment author: bacam

I've had a look at this on a qemu-emulated arm system. (My 'real' ARM system uses the new ARM EABI, so isn't suitable.)

When caml_allocN decides to call the GC, it saves the requested size for
allocation while the GC is running. However, it saves it in the text section
of memory, which is read-only. I'll attach a patch uses the data section
instead. I've successfully built the most recent versions of camomile, camlp5
and coq with it.

(I've no access to ia64, though.)

Comment author: @xavierleroy

Thanks for the ARM patch. It is applied in the 3.10 bugfix branch and will be part of the 3.10.2 release.

Comment author: @xavierleroy

So, what's happening with Camomile on ARM and IA64 in Debian these days? Did the ARM patch fix the issue? What about the IA64 version? Thanks for updating us.

Comment author: jcristau

Debian disabled the native compilers on arm and ia64 a while ago (and the old arm port was deprecated in favour of EABI). It should be possible to do a test-build though to see if this issue is still there, at least on ia64.

Comment author: @glondu

I've successfully compiled camomile on arm using ocamlopt from svn trunk (r10268 + patch on #5027).

Comment author: @xavierleroy

By lack of public interest, the next major release of OCaml will no longer offer an IA64/Itanium native-code generator. I am therefore closing this PR.

The ARM port, however, is still supported and improved. If the ARM problem is still there, feel free to submit a new PR.