Your message dated Mon, 20 Apr 2020 04:48:53 +0000 with message-id <e1jqomx-000dp2...@fasolo.debian.org> and subject line Bug#952256: fixed in cbmc 5.10-5.1 has caused the Debian Bug report #952256, regarding cbmc: FTBFS: cp: cannot stat '../../../lib/java-models-library/target/core-models.jar': No such file or directory 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.) -- 952256: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=952256 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Source: cbmc Version: 5.10-5 Severity: serious Justification: FTBFS on amd64 Tags: bullseye sid ftbfs Usertags: ftbfs-20200222 ftbfs-bullseye Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part (hopefully): > make[4]: Entering directory '/<<PKGBUILDDIR>>/jbmc/src/java_bytecode/library' > if [ -d ../../../lib/java-models-library ]; then (cd > ../../../lib/java-models-library; mvn --offline -s > /etc/maven/settings-debian.xml package); cp > ../../../lib/java-models-library/target/core-models.jar .; fi > WARNING: An illegal reflective access operation has occurred > WARNING: Illegal reflective access by > com.google.inject.internal.cglib.core.$ReflectUtils$1 > (file:/usr/share/maven/lib/guice.jar) to method > java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int,java.security.ProtectionDomain) > WARNING: Please consider reporting this to the maintainers of > com.google.inject.internal.cglib.core.$ReflectUtils$1 > WARNING: Use --illegal-access=warn to enable warnings of further illegal > reflective access operations > WARNING: All illegal access operations will be denied in a future release > [[1;34mINFO[m] Scanning for projects... > [[1;34mINFO[m] > [[1;34mINFO[m] [1m---------------------< > [0;36morg.cprover.models:models[0;1m >----------------------[m > [[1;34mINFO[m] [1mBuilding CProver JDK Models 1.0-SNAPSHOT[m > [[1;34mINFO[m] [1m--------------------------------[ jar > ]---------------------------------[m > [[1;33mWARNING[m] The POM for > org.apache.maven.plugins:maven-compiler-plugin:jar:3.8.0 is missing, no > dependency information available > [[1;34mINFO[m] > [1m------------------------------------------------------------------------[m > [[1;34mINFO[m] [1;31mBUILD FAILURE[m > [[1;34mINFO[m] > [1m------------------------------------------------------------------------[m > [[1;34mINFO[m] Total time: 0.129 s > [[1;34mINFO[m] Finished at: 2020-02-23T02:47:55Z > [[1;34mINFO[m] > [1m------------------------------------------------------------------------[m > [[1;31mERROR[m] Plugin org.apache.maven.plugins:maven-compiler-plugin:3.8.0 > or one of its dependencies could not be resolved: Cannot access central > (https://repo.maven.apache.org/maven2) in offline mode and the artifact > org.apache.maven.plugins:maven-compiler-plugin:jar:3.8.0 has not been > downloaded from it before. -> [1m[Help 1][m > [[1;31mERROR[m] > [[1;31mERROR[m] To see the full stack trace of the errors, re-run Maven > with the [1m-e[m switch. > [[1;31mERROR[m] Re-run Maven using the [1m-X[m switch to enable full > debug logging. > [[1;31mERROR[m] > [[1;31mERROR[m] For more information about the errors and possible > solutions, please read the following articles: > [[1;31mERROR[m] [1m[Help 1][m > http://cwiki.apache.org/confluence/display/MAVEN/PluginResolutionException > cp: cannot stat '../../../lib/java-models-library/target/core-models.jar': No > such file or directory > make[4]: *** [Makefile:29: library] Error 1 The full build log is available from: http://qa-logs.debian.net/2020/02/22/cbmc_5.10-5_unstable.log A list of current common problems and possible solutions is available at http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute! About the archive rebuild: The rebuild was done on EC2 VM instances from Amazon Web Services, using a clean, minimal and up-to-date chroot. Every failed build was retried once to eliminate random failures.
--- End Message ---
--- Begin Message ---Source: cbmc Source-Version: 5.10-5.1 Done: Adrian Bunk <b...@debian.org> We believe that the bug you reported is fixed in the latest version of cbmc, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 952...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Adrian Bunk <b...@debian.org> (supplier of updated cbmc package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 07 Apr 2020 11:55:23 +0300 Source: cbmc Architecture: source Version: 5.10-5.1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <m...@debian.org> Changed-By: Adrian Bunk <b...@debian.org> Closes: 952256 Changes: cbmc (5.10-5.1) unstable; urgency=low . * Non-maintainer upload. * Build fixes: - Fix the build with libmaven-compiler-plugin-java 3.8.1. - Backport upstream fix for building with new bison. (Closes: #952256) Checksums-Sha1: dd9454d00e1fc6c085177d1e725e577a9f6131be 2168 cbmc_5.10-5.1.dsc 4ffc6bb1efa6b2b39468c763889945b22dc73e4c 13312 cbmc_5.10-5.1.debian.tar.xz Checksums-Sha256: e9ee3a6b066ddb8ce2fdc44c5311f4f4ab07e400efb56de58012ef711e50220d 2168 cbmc_5.10-5.1.dsc e58cc9b150c01a4ea1114e912a7b5e5d82b094c14cbcdff1a9b2f9f670bebe00 13312 cbmc_5.10-5.1.debian.tar.xz Files: c64cef348e5ec084c20519c9867bc651 2168 science optional cbmc_5.10-5.1.dsc a0d1601fa9b5dc8e5b27acbabbe0d9c5 13312 science optional cbmc_5.10-5.1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAl6MTKoACgkQiNJCh6LY mLHEyBAAx8pdXk22eTSwEEWjPYMdF2jmGr/aHL/fIrIWdA9lvm/wsg78D0GKIMg+ flDZfmVctz6Y80J6RIIKn8hhXCdW+DGBXZ+PrbrfV4zj+THyljiRLjue4y0aKZaf RigwGAaMkP/ySWi32WLLTyUuHV/gUeMXUi9cx9K+0OqGnWPBgFKSXmOQNbg7eWiN 0o52s6OATY1Xg2O4t3u6BABQC0TZM7sgg5dyi7yv/ub6TWqpIOYUATXumAHzHqGh 1DfsTAhhlQrwhB4CqOvOQSFICv/QZcUZfDjw+4jm5nrr/xCXyTLegwrT+7e5Gz8l IAnTx7drdjKGliY8HkgAEsJGgNHn7X3eUOUyN1AoUvzfZ1W6ukqqyCs7Gi6iCeB1 0gR71nxyn6X102PDvets2SubTGljQaQnHA3eNAymsBsxQXNDECIZt7mfW6bjFAbG q6W9XWdsRAMeyF0KUEzOd6DBEjoiMBekfOmY/c9w4fPJquX4fOeqi6K0+B7GlsYv zd+anidS3TY2lSsrG3IQ7oSfU4batxsL0b+9s04zURj9Fr3sCJyYC2tWfIZebCq8 F9qgIP0007yQ4WfvwbUNTCY0A9B25n44LnD8fOWSUPYbQqyWh5hyMX3zIVFspX/j eMBkwsWynR+ZgGWtwFEIW+6CGDlRqe9d8FFxnk3URqFucjSSVaI= =sC2b -----END PGP SIGNATURE-----
--- End Message ---
