matita version 0.5.8-3build1 failed to build on armhf

[Ricardo Salveti]

matita version 0.5.8-3build1 failed to build on armhf
Link to failed build: https://launchpad.net/ubuntu/+source/matita/0.5.8-3build1/+build/2970160

Direct link to the build log: https://launchpad.net/ubuntu/+source/matita/0.5.8-3build1/+build/2970160/+files/buildlog_ubuntu-precise-armhf.matita_0.5.8-3build1_FAILEDTOBUILD.txt.gz

This log snippet might be of interest, since it triggered the matcher 'Purging chroot-autobuild'.
Excerpt 2217 lines into the build log:

make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/syntax_extensions'
ocamlfind: Package `helm-utf8_macros' not found
make[3]: Entering directory `/build/buildd/matita-0.5.8/components/syntax_extensions'
../Makefile.common:74: warning: overriding commands for target `test'
Makefile:40: warning: ignoring old commands for target `test'
make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/syntax_extensions'
make[3]: Entering directory `/build/buildd/matita-0.5.8/components/extlib'
make[3]: *** No rule to make target `/usr/lib/ocaml/camlp5/gramlib.cmxa', needed by `componentsConf.cmx'. Stop.
make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/extlib'
make[2]: *** [rec@opt@extlib] Error 2
make[2]: Leaving directory `/build/buildd/matita-0.5.8/components'
make[1]: *** [rec@world@components] Error 2
make[1]: Leaving directory `/build/buildd/matita-0.5.8'
make: *** [debian/stamp-makefile-build] Error 2
dpkg-buildpackage: error: debian/rules build gave error exit status 2
******************************************************************************
Build finished at 20120124-0103
FAILED [dpkg-buildpackage died]
Purging chroot-autobuild/build/buildd/matita-0.5.8