Bug#589999: coq: FTBFS on sparc: test failure

[Cyril Brulebois <kibi@debian.org>]

Source: coq
Version: 8.3~beta0+13298-1
Severity: serious
Justification: FTBFS
User: debian-sparc@lists.debian.org
Usertags: sparc

Hi,

your package no longer builds on sparc:
| Makefile:56: cannot run complexity tests (no bogomips found)
| make[5]: Entering directory `/build/buildd-coq_8.3~beta0+13298-1-sparc-do5ShS/coq-8.3~beta0+13298/test-suite'
| Makefile:56: cannot run complexity tests (no bogomips found)
| make[5]: Leaving directory `/build/buildd-coq_8.3~beta0+13298-1-sparc-do5ShS/coq-8.3~beta0+13298/test-suite'
| make[4]: Leaving directory `/build/buildd-coq_8.3~beta0+13298-1-sparc-do5ShS/coq-8.3~beta0+13298/test-suite'
| if grep -F 'Error!' test-suite/summary.log ; then false; fi
|     success/Nsatz.v...Error! (should be accepted)
|     success/Nsatz_domain.v...Error! (should be accepted)
|     bugs/closed/shouldsucceed/2145.v...Error! (bug seems to be opened, please check)
|     micromega/bertot.v...Error! (should be accepted)
|     micromega/example.v...Error! (should be accepted)
|     micromega/qexample.v...Error! (should be accepted)
|     micromega/rexample.v...Error! (should be accepted)
|     micromega/square.v...Error! (should be accepted)
|     micromega/zomicron.v...Error! (should be accepted)
| make[3]: *** [test-suite] Error 1
| make[3]: Leaving directory `/build/buildd-coq_8.3~beta0+13298-1-sparc-do5ShS/coq-8.3~beta0+13298'
| make[2]: *** [check] Error 2

Full build logs:
  https://buildd.debian.org/status/package.php?p=coq&suite=experimental

Mraw,
KiBi.