On Wed, Jul 25, 2007 at 09:50:45AM +0100, Martin Michlmayr wrote:
> OCaml 3.10.0 dosnt compile on arm debian sid. Ive got the following error:
Thanks for noticing!
> For all who whant to use it on such system:
>
> Simply replace `Ccheckbound' by `Ccheckbound _' in
> asmcomp/selection.ml line 109 make world.opt compiles without errors.
Looking at the code I'm convinced that the real fix should be made in
asmcomp/arm/selection.ml which is (presumably) copied in the place you
mention at configure/build time. The patch I've just committed and
which is available at
http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/ocaml/trunk/debian/patches/arm_ccheckbound_typo.dpatch?op=file&rev=0&sc=0
does precisely that. If you have access to an arm builder, can you
please check if it works properly?
Many thanks in advance,
Cheers.
--
Stefano Zacchiroli -*- PhD in Computer Science ............... now what?
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
(15:56:48) Zack: e la demo dema ? /\ All one has to do is hit the
(15:57:15) Bac: no, la demo scema \/ right keys at the right time
Attachment:
signature.asc
Description: Digital signature