Source: cvc4 Version: 1.5-1 Severity: important Tags: upstream Justification: fails to build from source
All non-x86 builds of cvc4 to date have failed with test suite errors, as detailed at https://buildd.debian.org/status/logs.php?pkg=cvc4&ver=1.5-1 So far, these errors have occurred on arm64, ppc64el, s390x, and the non-release architectures powerpc, ppc64, and sparc64. On almost all of these architectures, the testing summary took the form =============================== TESTING SUMMARY ============================= 150 TOTAL, 136 PASS, 14 FAIL /.../production/test/regress/regress0/test-suite.log 32 TOTAL, 32 PASS in regress/regress0/arith 14 TOTAL, 14 PASS in regress/regress0/arith/integers 32 TOTAL, 12 PASS, 20 FAIL /.../production/test/regress/regress0/arrays/test-suite.log 37 TOTAL, 31 PASS, 6 FAIL /.../production/test/regress/regress0/aufbv/test-suite.log 11 TOTAL, 11 PASS in regress/regress0/auflia 86 TOTAL, 60 PASS, 26 FAIL /.../production/test/regress/regress0/bv/test-suite.log 65 TOTAL, 4 PASS, 61 FAIL /.../production/test/regress/regress0/bv/core/test-suite.log 62 TOTAL, 62 PASS in regress/regress0/datatypes 18 TOTAL, 12 PASS, 6 FAIL /.../production/test/regress/regress0/decision/test-suite.log [long run of fully successful tests elided] 33 TOTAL, 9 PASS, 24 FAIL /.../production/test/regress/regress0/uf/test-suite.log [shorter run of fully successful tests elided] =============================== TESTING SUMMARY ============================= The one exception was sparc64, which encountered many more errors; I'll report a separate bug for that architecture. Could you please take a look? Thanks! -- Aaron M. Ucko, KB1CJC (amu at alum.mit.edu, ucko at debian.org) http://www.mit.edu/~amu/ | http://stuff.mit.edu/cgi/finger/?a...@monk.mit.edu -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
