matita version 0.5.8-2build2 failed to build on i386

[Matthias Klose]

matita version 0.5.8-2build2 failed to build on i386
Link to failed build: https://launchpad.net/ubuntu/+archive/test-rebuild-20110413/+buildjob/2461710

Direct link to the build log: https://launchpad.net/ubuntu/+archive/test-rebuild-20110413/+buildjob/2461710/+files/buildlog_ubuntu-natty-i386.matita_0.5.8-2build2_FAILEDTOBUILD.txt.gz

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

/usr/lib/ocaml/pcre/libpcre_stubs.a(pcre_stubs.o): In function `pcre_version_stub':
(.text+0x15e3): undefined reference to `pcre_version'
/usr/lib/ocaml/pcre/libpcre_stubs.a(pcre_stubs.o): In function `pcre_ocaml_init':
(.text+0x16ba): undefined reference to `pcre_callout'
collect2: ld returned 1 exit status
File "caml_startup", line 1, characters 0-1:
Error: Error during linking
make[3]: *** [rt.opt] Error 2
make[3]: Leaving directory `/build/buildd/matita-0.5.8/components/ng_library'
make[2]: *** [rec@opt@ng_library] 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 20110415-0314
FAILED [dpkg-buildpackage died]
Purging chroot-autobuild/build/buildd/matita-0.5.8

[Andreas Moog (ampelbein)]

0.5.8-3 built fine in oneiric now.