← Back to team overview

ocaml-maint team mailing list archive

[Bug 765941] [NEW] matita version 0.5.8-2build2 failed to build on i386

 

Public bug reported:

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

** Affects: matita (Ubuntu)
     Importance: High
         Status: New


** Tags: ftbfs oneiric

** Changed in: matita (Ubuntu)
   Importance: Undecided => High

-- 
You received this bug notification because you are a member of Debian
OCaml Maintainers, which is subscribed to matita in Ubuntu.
https://bugs.launchpad.net/bugs/765941

Title:
  matita version 0.5.8-2build2 failed to build on i386

Status in “matita” package in Ubuntu:
  New

Bug description:
  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


Follow ups

References