Package: src:why3 Version: 1.8.2-1 Severity: serious Tags: ftbfs forky sid Dear maintainer:
During a rebuild of all packages in unstable, this package failed to build. Below you will find the last part of the build log (probably the most relevant part, but not necessarily). If required, the full build log is available here: https://people.debian.org/~sanvila/build-logs/202512/ About the archive rebuild: The build was made on virtual machines from AWS, using sbuild and a reduced chroot with only build-essential packages. If you cannot reproduce the bug please contact me privately, as I am willing to provide ssh access to a virtual machine where the bug is fully reproducible. If this is really a bug in one of the build-depends, please use reassign and add an affects on src:why3, so that this is still visible in the BTS web page for this package. Thanks. -------------------------------------------------------------------------------- [...] debian/rules clean Fatal error: exception Sys_error("debian/why3/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3ide.cma: No such file or directory") Fatal error: exception Sys_error("debian/why3/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/hypothesis_selection.cma: No such file or directory") dh clean --with ocaml,tex dh_ocamlclean dh_clean debian/rules binary Fatal error: exception Sys_error("debian/why3/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/commands/why3ide.cma: No such file or directory") Fatal error: exception Sys_error("debian/why3/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/why3/plugins/hypothesis_selection.cma: No such file or directory") dh binary --with ocaml,tex dh_update_autotools_config dh_autoreconf autoreconf: warning: autoconf input should be named 'configure.ac', not 'configure.in' aclocal: warning: autoconf input should be named 'configure.ac', not 'configure.in' dh_ocamlinit [... snipped ...] Ocamldep src/mlw/dexpr.ml Ocamldep src/mlw/big_real.ml Ocamldep src/mlw/pinterp_core.ml Ocamldep src/mlw/rac.ml Ocamldep src/mlw/pinterp.ml Ocamldep src/mlw/check_ce.ml Ocamldep src/extract/mltree.ml Ocamldep src/extract/compile.ml Ocamldep src/extract/mlinterp.ml Ocamldep src/extract/pdriver.ml Ocamldep src/extract/ml_printer.ml Ocamldep src/extract/c.ml Ocamldep src/extract/ocaml.ml Ocamldep src/extract/cakeml.ml Ocamldep src/extract/java.ml Ocamldep src/parser/ptree.ml Ocamldep src/parser/ptree_helpers.ml Ocamldep src/parser/glob.ml Ocamldep src/parser/typing.ml Ocamldep src/parser/parser_messages.ml Ocamldep src/parser/parser.ml Ocamldep src/parser/report.ml Ocamldep src/parser/lexer.ml Ocamldep src/parser/mlw_printer.ml Ocamldep src/parser/sexp_parser.ml Ocamldep src/transform/simplify_formula.ml Ocamldep src/transform/inlining.ml Ocamldep src/transform/split_goal.ml Ocamldep src/transform/args_wrapper.ml Ocamldep src/transform/reduction_engine.ml Ocamldep src/transform/compute.ml Ocamldep src/transform/remove_unused.ml Ocamldep src/transform/detect_polymorphism.ml Ocamldep src/transform/eliminate_definition.ml Ocamldep src/transform/extensional.ml Ocamldep src/transform/abstract_quantifiers.ml Ocamldep src/transform/eliminate_unknown_types.ml Ocamldep src/transform/eliminate_unknown_lsymbols.ml Ocamldep src/transform/eliminate_symbol.ml Ocamldep src/transform/eliminate_inductive.ml Ocamldep src/transform/eliminate_let.ml Ocamldep src/transform/eliminate_if.ml Ocamldep src/transform/libencoding.ml Ocamldep src/transform/eliminate_algebraic.ml Ocamldep src/transform/discriminate.ml Ocamldep src/transform/encoding.ml Ocamldep src/transform/encoding_select.ml Ocamldep src/transform/encoding_guards_full.ml Ocamldep src/transform/encoding_tags_full.ml Ocamldep src/transform/encoding_guards.ml Ocamldep src/transform/encoding_tags.ml Ocamldep src/transform/encoding_twin.ml Ocamldep src/transform/encoding_sort.ml Ocamldep src/transform/simplify_array.ml Ocamldep src/transform/filter_trigger.ml Ocamldep src/transform/abstraction.ml Ocamldep src/transform/close_epsilon.ml Ocamldep src/transform/lift_epsilon.ml Ocamldep src/transform/eliminate_epsilon.ml Ocamldep src/transform/instantiate_predicate.ml Ocamldep src/transform/smoke_detector.ml Ocamldep src/transform/prop_curry.ml Ocamldep src/transform/eliminate_literal.ml Ocamldep src/transform/generic_arg_trans_utils.ml Ocamldep src/transform/case.ml Ocamldep src/transform/apply.ml Ocamldep src/transform/subst.ml Ocamldep src/transform/introduction.ml Ocamldep src/transform/ind_itp.ml Ocamldep src/transform/destruct.ml Ocamldep src/transform/cut.ml Ocamldep src/transform/congruence.ml Ocamldep src/transform/induction.ml Ocamldep src/transform/induction_pr.ml Ocamldep src/transform/prepare_for_counterexmp.ml Ocamldep src/transform/reflection.ml Ocamldep src/transform/keep_only_arithmetic.ml Ocamldep src/printer/cntexmp_printer.ml Ocamldep src/printer/alt_ergo.ml Ocamldep src/printer/why3printer.ml Ocamldep src/printer/smtv1.ml Ocamldep src/printer/smtv2.ml Ocamldep src/printer/coq.ml Ocamldep src/printer/pvs.ml Ocamldep src/printer/isabelle.ml Ocamldep src/printer/simplify.ml Ocamldep src/printer/gappa.ml Ocamldep src/printer/cvc3.ml Ocamldep src/printer/yices.ml Ocamldep src/printer/mathematica.ml Ocamldep src/session/compress.ml Ocamldep src/session/xml.ml Ocamldep src/session/termcode.ml Ocamldep src/session/session_itp.ml Ocamldep src/session/strategy.ml Ocamldep src/session/strategy_parser.ml Ocamldep src/session/controller_itp.ml Ocamldep src/session/server_utils.ml Ocamldep src/session/itp_communication.ml Ocamldep src/session/itp_server.ml Ocamldep src/session/json_util.ml Ocamldep src/session/unix_scheduler.ml Ocamldep src/driver/driver_ast.mli cmp -s src/util/recompat.ml src/util/re.ml || cp src/util/recompat.ml src/util/re.ml Ocamlopt src/util/config.ml Ocamlopt src/driver/whyconf.ml Ocamlopt src/driver/call_provers.ml Ocamlopt src/driver/driver_lexer.ml Ocamlopt src/driver/driver.ml Ocamlopt src/driver/autodetection.ml Ocamlopt src/mlw/pinterp_core.ml Ocamlopt src/mlw/rac.ml Ocamlopt src/mlw/pinterp.ml Ocamlopt src/mlw/check_ce.ml Ocamlopt src/extract/pdriver.ml Ocamlopt src/extract/ml_printer.ml Ocamlopt src/extract/c.ml Ocamlopt src/extract/ocaml.ml Ocamlopt src/extract/cakeml.ml Ocamlopt src/extract/java.ml Ocamlopt src/transform/inlining.ml Ocamlopt src/transform/eliminate_definition.ml Ocamlopt src/transform/encoding_select.ml Ocamlopt src/transform/case.ml Ocamlopt src/transform/introduction.ml Ocamlopt src/transform/prepare_for_counterexmp.ml Ocamlopt src/transform/reflection.ml Ocamlopt src/printer/alt_ergo.ml Ocamlopt src/printer/smtv2.ml Ocamlopt src/session/session_itp.ml Ocamlopt src/session/strategy.ml Ocamlopt src/session/strategy_parser.ml Ocamlopt src/session/controller_itp.ml Ocamlopt src/session/itp_communication.ml Ocamlopt src/session/server_utils.ml Ocamlopt src/session/itp_server.ml Ocamlopt src/session/json_util.ml Ocamlc src/util/config.ml Linking lib/why3/why3.cmo Linking lib/why3/why3.cmx Ocamlopt plugins/parser/genequlin.ml Linking lib/plugins/genequlin.cmxs Ocamlopt plugins/parser/dimacs.ml Linking lib/plugins/dimacs.cmxs Ocamlc plugins/tptp/tptp_ast.mli Ocamlc plugins/tptp/tptp_parser.mli Ocamlopt plugins/tptp/tptp_parser.ml Ocamlc plugins/tptp/tptp_typing.mli Ocamlopt plugins/tptp/tptp_typing.ml Ocamlc plugins/tptp/tptp_lexer.mli Ocamlopt plugins/tptp/tptp_lexer.ml Ocamlopt plugins/tptp/tptp_printer.ml Linking lib/plugins/tptp.cmxs Ocamlc plugins/python/py_ast.mli Ocamlc plugins/python/py_parser.mli Ocamlopt plugins/python/py_parser.ml Ocamlc plugins/python/py_lexer.mli Ocamlopt plugins/python/py_lexer.ml Ocamlopt plugins/python/py_main.ml Linking lib/plugins/python.cmxs Ocamlc plugins/microc/mc_ast.mli Ocamlc plugins/microc/mc_parser.mli Ocamlopt plugins/microc/mc_parser.ml Ocamlc plugins/microc/mc_lexer.mli Ocamlopt plugins/microc/mc_lexer.ml Ocamlc plugins/microc/mc_printer.mli Ocamlopt plugins/microc/mc_printer.ml Ocamlopt plugins/microc/mc_main.ml Linking lib/plugins/microc.cmxs Ocamlc plugins/coma/coma_logic.mli Ocamlopt plugins/coma/coma_logic.ml Ocamlc plugins/coma/coma_syntax.mli Ocamlopt plugins/coma/coma_syntax.ml Ocamlc plugins/coma/coma_parser.mli Ocamlopt plugins/coma/coma_parser.ml Ocamlc plugins/coma/coma_lexer.mli Ocamlopt plugins/coma/coma_lexer.ml Ocamlc plugins/coma/coma_typing.mli Ocamlopt plugins/coma/coma_typing.ml Ocamlopt plugins/coma/coma_main.ml Linking lib/plugins/coma.cmxs Ocamlc plugins/cfg/cfg_ast.mli Ocamlc plugins/cfg/cfg_parser.mli Ocamlopt plugins/cfg/cfg_parser.ml Ocamlc plugins/cfg/cfg_lexer.mli Ocamlopt plugins/cfg/cfg_lexer.ml Ocamlc plugins/cfg/cfg_paths.mli Ocamlopt plugins/cfg/cfg_paths.ml Ocamlc plugins/cfg/subregion_analysis.mli Ocamlopt plugins/cfg/subregion_analysis.ml Ocamlc plugins/cfg/cfg_main.mli Ocamlopt plugins/cfg/cfg_main.ml Ocamlc plugins/cfg/stackify.mli Ocamlopt plugins/cfg/stackify.ml Ocamlopt plugins/cfg/cfg_stackify.ml Linking lib/plugins/cfg.cmxs Ocamlopt plugins/strategies/forward_propagation.ml Linking lib/plugins/forward_propagation.cmxs Ocamlopt plugins/transform/hypothesis_selection.ml Linking lib/plugins/hypothesis_selection.cmxs Linking lib/why3/why3.cmxa Linking lib/why3/why3.cmxs Ocamlopt src/tools/main.ml Linking bin/why3.opt Ocamlopt src/tools/why3config.ml Linking bin/why3config.cmxs Ocamlopt src/tools/why3execute.ml Linking bin/why3execute.cmxs Ocamlopt src/tools/why3extract.ml Linking bin/why3extract.cmxs Ocamlopt src/tools/why3prove.ml Linking bin/why3prove.cmxs Ocamlopt src/tools/why3realize.ml Linking bin/why3realize.cmxs Ocamlopt src/tools/why3replay.ml Linking bin/why3replay.cmxs Ocamlopt src/tools/why3show.ml Linking bin/why3show.cmxs Ocamlopt src/tools/why3wc.ml Linking bin/why3wc.cmxs Ocamlopt src/tools/why3bench.ml Linking bin/why3bench.cmxs Ocamlc src/ide/gconfig.mli Ocamlopt src/ide/gconfig.ml Ocamlopt src/ide/why3ide.ml Linking bin/why3ide.cmxs Ocamlopt src/ide/wserver.ml Ocamlopt src/ide/why3web.ml Linking bin/why3webserver.cmxs Ocamlc src/why3session/why3session_lib.mli Ocamlopt src/why3session/why3session_lib.ml Ocamlc src/why3session/why3session_info.mli Ocamlopt src/why3session/why3session_info.ml Ocamlc src/why3session/why3session_html.mli Ocamlopt src/why3session/why3session_html.ml Ocamlc src/why3session/why3session_latex.mli Ocamlopt src/why3session/why3session_latex.ml Ocamlc src/why3session/why3session_update.mli Ocamlopt src/why3session/why3session_update.ml Ocamlc src/why3session/why3session_output.mli Ocamlopt src/why3session/why3session_output.ml Ocamlc src/why3session/why3session_create.mli Ocamlopt src/why3session/why3session_create.ml Ocamlopt src/why3session/why3session_main.ml Linking bin/why3session.cmxs Ocamlopt src/tools/why3shell.ml Linking bin/why3shell.cmxs Ocamlopt src/isabelle-client/isabelle_client_main.ml Linking bin/isabelle_client.opt Ocamlopt src/tools/why3pp.ml Linking bin/why3pp.cmxs Ocamlopt src/why3doc/doc_html.ml Ocamlc src/why3doc/doc_def.mli Ocamlopt src/why3doc/doc_def.ml Ocamlopt src/why3doc/doc_lexer.ml Ocamlopt src/why3doc/doc_main.ml Linking bin/why3doc.cmxs ln -sf why3.opt bin/why3 ln -snf ../drivers share/drivers ln -snf ../extraction_drivers share/extraction_drivers ln -snf ../stdlib share/stdlib Generate drivers/coq-realizations.aux Generate drivers/pvs-realizations.aux Generate drivers/isabelle-realizations.aux make[2]: Leaving directory '/<<PKGBUILDDIR>>' /usr/bin/make doc make[2]: Entering directory '/<<PKGBUILDDIR>>' cmp -s src/util/recompat.ml src/util/re.ml || cp src/util/recompat.ml src/util/re.ml doc/drv_depgraph drivers/alt_ergo.drv drivers/alt_ergo_26.dr [too-long-redacted] > doc/generated/drivers-all.dot ccomps -X smt-libv2.gen doc/generated/drivers-all.dot > doc/generated/drivers-smt.dot /bin/sh: 1: ccomps: not found make[2]: *** [Makefile:1878: doc/generated/drivers-smt.dot] Error 127 make[2]: *** Deleting file 'doc/generated/drivers-smt.dot' make[2]: Leaving directory '/<<PKGBUILDDIR>>' make[1]: *** [debian/rules:29: override_dh_auto_build-indep] Error 2 make[1]: Leaving directory '/<<PKGBUILDDIR>>' make: *** [debian/rules:10: binary] Error 2 dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2 --------------------------------------------------------------------------------
