On Fri, Jul 27, 2007 at 07:21:29PM +0200, Julien Cristau wrote: > > Severity: serious > > There was an error while trying to autobuild your package: <snip> > > > make[2]: Leaving directory `/build/buildd/cduce-0.4.1' > > > ./cduce -I web/ --compile web/xhtml.cd > > > make[1]: *** [web/xhtml.cdo] Segmentation fault > > > make[1]: Leaving directory `/build/buildd/cduce-0.4.1' > > > make: *** [build-stamp] Error 2 > > > > A full build log can be found at: > > http://buildd.debian.org/build.php?arch=ia64&pkg=cduce&ver=0.4.1-1+b1 > > Has anyone tried to find out what's going on here (or workaround it)? > It looks like cduce is being built with ocamlopt, which has a code > generation bug on ia64, so hopefully building cduce with ocamlc would > fix it.
Thomas, are you still around? It seems the cduce package need some care ... Cheers. -- Stefano Zacchiroli -*- PhD in Computer Science ............... now what? [EMAIL PROTECTED],debian.org,bononia.it} -%- http://www.bononia.it/zack/ (15:56:48) Zack: e la demo dema ? /\ All one has to do is hit the (15:57:15) Bac: no, la demo scema \/ right keys at the right time
signature.asc
Description: Digital signature