Source: cbmc Version: 6.1.1-2 Severity: serious Justification: FTBFS Tags: trixie sid ftbfs User: [email protected] Usertags: ftbfs-20241222 ftbfs-trixie
Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part (hopefully): > make[3]: Entering directory '/<<PKGBUILDDIR>>/jbmc/src/java_bytecode' > if [ -d ../../lib/java-models-library ]; then \ > (cd ../../lib/java-models-library; mvn --offline > -Dmaven.repo.local=repo package); \ > fi > g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -DHAVE_MINISAT2 -g -O2 > -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong > -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection > -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Werror -Wno-parentheses > -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wswitch-enum > -Wno-deprecated-declarations -Wno-maybe-uninitialized > -Wno-unknown-warning-option -I .. -I ../../../src -o assignments_from_json.o > assignments_from_json.cpp > g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -DHAVE_MINISAT2 -g -O2 > -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong > -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection > -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Werror -Wno-parentheses > -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wswitch-enum > -Wno-deprecated-declarations -Wno-maybe-uninitialized > -Wno-unknown-warning-option -I .. -I ../../../src -o bytecode_info.o > bytecode_info.cpp > g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -DHAVE_MINISAT2 -g -O2 > -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong > -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection > -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Werror -Wno-parentheses > -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wswitch-enum > -Wno-deprecated-declarations -Wno-maybe-uninitialized > -Wno-unknown-warning-option -I .. -I ../../../src -o > character_refine_preprocess.o character_refine_preprocess.cpp > g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -DHAVE_MINISAT2 -g -O2 > -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong > -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection > -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Werror -Wno-parentheses > -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wswitch-enum > -Wno-deprecated-declarations -Wno-maybe-uninitialized > -Wno-unknown-warning-option -I .. -I ../../../src -o ci_lazy_methods.o > ci_lazy_methods.cpp > g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -DHAVE_MINISAT2 -g -O2 > -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong > -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection > -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Werror -Wno-parentheses > -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wswitch-enum > -Wno-deprecated-declarations -Wno-maybe-uninitialized > -Wno-unknown-warning-option -I .. -I ../../../src -o > ci_lazy_methods_needed.o ci_lazy_methods_needed.cpp > g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -DHAVE_MINISAT2 -g -O2 > -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong > -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection > -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Werror -Wno-parentheses > -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wswitch-enum > -Wno-deprecated-declarations -Wno-maybe-uninitialized > -Wno-unknown-warning-option -I .. -I ../../../src -o code_with_references.o > code_with_references.cpp > g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -DHAVE_MINISAT2 -g -O2 > -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong > -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection > -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Werror -Wno-parentheses > -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wswitch-enum > -Wno-deprecated-declarations -Wno-maybe-uninitialized > -Wno-unknown-warning-option -I .. -I ../../../src -o convert_java_nondet.o > convert_java_nondet.cpp > g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -DHAVE_MINISAT2 -g -O2 > -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong > -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection > -Wdate-time -D_FORTIFY_SOURCE=2 -Wall -Werror -Wno-parentheses > -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wswitch-enum > -Wno-deprecated-declarations -Wno-maybe-uninitialized > -Wno-unknown-warning-option -I .. -I ../../../src -o > create_array_with_type_intrinsic.o create_array_with_type_intrinsic.cpp > [[1;34mINFO[m] Scanning for projects... > [[1;33mWARNING[m] > [[1;33mWARNING[m] Some problems were encountered while building the > effective model for org.cprover.models:models:jar:1.0-SNAPSHOT > [[1;33mWARNING[m] 'build.plugins.plugin.version' for > org.apache.maven.plugins:maven-compiler-plugin is missing. @ line 74, column > 15 > [[1;33mWARNING[m] > [[1;33mWARNING[m] It is highly recommended to fix these problems because > they threaten the stability of your build. > [[1;33mWARNING[m] > [[1;33mWARNING[m] For this reason, future Maven versions might no longer > support building such malformed projects. > [[1;33mWARNING[m] > [[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] from pom.xml > [[1;34mINFO[m] [1m--------------------------------[ jar > ]---------------------------------[m > [[1;33mWARNING[m] The POM for > org.apache.maven.plugins:maven-dependency-plugin:jar:3.7.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.268 s > [[1;34mINFO[m] Finished at: 2024-12-22T13:38:58Z > [[1;34mINFO[m] > [1m------------------------------------------------------------------------[m > [[1;31mERROR[m] Plugin > org.apache.maven.plugins:maven-dependency-plugin:3.7.0 or one of its > dependencies could not be resolved: > [[1;31mERROR[m] Cannot access central > (https://repo.maven.apache.org/maven2) in offline mode and the artifact > org.apache.maven.plugins:maven-dependency-plugin:jar:3.7.0 has not been > downloaded from it before. > [[1;31mERROR[m] -> [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 > make[3]: *** [Makefile:80: library] Error 1 The full build log is available from: http://qa-logs.debian.net/2024/12/22/cbmc_6.1.1-2_unstable.log All bugs filed during this archive rebuild are listed at: https://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=ftbfs-20241222;[email protected] or: https://udd.debian.org/bugs/?release=na&merged=ign&fnewerval=7&flastmodval=7&fusertag=only&fusertagtag=ftbfs-20241222&[email protected]&allbugs=1&cseverity=1&ctags=1&caffected=1#results 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! If you reassign this bug to another package, please mark it as 'affects'-ing this package. See https://www.debian.org/Bugs/server-control#affects If you fail to reproduce this, please provide a build log and diff it with mine so that we can identify if something relevant changed in the meantime.
