[Caml-list] Re: Anyone using Benedikt Meurer's new ARM code generator?

[Benedikt Meurer <benedikt.meurer@googlemail.com>]

On May 15, 2012, at 19:11 , Richard W.M. Jones wrote:

Hey Rich,

> We recently put bmeurer's new ARM backend into Fedora/ARM, and
> generally it works well.
> 
> However (very very occasionally) I'm getting odd segfaults from
> programs.  One example is in camomile 0.8.3 during compilation:
> 
>  ocamlopt.opt -noassert -I internal -I public -I toolslib -I . -o mappings/gen_mappings.opt bigarray.cmxa str.cmxa toolslib.cmxa mappings/gen_mappings.cmx
>  cd mappings && ./gen_mappings.opt
>  /bin/sh: line 1: 13996 Illegal instruction     ./gen_mappings.opt
>  make: *** [mappings/cns11643.mar] Error 132
> 
> Another is in libguestfs (in the virt-sysprep program, but it seems to
> be a problem in the generated bindings).  I'm not sure this is the
> same problem as in camomile.
> 
> I'd just like to compare notes with anyone else using the new backend.

I haven't heard of any problems yet. Can you provide additional information, i.e. architecture (armel/armhf), platform, etc.?

> Rich.

Benedikt