Bug#399919: coq_8.1~gamma-1(hppa/experimental): FTBFS: test failures
Package: coq
Version: 8.1~gamma-1
Severity: serious
Hi,
your package failed to build from source while running the test cases.
| Automatic build of coq_8.1~gamma-1 on meitner by sbuild/hppa 79
| Build started at 20061122-1437
| ******************************************************************************
| Checking available source versions...
| Fetching source files...
| Reading package lists...
| Building dependency tree...
| Need to get 2957kB of source archives.
| Get:1 http://ftp.de.debian.org experimental/main coq 8.1~gamma-1 (dsc) [923B]
| Get:2 http://ftp.de.debian.org experimental/main coq 8.1~gamma-1 (tar) [2943kB]
| Get:3 http://ftp.de.debian.org experimental/main coq 8.1~gamma-1 (diff) [13.3kB]
| Fetched 2957kB in 58s (50.6kB/s)
| Download complete and in download only mode
| ** Using build dependencies supplied by package:
| Build-Depends: debhelper (>= 4.0.0), dpkg-dev (>= 1.13.19), dpatch, ocaml-nox (>= 3.09.0), ocaml-best-compilers, liblablgtk2-ocaml-dev (>= 2.4.0), tetex-extra, hevea
| ** Filtered missing central deps that are dependencies of or provide build-deps:
| libncurses5-dev (>= 5.3.20030510-1)
| **** Warning:
| **** The following central src deps are (probably) missing:
| camlp4, emacsen, ocaml
| Checking for already installed source dependencies...
| debhelper: missing
| Using default version 5.0.42
| dpkg-dev: already installed (1.13.24 >= 1.13.19 is satisfied)
| dpatch: missing
| ocaml-nox: missing
| Using default version 3.09.2-7
| ocaml-best-compilers: missing
| liblablgtk2-ocaml-dev: missing
| Using default version 2.6.0-7
| tetex-extra: missing
| hevea: missing
| Checking for source dependency conflicts...
[...]
| cd test-suite; \
| env COQBIN=../bin COQLIB=.. ./check -byte | tee check.log
| Success tests
| success/Abstract.v...Ok
| success/CanonicalStructure.v...Ok
| success/Case1.v...Ok
| success/Case10.v...Ok
| success/Case11.v...Ok
| success/Case12.v...Ok
| success/Case13.v...Ok
| success/Case14.v...Ok
| success/Case15.v...Ok
| success/Case16.v...Ok
| success/Case17.v...Ok
| success/Case18.v...Ok
| success/Case19.v...Ok
| success/Case2.v...Ok
| success/Case5.v...Ok
| success/Case6.v...Ok
| success/Case7.v...Ok
| success/Case8.v...Ok
| success/Case9.v...Ok
| success/CaseAlias.v...Ok
| success/Cases.v...Ok
| success/CasesDep.v...Ok
| success/Check.v...Ok
| success/Conjecture.v...Ok
| success/DHyp.v...Ok
| success/Decompose.v...Ok
| success/DiscrR.v...Ok
| success/Discriminate.v...Ok
| success/Field.v...Ok
| success/Fixpoint.v...Ok
| success/Fourier.v...Ok
| success/Funind.v...Ok
| success/Generalize.v...Ok
| success/Hints.v...Ok
| success/ImplicitTactic.v...Ok
| success/Inductive.v...Ok
| success/Injection.v...Ok
| success/Inversion.v...Ok
| success/LegacyField.v...Ok
| success/LetIn.v...Ok
| success/MatchFail.v...Ok
| success/Mod_ltac.v...Ok
| success/Mod_params.v...Ok
| success/Mod_strengthen.v...Ok
| success/Mod_type.v...Ok
| success/NatRing.v...Ok
| success/Notations.v...Ok
| success/Omega.v...Ok
| success/Omega0.v...Ok
| success/Omega2.v...Ok
| success/PPFix.v...Ok
| success/Print.v...Ok
| success/Projection.v...Ok
| success/ROmega.v...Ok
| success/ROmega0.v...Ok
| success/ROmega2.v...Ok
| success/RecTutorial.v...Ok
| success/Record.v...Ok
| success/Reg.v...Ok
| success/Remark.v...Ok
| success/Rename.v...Ok
| success/Require.v...Ok
| success/Reset.v...Ok
| success/Scopes.v...Ok
| success/Simplify_eq.v...Ok
| success/Tauto.v...Ok
| success/TestRefine.v...Ok
| success/Try.v...Ok
| success/apply.v...Ok
| success/autorewritein.v...Ok
| success/cc.v...Ok
| success/coercions.v...Ok
| success/coqbugs0181.v...Ok
| success/destruct.v...Ok
| success/eauto.v...Ok
| success/eqdecide.v...Ok
| success/evars.v...Ok
| success/extraction.v...Ok
| success/fix.v...Ok
| success/if.v...Ok
| success/implicit.v...Ok
| success/import_lib.v...Ok
| success/import_mod.v...Ok
| success/inds_type_sec.v...Ok
| success/induct.v...Ok
| success/intros.v...Ok
| success/ltac.v...Ok
| success/mutual_ind.v...Ok
| success/options.v...Ok
| success/params_ind.v...Ok
| success/polymorphism.v...Ok
| success/refine.v...Ok
| success/replace.v...Ok
| success/rewrite.v...Ok
| success/set.v...Ok
| success/setoid_ring_module.v...Ok
| success/setoid_test.v...Ok
| success/setoid_test2.v...Ok
| success/setoid_test_function_space.v...Ok
| success/simpl.v...Ok
| success/unfold.v...Ok
| success/unicode_utf8.v...Ok
| success/unification.v...Ok
| success/univers.v...Ok
| Failure tests
| failure/Case1.v...Ok
| failure/Case10.v...Ok
| failure/Case11.v...Ok
| failure/Case12.v...Ok
| failure/Case13.v...Ok
| failure/Case14.v...Ok
| failure/Case15.v...Ok
| failure/Case16.v...Ok
| failure/Case2.v...Ok
| failure/Case3.v...Ok
| failure/Case4.v...Ok
| failure/Case5.v...Ok
| failure/Case6.v...Ok
| failure/Case7.v...Ok
| failure/Case8.v...Ok
| failure/Case9.v...Ok
| failure/ClearBody.v...Ok
| failure/Notations.v...Ok
| failure/Tauto.v...Ok
| failure/Uminus.v...Ok
| failure/autorewritein.v...Ok
| failure/cases.v...Ok
| failure/check.v...Ok
| failure/clash_cons.v...Ok
| failure/clashes.v...Ok
| failure/coqbugs0266.v...Ok
| failure/fixpoint1.v...Ok
| failure/illtype1.v...Ok
| failure/inductive1.v...Ok
| failure/inductive2.v...Ok
| failure/inductive3.v...Ok
| failure/ltac1.v...Ok
| failure/ltac2.v...Ok
| failure/ltac4.v...Ok
| failure/pattern.v...Ok
| failure/positivity.v...Ok
| failure/proofirrelevance.v...Ok
| failure/redef.v...Ok
| failure/rewrite_in_goal.v...Ok
| failure/rewrite_in_hyp.v...Ok
| failure/search.v...Ok
| failure/universes-buraliforti-redef.v...Ok
| failure/universes-buraliforti.v...Ok
| failure/universes-sections1.v...Ok
| failure/universes-sections2.v...Ok
| failure/universes.v...Ok
| failure/universes2.v...Ok
| Output tests
| output/Cases.v...Ok
| output/Coercions.v...Ok
| output/Fixpoint.v...Ok
| output/Implicit.v...Ok
| output/InitSyntax.v...Ok
| output/Intuition.v...Ok
| output/Nametab.v...Ok
| output/Notations.v...Ok
| output/RealSyntax.v...Ok
| output/Sum.v...Ok
| output/Tactics.v...Ok
| output/TranspModtype.v...Ok
| output/ZSyntax.v...Ok
| Parser tests
| Interactive tests
| interactive/Back.v...Ok
| interactive/Evar.v...Ok
| Complexity tests
| complexity/pretyping.v...Error! (should run faster)
| complexity/setoid_rewrite.v...Ok
| Module tests
| modules/Demo.v...Ok
| modules/Nat.v...Ok
| modules/PO.v...Ok
| modules/Przyklad.v...Ok
| modules/Tescik.v...Ok
| modules/fun_objects.v...Ok
| modules/grammar.v...Ok
| modules/ind.v...Ok
| modules/mod_decl.v...Ok
| modules/modeq.v...Ok
| modules/modul.v...Ok
| modules/nested_mod_types.v...Ok
| modules/obj.v...Ok
| modules/objects.v...Ok
| modules/objects2.v...Ok
| modules/pliczek.v...Ok
| modules/plik.v...Ok
| modules/sig.v...Ok
| modules/sub_objects.v...Ok
|
| 186 tests passed over 187, i.e. 99 %
| if grep -F 'Error!' test-suite/check.log ; then false; fi
| complexity/pretyping.v...Error! (should run faster)
| make[1]: *** [check] Error 1
| make[1]: Leaving directory `/build/buildd/coq-8.1~gamma'
| make: *** [build-stamp] Error 2
| ******************************************************************************
| Build finished at 20061122-1635
| FAILED [dpkg-buildpackage died]
Full build log(s): http://experimental.ftbfs.de/build.php?&ver=8.1~gamma-1&pkg=coq&arch=hppa
Gruesse,
--
Frank Lichtenheld <frank@lichtenheld.de>
www: http://www.djpig.de/
Reply to: