Mike,

Le Tue, 28 Feb 2006 22:51:55 +0100,
Thomas Petazzoni <[EMAIL PROTECTED]> a écrit :

> But of course, you can upload it.

Thanks for your upload !

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 ?

Thanks!

Thomas
-- 
Thomas Petazzoni - [EMAIL PROTECTED]
http://{thomas,sos,kos}.enix.org - http://www.toulibre.org
http://www.{livret,agenda}dulibre.org

Reply via email to