Your message dated Tue, 28 Apr 2020 19:19:00 +0000
with message-id <e1jtvky-0005in...@fasolo.debian.org>
and subject line Bug#952256: fixed in cbmc 5.12-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.12-1
Done: Michael Tautschnig <m...@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.
Michael Tautschnig <m...@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: SHA256
Format: 1.8
Date: Tue, 28 Apr 2020 15:32:56 +0100
Source: cbmc
Binary: cbmc cbmc-dbgsym
Architecture: source
Version: 5.12-1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <m...@debian.org>
Changed-By: Michael Tautschnig <m...@debian.org>
Description:
cbmc - bounded model checker for C and C++ programs
Closes: 952256
Changes:
cbmc (5.12-1) unstable; urgency=low
.
* New upstream release
* Updated Standards version to 4.5.0.1 (no changes required)
* Acknowledge NMU - thanks Adrian for the build fix (Closes: #952256)
Checksums-Sha1:
e551da89560a0a515f7367921ebe5edda9efe454 2234 cbmc_5.12-1.dsc
df12ecf4e71cc9e71322fb7ddeeb9c4e1588b8a0 303871
cbmc_5.12.orig-java-models-library.tar.gz
00186310c8664380c6a3363699b24e25a1f55500 7226147 cbmc_5.12.orig.tar.gz
14965c26bcf7720564a3b8bf5ffcd06abe830fde 16708 cbmc_5.12-1.debian.tar.xz
Checksums-Sha256:
082d1d3e4f4b4a4ba2d65fddd133c080bbd4b1a6ac94792ac0ba2cc26627417b 2234
cbmc_5.12-1.dsc
38e5181b05687c1c6baaa48bec3110ba3989df6daf303ace44ef15e38f7721f3 303871
cbmc_5.12.orig-java-models-library.tar.gz
1b9d003e1baffc714b36a38087e4ed42b47c04da5ebdb02bbce03262ea3acafd 7226147
cbmc_5.12.orig.tar.gz
83d27a2b7a635c21a0ec17bdbea4c4300947b33606695e5f6e694bcd1e5ceef1 16708
cbmc_5.12-1.debian.tar.xz
Files:
50263d60cab78d630677ed848c118104 2234 science optional cbmc_5.12-1.dsc
ac2c4bd95d602a589a3e0bace05c6f08 303871 science optional
cbmc_5.12.orig-java-models-library.tar.gz
b3c3f77800d21b7875bc935d4c580ee8 7226147 science optional cbmc_5.12.orig.tar.gz
cc372f599e8b7a7dfe68e6fe99d685d5 16708 science optional
cbmc_5.12-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAl6ofLoOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTFqBw//dJIJvAnIIk4K1a5YCihK9M/mXmQrl8qPZmlH
BFFZAkDgXCX9x+LkbbWO9JlHMvZ4zIgGVnGFwxHH5fO6DoR/63QHHkm4fKxRPJrZ
4sYS0Ppw0PyjNXFxPZQQuXqkjtiDXEPabHUtWtGRw+6s7DPKxKaLENDIfXA2UGFt
8Z0AvwfjyHbOzTPMj4XKPqck8vlQs9pgXTAeLT0Gr1LT6CNpW1DY0zom7SKOUiui
Npyyj7Ea3VzK/j/SXT+bh02YGrIfA6r5oB5ZoWdQtVCRyru+ykeJVH0cvZjjP0na
adoTsmlnMAlsmWclmq54M69gfsBU/Hk4wvF97FOLsrkWFDvTPkib7+w2lCDM/OyU
8wFltFMk7WQRe6Oiu3WOURftuoMIwFda5GCjNbyVua09Ls3t/jPCyBOF+wAe2SUL
Nr02txA8TtOhDzanYzr/Ivy9JFW6gRFuiECcAiaEh3tGB6ViKVgclpgBUa+cvbyV
Z8R8Uk1QJtxWjOgwa2araty8nD4KHIgAn3HgVz34ordKnuhrUqH6k34QkTmKSr4G
o2f9apGWnwUSRnWMyduiuBjn1vEokqot/HpjuFbWGKDIJYBrJ0jBLTraWDzey5FZ
kus7VrD0S3c0BRat2QvuCPtwHvcXsNstDNbOetd9FH3RJCRNvGGiWR39yuyGt2dn
w6jRu+0=
=ISm4
-----END PGP SIGNATURE-----
--- End Message ---
