Package: src:cvc3
Version: 2.4.1-5.1
Severity: serious
Hi, after applying the patch sent to bug #873975 building the package
advances into the tests, but then fails like this:
*********************************************************
Java API test
*********************************************************
/usr/bin/make -C java test 2>&1 \
| tee -a regressions.log; [ ${PIPESTATUS[0]} -eq 0 ]
make[3]: Entering directory '/home/rt/debian/packages/qa/cvc3-2.4.1/java'
if [ ! -d /home/rt/debian/packages/qa/cvc3-2.4.1/java/lib ]; then mkdir -p
/home/rt/debian/packages/qa/cvc3-2.4.1/java/lib; fi
if [ ! -d obj ]; then mkdir -p obj; fi
/usr/lib/jvm/default-java/bin/java -d64
-Djava.library.path=../java/lib/x86_64-linux-gnu -ea -jar
../java/lib/cvc3test.jar
Unrecognized option: -d64
Error: Could not create the Java Virtual Machine.
Error: A fatal exception has occurred. Program will exit.
make[3]: *** [Makefile:273: test] Error 1
make[3]: Leaving directory '/home/rt/debian/packages/qa/cvc3-2.4.1/java'
make[2]: *** [Makefile:220: regress] Error 1
make[2]: Leaving directory '/home/rt/debian/packages/qa/cvc3-2.4.1'
make[1]: *** [Makefile:246: regress0] Error 2
make[1]: Leaving directory '/home/rt/debian/packages/qa/cvc3-2.4.1'
make: *** [/usr/share/cdbs/1/class/makefile.mk:113:
debian/stamp-makefile-check] Error 2
-- System Information:
Debian Release: buster/sid
APT prefers unstable
APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 4.16.0-2-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8) (ignored: LC_ALL
set to en_US.utf8), LANGUAGE=en_US:en (charmap=UTF-8) (ignored: LC_ALL set to
en_US.utf8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
