Kibi,
Thanks for reporting this. I've already file a bug upstream for these
errors. As the problem architectures are not directly supported by
upstream and I don't have access to testing machines for these
architectures, I'm not sure what the correct resolution is. Should I
remove these architectures in debian/control? Note also that bug also
likely affects package version 2.2-7, which didn't run the regressions
in debian/rules. Is there a mechanism to revoke the affected binary
packages from testing?
-Chris
On Mon, Mar 22, 2010 at 3:26 PM, Cyril Brulebois <k...@debian.org> wrote:
> Source: cvc3
> Version: 2.2-11
> Severity: serious
> Justification: FTBFS
>
> Hi,
>
> your package FTBFS in various ways, on various archs:
>
> armel:
> | Running API test, regress level = 0
> |
> | test(): {
> | Lambda application: (LAMBDA (x: INT): x)(1)
> | Simplified: 1
> |
> | }
> | test1(): {
> | Query: TRUE
> | Valid
> |
> | Query: FALSE
> | Invalid
> |
> | Query: (p OR NOT p)
> | Valid
> |
> | Query: ((x = y) => (f(x) = f(y)))
> | make[2]: *** [regress] Error 1
> | make[1]: *** [regress0] Error 2
>
> kfreebsd-amd64:
> | Java API test
> | *********************************************************
> | /usr/bin/make -C java test 2>&1 \
> | | tee -a regressions.log; [ ${PIPESTATUS[0]} -eq 0 ]
> | make[3]: Entering directory
> `/build/buildd-cvc3_2.2-11-kfreebsd-amd64-5_aMGU/cvc3-2.2/java'
> | /usr/lib/jvm/default-java/bin/java -d64
> -Djava.library.path=../java/lib/x86_64-kfreebsd-gnu -ea -jar
> ../java/lib/cvc3test.jar
> | make[3]: *** [test] Bus error (core dumped)
>
> kfreebsd-i386:
> | Query: ((x = y) => (f(x) = f(y)))
> | terminate called after throwing an instance of 'std::bad_alloc'
> | what(): std::bad_alloc
> | make[2]: *** [regress] Error 1
>
> s390:
> | Running API test, regress level = 0
> |
> | test(): {
> | Lambda application: (LAMBDA (x: INT): x)(1)
> | Simplified: 1
> |
> | }
> | test1(): {
> | Query: TRUE
> | Valid
> |
> | Query: FALSE
> | Invalid
> |
> | Query: (p OR NOT p)
> | Valid
> |
> | Query: ((x = y) => (f(x) = f(y)))
> | make[2]: *** [regress] Error 1
> | make[1]: *** [regress0] Error 2
> | make: *** [debian/stamp-makefile-check] Error 2
>
> Full build logs:
> https://buildd.debian.org/status/package.php?p=cvc3
>
> Mraw,
> KiBi.
>
>
>
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
