Re: Request for upload: cduce

[Thomas Petazzoni <thomas.petazzoni@enix.org>]

Hi,

Stefano Zacchiroli wrote:

>>Can someone review and eventually upload the package ?
> 
> Done.

Thanks Stefano.

Unfortunately, the package doesn't compile on:

 - ARM, with the following error:

make[2]: Leaving directory `/build/buildd/cduce-0.3.92'
./cduce -I web/ --compile web/xhtml.cd
make[1]: *** [web/xhtml.cdo] Segmentation fault
make[1]: Leaving directory `/build/buildd/cduce-0.3.92'
make: *** [build-stamp] Error 2

(Note that the compiler issued a lot of warnings during the compilation,
all of which were:
expat: checking... /tmp/camlstartupba6c86.s: Assembler messages:
/tmp/camlstartupba6c86.s:4: Warning: ignoring redefinition of register
alias 'sp'
/tmp/camlstartupba6c86.s:5: Warning: ignoring redefinition of register
alias 'lr'
/tmp/camlstartupba6c86.s:6: Warning: ignoring redefinition of register
alias 'pc')

 - IA64, with the following error:

make[2]: Leaving directory `/build/buildd/cduce-0.3.92'
./cduce -I web/ --compile web/xhtml.cd
make[1]: *** [web/xhtml.cdo] Segmentation fault
make[1]: Leaving directory `/build/buildd/cduce-0.3.92'
make: *** [build-stamp] Error 2

(Same error as on ARM, but no assembler warnings.)

 - Alpha, with the following error:

Build cduce
Cannot find file pr_o.cmx
make[1]: *** [cduce] Error 2
make[1]: Leaving directory `/build/buildd/cduce-0.3.92'
make: *** [build-stamp] Error 2

I suspect the two first to be bugs in the upstream version of CDuce,
however, I'm not sure with the last one. Ideas ?

Thanks,

Thomas
-- 
Thomas Petazzoni
thomas.petazzoni@enix.org