ocaml-maint team mailing list archive

[Ricardo Salveti <rsalveti@xxxxxxxxxxxx>]

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 Debian
OCaml Maintainers, which is subscribed to matita in Ubuntu.
https://bugs.launchpad.net/bugs/945362

Title:
  matita version 0.5.8-3build1 failed to build on armhf

Status in “matita” package in Ubuntu:
  Confirmed

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

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