Bug#880146: cvc4: FTBFS on non-x86: test suite errors

[Aaron M. Ucko]

"Aaron M. Ucko" <ucko at debian.org> writes:

> 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

FTR, there has now been one successful non-x86 build, on mips.
Meanwhile, the armel and armhf builds both failed with the usual error
counts, and the alpha build reported assembler errors that presumably
stem from a toolchain bug.

-- 
Aaron M. Ucko, KB1CJC (amu at alum.mit.edu, ucko at debian.org)
http://www.mit.edu/~amu/ | http://stuff.mit.edu/cgi/finger/?amu@monk.mit.edu