Re: CDuce upload?
Hi,
Le Thu, 2 Mar 2006 12:38:21 +0100,
Julien Cristau <jcristau@liafa.jussieu.fr> 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 - thomas.petazzoni@enix.org
http://{thomas,sos,kos}.enix.org - http://www.toulibre.org
http://www.{livret,agenda}dulibre.org
Reply to: