Hi, Le Thu, 2 Mar 2006 12:38:21 +0100, Julien Cristau <[EMAIL PROTECTED]> a écrit :
> > 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). FWIW, this problem still exists in 3.09.1. I don't know how to test CDuce with ocaml 3.09.2, as I don't have direct access to ARM machines. As you said a while ago, this is not a problem for the propagation of cduce to testing. However, I've read in the latest DWN that ARM was qualified again as a release architecture. So, should I care about this problem, or just leave it as it is ? Thanks ! Thomas -- Thomas Petazzoni - [email protected] http://{thomas,sos,kos}.enix.org - http://www.toulibre.org http://www.{livret,agenda}dulibre.org -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
