← Back to team overview

ocaml-maint team mailing list archive

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

 

** Changed in: matita (Ubuntu)
    Milestone: None => oneiric-alpha-3

** Also affects: matita (Ubuntu Oneiric)
   Importance: High
       Status: New

-- 
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
Status in “matita” source package in Oneiric:
  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

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/matita/+bug/765941/+subscriptions


References