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
> [INFO] Scanning for projects...
> [INFO] 
> [INFO] ---------------------< 
> org.cprover.models:models >----------------------
> [INFO] Building CProver JDK Models 1.0-SNAPSHOT
> [INFO] --------------------------------[ jar 
> ]---------------------------------
> [WARNING] The POM for 
> org.apache.maven.plugins:maven-compiler-plugin:jar:3.8.0 is missing, no 
> dependency information available
> [INFO] 
> ------------------------------------------------------------------------
> [INFO] BUILD FAILURE
> [INFO] 
> ------------------------------------------------------------------------
> [INFO] Total time:  0.129 s
> [INFO] Finished at: 2020-02-23T02:47:55Z
> [INFO] 
> ------------------------------------------------------------------------
> [ERROR] 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. -> [Help 1]
> [ERROR] 
> [ERROR] To see the full stack trace of the errors, re-run Maven 
> with the -e switch.
> [ERROR] Re-run Maven using the -X switch to enable full 
> debug logging.
> [ERROR] 
> [ERROR] For more information about the errors and possible 
> solutions, please read the following articles:
> [ERROR] [Help 1] 
> 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.

Reply via email to