Bug#1020010: cvc4: FTBFS: expr_template.h:0: error: undefined replacement ${getConst_instantiations}
Control: tags -1 patch On Sun, 18 Sep 2022, Lucas Nussbaum wrote: Source: cvc4 Version: 1.8-2 Severity: serious Justification: FTBFS Tags: bookworm sid ftbfs User: lu...@debian.org Usertags: ftbfs-20220917 ftbfs-bookworm Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part (hopefully): make[3]: Entering directory '/<>/obj-x86_64-linux-gnu' make[3]: Leaving directory '/<>/obj-x86_64-linux-gnu' [ 1%] Generating metakind.h cd /<>/obj-x86_64-linux-gnu/src/expr && /usr/bin/cmake -E env CMAKE_SOURCE_DIR=/<> /<>/src/expr/mkmetakind /<>/src/expr/metakind_template.h /<>/src/theory/builtin/kinds /<>/src/theory/booleans/kinds /<>/src/theory/uf/kinds /<>/src/theory/arith/kinds /<>/src/theory/bv/kinds /<>/src/theory/fp/kinds /<>/src/theory/arrays/kinds /<>/src/theory/datatypes/kinds /<>/src/theory/sep/kinds /<>/src/theory/sets/kinds /<>/src/theory/strings/kinds /<>/src/theory/quantifiers/kinds > /<>/obj-x86_64-linux-gnu/src/expr/metakind.h [ 1%] Built target gen-tokens [ 1%] Generating theory_traits.h cd /<>/obj-x86_64-linux-gnu/src/theory && /<>/src/theory/mktheorytraits /<>/src/theory/theory_traits_template.h /<>/src/theory/builtin/kinds /<>/src/theory/booleans/kinds /<>/src/theory/uf/kinds /<>/src/theory/arith/kinds /<>/src/theory/bv/kinds /<>/src/theory/fp/kinds /<>/src/theory/arrays/kinds /<>/src/theory/datatypes/kinds /<>/src/theory/sep/kinds /<>/src/theory/sets/kinds /<>/src/theory/strings/kinds /<>/src/theory/quantifiers/kinds > /<>/obj-x86_64-linux-gnu/src/theory/theory_traits.h [ 1%] Generating Debug_tags.tmp [ 1%] Built target gen-gitinfo cd /<>/obj-x86_64-linux-gnu/src/base && /<>/src/base/gentmptags.sh /<>/src/base Debug /<>/src/api/cvc4cpp.cpp\ /<>/src/api/cvc4cpp.h\ /<>/src/api/cvc4cppkind.h\ /<>/src/base/check.cpp\ /<>/src/base/check.h\ /<>/src/base/configuration.cpp\ /<>/src/base/configuration.h\ /<>/src/base/configuration_private.h\ /<>/src/base/exception.cpp\ /<>/src/base/exception.h\ /<>/src/base/listener.cpp\ /<>/src/base/listener.h\ /<>/src/base/map_util.h\ /<>/src/base/modal_exception.h\ /<>/src/base/output.cpp\ /<>/src/base/output.h\ /<>/src/bindings/java_iterator_adapter.h\ /<>/src/bindings/java_stream_adapters.h\ /<>/src/bindings/swig.h\ /<>/src/context/backtrackable.h\ /<>/src/context/cddense_ set.h\ /<>/src/context/cdhashmap.h\ /<>/src/context/cdhashmap_forward.h\ /<>/src/context/cdhashset.h\ /<>/src/context/cdhashset_forward.h\ /<>/src/context/cdinsert_hashmap.h\ /<>/src/context/cdinsert_hashmap_forward.h\ /<>/src/context/cdlist.h\ /<>/src/context/cdlist_forward.h\ /<>/src/context/cdmaybe.h\ /<>/src/context/cdo.h\ /<>/src/context/cdqueue.h\ /<>/src/context/cdtrail_queue.h\ /<>/src/context/context.cpp\ /<>/src/context/context.h\ /<>/src/context/context_mm.cpp\ /<>/src/context/context_mm.h\ /<>/src/decision/decision_attributes.h\ /<>/src/decision/decision_engine.cpp\ /<>/src/decision/decision_engine.h\ /<>/src/decision/decision_strategy.h\ /<>/src/decision/justification_heuristic.cpp\ /<>/sr c/decision/justification_heuristic.h\ /<>/src/expr/array.h\ /<>/src/expr/array_store_all.cpp\ /<>/src/expr/array_store_all.h\ /<>/src/expr/ascription_type.h\ /<>/src/expr/attribute.cpp\ /<>/src/expr/attribute.h\ /<>/src/expr/attribute_internals.h\ /<>/src/expr/attribute_unique_id.h\ /<>/src/expr/datatype.cpp\ /<>/src/expr/datatype.h\ /<>/src/expr/dtype.cpp\ /<>/src/expr/dtype.h\ /<>/src/expr/dtype_cons.cpp\ /<>/src/expr/dtype_cons.h\ /<>/src/expr/dtype_selector.cpp\ /<>/src/expr/dtype_selector.h\ /<>/src/expr/emptyset.cpp\ /<>/src/expr/emptyset.h\ /<>/src/expr/expr_iomanip.cpp\ /<>/src/expr/expr_iomanip.h\ /<>/src/expr/expr_manager_scope.h\ /<>/src/expr/expr_manager_template.cpp\ /<>/src/e xpr/expr_manager_template.h\ /<>/src/expr/expr_sequence.cpp\ /<>/src/expr/expr_sequence.h\ /<>/src/expr/expr_template.cpp\ /<>/src/expr/expr_template.h\ /<>/src/expr/kind_map.h\ /<>/src/expr/kind_template.cpp\ /<>/src/expr/kind_template.h\ /<>/src/expr/lazy_proof.cpp\ /<>/src/expr/lazy_proof.h\ /<>/src/expr/match_trie.cpp\ /<>/src/expr/match_trie.h\ /<>/src/expr/metakind_template.cpp\ /<>/src/expr/metakind_template.h\ /<>/src/expr/node.cpp\ /<>/src/expr/node.h\ /<>/src/expr/node_algorithm.cpp\ /<>/src/expr/node_algorithm.h\ /<>/src/expr/node_builder.h\ /<>/src/expr/node_manager.cpp\ /<>/src/expr/node_manager.h\ /<>/src/expr/node_manager_attributes.h\ /<>/src/expr/node_manager_listeners.cpp\ /<>/src/expr/node_manager_listeners.h\ /<>/src/expr/node_self_iterator.h\ /<>/src/expr/node_traversal.cpp\ /<>/src/expr/node_traversal.h\ /<>/src/expr/node_trie.cpp\ /<>/src/expr/node_trie.h\ /<>/src/expr/node_value.cpp\ /<>/src/expr/node_value.h\ /<>/src/expr/node_visitor.h\ /<>/src/expr/proof.cpp\ /<>/src/expr/proof.h\ /<>/src/expr/proof_checker.cpp\ /<>/src/expr/proof_checker.h\ /<>/src/expr/proof_generator.cpp\ /<>/src/expr/proof_generator.h\ /<>/src/expr/proof_node.cpp\ /<>/src/expr/proof_node.h\ /<>/src/expr/proof_node_algorithm.cpp\
Bug#1020010: cvc4: FTBFS: expr_template.h:0: error: undefined replacement ${getConst_instantiations}
Source: cvc4 Version: 1.8-2 Severity: serious Justification: FTBFS Tags: bookworm sid ftbfs User: lu...@debian.org Usertags: ftbfs-20220917 ftbfs-bookworm Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part (hopefully): > make[3]: Entering directory '/<>/obj-x86_64-linux-gnu' > make[3]: Leaving directory '/<>/obj-x86_64-linux-gnu' > [ 1%] Generating metakind.h > cd /<>/obj-x86_64-linux-gnu/src/expr && /usr/bin/cmake -E env > CMAKE_SOURCE_DIR=/<> /<>/src/expr/mkmetakind > /<>/src/expr/metakind_template.h > /<>/src/theory/builtin/kinds > /<>/src/theory/booleans/kinds > /<>/src/theory/uf/kinds /<>/src/theory/arith/kinds > /<>/src/theory/bv/kinds /<>/src/theory/fp/kinds > /<>/src/theory/arrays/kinds > /<>/src/theory/datatypes/kinds > /<>/src/theory/sep/kinds /<>/src/theory/sets/kinds > /<>/src/theory/strings/kinds > /<>/src/theory/quantifiers/kinds > > /<>/obj-x86_64-linux-gnu/src/expr/metakind.h > [ 1%] Built target gen-tokens > [ 1%] Generating theory_traits.h > cd /<>/obj-x86_64-linux-gnu/src/theory && > /<>/src/theory/mktheorytraits > /<>/src/theory/theory_traits_template.h > /<>/src/theory/builtin/kinds > /<>/src/theory/booleans/kinds > /<>/src/theory/uf/kinds /<>/src/theory/arith/kinds > /<>/src/theory/bv/kinds /<>/src/theory/fp/kinds > /<>/src/theory/arrays/kinds > /<>/src/theory/datatypes/kinds > /<>/src/theory/sep/kinds /<>/src/theory/sets/kinds > /<>/src/theory/strings/kinds > /<>/src/theory/quantifiers/kinds > > /<>/obj-x86_64-linux-gnu/src/theory/theory_traits.h > [ 1%] Generating Debug_tags.tmp > [ 1%] Built target gen-gitinfo > cd /<>/obj-x86_64-linux-gnu/src/base && > /<>/src/base/gentmptags.sh /<>/src/base Debug > /<>/src/api/cvc4cpp.cpp\ /<>/src/api/cvc4cpp.h\ > /<>/src/api/cvc4cppkind.h\ /<>/src/base/check.cpp\ > /<>/src/base/check.h\ > /<>/src/base/configuration.cpp\ > /<>/src/base/configuration.h\ > /<>/src/base/configuration_private.h\ > /<>/src/base/exception.cpp\ > /<>/src/base/exception.h\ > /<>/src/base/listener.cpp\ /<>/src/base/listener.h\ > /<>/src/base/map_util.h\ > /<>/src/base/modal_exception.h\ > /<>/src/base/output.cpp\ /<>/src/base/output.h\ > /<>/src/bindings/java_iterator_adapter.h\ > /<>/src/bindings/java_stream_adapters.h\ > /<>/src/bindings/swig.h\ > /<>/src/context/backtrackable.h\ > /<>/src/context/cddense_set.h\ > /<>/src/context/cdhashmap.h\ > /<>/src/context/cdhashmap_forward.h\ > /<>/src/context/cdhashset.h\ > /<>/src/context/cdhashset_forward.h\ > /<>/src/context/cdinsert_hashmap.h\ > /<>/src/context/cdinsert_hashmap_forward.h\ > /<>/src/context/cdlist.h\ > /<>/src/context/cdlist_forward.h\ > /<>/src/context/cdmaybe.h\ /<>/src/context/cdo.h\ > /<>/src/context/cdqueue.h\ > /<>/src/context/cdtrail_queue.h\ > /<>/src/context/context.cpp\ > /<>/src/context/context.h\ > /<>/src/context/context_mm.cpp\ > /<>/src/context/context_mm.h\ > /<>/src/decision/decision_attributes.h\ > /<>/src/decision/decision_engine.cpp\ > /<>/src/decision/decision_engine.h\ > /<>/src/decision/decision_strategy.h\ > /<>/src/decision/justification_heuristic.cpp\ > /<>/src/decision/justification_heuristic.h\ > /<>/src/expr/array.h\ > /<>/src/expr/array_store_all.cpp\ > /<>/src/expr/array_store_all.h\ > /<>/src/expr/ascription_type.h\ > /<>/src/expr/attribute.cpp\ > /<>/src/expr/attribute.h\ > /<>/src/expr/attribute_internals.h\ > /<>/src/expr/attribute_unique_id.h\ > /<>/src/expr/datatype.cpp\ /<>/src/expr/datatype.h\ > /<>/src/expr/dtype.cpp\ /<>/src/expr/dtype.h\ > /<>/src/expr/dtype_cons.cpp\ > /<>/src/expr/dtype_cons.h\ > /<>/src/expr/dtype_selector.cpp\ > /<>/src/expr/dtype_selector.h\ > /<>/src/expr/emptyset.cpp\ /<>/src/expr/emptyset.h\ > /<>/src/expr/expr_iomanip.cpp\ > /<>/src/expr/expr_iomanip.h\ > /<>/src/expr/expr_manager_scope.h\ > /<>/src/expr/expr_manager_template.cpp\ > /<>/src/expr/expr_manager_template.h\ > /<>/src/expr/expr_sequence.cpp\ > /<>/src/expr/expr_sequence.h\ > /<>/src/expr/expr_template.cpp\ > /<>/src/expr/expr_template.h\ > /<>/src/expr/kind_map.h\ > /<>/src/expr/kind_template.cpp\ > /<>/src/expr/kind_template.h\ > /<>/src/expr/lazy_proof.cpp\ > /<>/src/expr/lazy_proof.h\ > /<>/src/expr/match_trie.cpp\ > /<>/src/expr/match_trie.h\ > /<>/src/expr/metakind_template.cpp\ > /<>/src/expr/metakind_template.h\ > /<>/src/expr/node.cpp\ /<>/src/expr/node.h\ > /<>/src/expr/node_algorithm.cpp\ > /<>/src/expr/node_algorithm.h\ > /<>/src/expr/node_builder.h\ > /<>/src/expr/node_manager.cpp\ > /<>/src/expr/node_manager.h\ > /<>/src/expr/node_manager_attributes.h\ > /<>/src/expr/node_manager_listeners.cpp\ > /<>/src/expr/node_manager_listeners.h\ > /<>/src/expr/node_self_iterator.h\ > /<>/src/expr/node_traversal.cpp\ > /<>/src/expr/node_traversal.h\ > /<>/src/expr/node_trie.cpp\ > /<>/src/expr/node_trie.h\ > /<>/src/expr/node_value.cpp\ > /<>/src/expr/node_value.h\ > /<>/src/expr/node_visitor.h\ >