matita version 0.5.8-2build2 failed to build on i386
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
matita (Ubuntu) |
Fix Released
|
High
|
Unassigned | ||
Oneiric |
Fix Released
|
High
|
Unassigned |
Bug Description
matita version 0.5.8-2build2 failed to build on i386
Link to failed build: https:/
Direct link to the build log: https:/
This log snippet might be of interest, since it triggered the matcher 'Purging chroot-autobuild'.
Excerpt 3279 lines into the build log:
/usr/lib/
(.text+0x15e3): undefined reference to `pcre_version'
/usr/lib/
(.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/
make[2]: *** [rec@opt@
make[2]: Leaving directory `/build/
make[1]: *** [rec@world@
make[1]: Leaving directory `/build/
make: *** [debian/
dpkg-buildpackage: error: debian/rules build gave error exit status 2
*******
Build finished at 20110415-0314
FAILED [dpkg-buildpackage died]
Purging chroot-
Changed in matita (Ubuntu): | |
importance: | Undecided → High |
Changed in matita (Ubuntu): | |
milestone: | none → oneiric-alpha-3 |
0.5.8-3 built fine in oneiric now.