Your message dated Sun, 24 Nov 2019 07:38:09 +0000 with message-id <e1iymtb-0002pq...@fasolo.debian.org> and subject line Bug#945319: Removed package(s) from unstable has caused the Debian Bug report #902386, regarding cvc3: FTBFS in API tests with Java 10 due to -d64 option removal to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 902386: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=902386 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---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
--- End Message ---
--- Begin Message ---Version: 2.4.1-5.2+rm Dear submitter, as the package cvc3 has just been removed from the Debian archive unstable we hereby close the associated bug reports. We are sorry that we couldn't deal with your issue properly. For details on the removal, please see https://bugs.debian.org/945319 The version of this package that was in Debian prior to this removal can still be found using http://snapshot.debian.org/. Please note that the changes have been done on the master archive and will not propagate to any mirrors until the next dinstall run at the earliest. This message was generated automatically; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@ftp-master.debian.org. Debian distribution maintenance software pp. Scott Kitterman (the ftpmaster behind the curtain)
--- End Message ---
