Re: CDuce upload?
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
Reply to: