Bug#1122492: why3: FTBFS: 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")
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
--------------------------------------------------------------------------------
Reply to: