On Thu, Mar 2, 2006 at 12:16:34 +0000, Thomas Petazzoni wrote: > However, it seems that CDuce has problems on ARM: > > http://buildd.debian.org/fetch.php?&pkg=cduce&ver=0.4.0-2&arch=arm&stamp=1141230958&file=log&as=raw > > There are a couple of assembler warnings, I don't know if they are > important. But more important, cduce segfaults: > > make[2]: Leaving directory `/build/buildd/cduce-0.4.0' > ./cduce -I web/ --compile web/xhtml.cd > make[1]: *** [web/xhtml.cdo] Segmentation fault > > I'll ask upstream maintainers to see if they are aware of a bug like > this one, but if they aren't, how can we track down this bug ? > This is an ocamlopt bug, see http://caml.inria.fr/mantis/view.php?id=3077 and http://caml.inria.fr/mantis/view.php?id=3952 (upstream doesn't have access to arm machines, so this isn't going to be fixed fast, if at all).
Cheers, Julien -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
