Public bug reported: 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 ** Affects: matita (Ubuntu) Importance: High Status: Confirmed ** Tags: arm-porting-queue ftbfs ** Changed in: matita (Ubuntu) Status: New => Confirmed ** Changed in: matita (Ubuntu) Importance: Undecided => High -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/945362 Title: matita version 0.5.8-3build1 failed to build on armhf To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/matita/+bug/945362/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs