Component ddnf

Component spacer

Component ufbv_tactic

Component fpa_tactics

Component sls_tactic

Component subpaving_tactic

Component subpaving

Component realclosure

Component opt

Component extra_cmds

Component fuzzing

Component test

Generated 'src/test/install_tactic.cpp'

Component api

Component portfolio

Component simplifiers

Component euf

Component ast

Component util

Component polynomial

Component normal_forms

Component rewriter

Component interval

Component automata

Component params

Component bit_blaster

Component converters

Component model

Component macros

Component substitution

Component smtlogic_tactics

Component ackermannization

Component solver

Component tactic

Component qe_lite

Component mbp

Component simplex

Component proofs

Component sat_solver

Component core_tactics

Component pattern

Component smt2parser

Component cmd_context

Component parser_util

Component aig_tactic

Component bv_tactics

Component arith_tactics

Component sat

Component dd

Component ast_sls

Component grobner

Component sat_tactic

Component sat_smt

Component smt

Component proto_model

Component solver_assertions

Component fpa

Component lp

Component nlsat

Component nlsat_tactic

Component smt_tactic

Component fp

Component muz

Component qe

Component clp

Component transforms

Component hilbert

Component dataflow

Component tab

Component rel

Component bmc

Component fd_solver

Component ddnf

Component spacer

Component ufbv_tactic

Component fpa_tactics

Component sls_tactic

Component subpaving_tactic

Component subpaving

Component realclosure

Component opt

Component extra_cmds

Component api_dll

Generated 'src/api/dll/install_tactic.cpp'

Generated 'src/shell/mem_initializer.cpp'

Generated 'src/test/mem_initializer.cpp'

Generated 'src/api/dll/mem_initializer.cpp'

Generated 'src/shell/gparams_register_modules.cpp'

Generated 'src/test/gparams_register_modules.cpp'

Generated 'src/api/dll/gparams_register_modules.cpp'

Generated 'src/api/python/z3/z3consts.py

Generated 'src/api/api_log_macros.h'

Generated 'src/api/api_log_macros.cpp'

Generated 'src/api/api_commands.cpp'

Generated 'src/api/python/z3/z3core.py'

Listing 'src/api/python/z3'...

Compiling 'src/api/python/z3/__init__.py'...

Compiling 'src/api/python/z3/z3.py'...

Compiling 'src/api/python/z3/z3consts.py'...

Compiling 'src/api/python/z3/z3core.py'...

Compiling 'src/api/python/z3/z3num.py'...

Compiling 'src/api/python/z3/z3poly.py'...

Compiling 'src/api/python/z3/z3printer.py'...

Compiling 'src/api/python/z3/z3rcf.py'...

Compiling 'src/api/python/z3/z3types.py'...

Compiling 'src/api/python/z3/z3util.py'...

Generated python bytecode

Copied '__init__.py'

Copied 'z3.py'

Copied 'z3num.py'

Copied 'z3poly.py'

Copied 'z3printer.py'

Copied 'z3rcf.py'

Copied 'z3types.py'

Copied 'z3util.py'

Copied 'z3consts.py'

Copied 'z3core.py'

Copied '__init__.cpython-312.pyc'

Copied 'z3.cpython-312.pyc'

Copied 'z3consts.cpython-312.pyc'

Copied 'z3core.cpython-312.pyc'

Copied 'z3num.cpython-312.pyc'

Copied 'z3poly.cpython-312.pyc'

Copied 'z3printer.cpython-312.pyc'

Copied 'z3rcf.cpython-312.pyc'

Copied 'z3types.cpython-312.pyc'

Copied 'z3util.cpython-312.pyc'

Testing ar...

Testing clang++...

Testing clang...

Testing floating point support...

Host platform:  Linux

C++ Compiler:   clang++

C Compiler  :   clang

Archive Tool:   ar

Arithmetic:     internal

Prefix:         /nix/store/kq0qv3wng42myrbalr50q65h66wi94b5-z3-x86_64-unknown-linux-gnufilc0-4.15.1

64-bit:         True

FP math:        SSE2-GCC

libatomic:      not required

Python pkg dir: /nix/store/kq0qv3wng42myrbalr50q65h66wi94b5-z3-x86_64-unknown-linux-gnufilc0-4.15.1/lib/python3.12/site-packages

Python version: 3.12

Writing build/Makefile

Copied Z3Py example 'all_interval_series.py' to 'build/python'

Copied Z3Py example 'bincover.py' to 'build/python'

Copied Z3Py example 'efsmt.py' to 'build/python'

Copied Z3Py example 'example.py' to 'build/python'

Copied Z3Py example 'hs.py' to 'build/python'

Copied Z3Py example 'mini_ic3.py' to 'build/python'

Copied Z3Py example 'mini_quip.py' to 'build/python'

Copied Z3Py example 'parallel.py' to 'build/python'

Copied Z3Py example 'prooflogs.py' to 'build/python'

Copied Z3Py example 'proofreplay.py' to 'build/python'

Copied Z3Py example 'rc2.py' to 'build/python'

Copied Z3Py example 'simplify_formula.py' to 'build/python'

Copied Z3Py example 'socrates.py' to 'build/python'

Copied Z3Py example 'trafficjam.py' to 'build/python'

Copied Z3Py example 'union_sort.py' to 'build/python'

Copied Z3Py example 'visitor.py' to 'build/python'

Makefile was successfully generated.

  compilation mode: Release

Type 'cd build; make' to build Z3

→ buildPhase

build flags: -j6 SHELL=/nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash

src/smt/smt_statistics.cpp

src/util/approx_nat.cpp

src/util/common_msgs.cpp

src/util/luby.cpp

src/api/dll/dll.cpp

src/util/approx_set.cpp

src/util/page.cpp

src/util/z3_exception.cpp

src/api/api_commands.cpp

src/util/bit_util.cpp

src/util/lbool.cpp

src/util/memory_manager.cpp

src/util/mpn.cpp

src/util/stack.cpp

src/util/timeit.cpp

src/util/timeout.cpp

src/util/util.cpp

src/shell/z3_log_frontend.cpp

src/solver/smt_logics.cpp

src/util/fixed_bit_vector.cpp

src/util/hash.cpp

src/api/api_log.cpp

src/api/api_log_macros.cpp

src/math/automata/automaton.cpp

src/util/cmd_context_types.cpp

src/util/min_cut.cpp

src/util/permutation.cpp

src/util/prime_generator.cpp

src/util/small_object_allocator.cpp

src/util/smt2_util.cpp

src/util/warning.cpp

src/api/z3_replayer.cpp

src/sat/sat_cutset.cpp

src/math/simplex/bit_matrix.cpp

src/util/bit_vector.cpp

src/util/debug.cpp

src/util/region.cpp

src/util/rlimit.cpp

src/util/scoped_timer.cpp

src/util/state_graph.cpp

src/util/statistics.cpp

src/util/symbol.cpp

src/util/trace.cpp

src/ast/sls/sat_ddfw.cpp

src/params/pattern_inference_params.cpp

src/util/env_params.cpp

src/util/mpz.cpp

src/util/scoped_ctrl_c.cpp

src/ast/simplifiers/linear_equation.cpp

src/params/dyn_ack_params.cpp

src/params/preprocessor_params.cpp

src/params/qi_params.cpp

src/params/theory_arith_params.cpp

src/params/theory_array_params.cpp

src/params/theory_bv_params.cpp

src/params/theory_pb_params.cpp

src/params/theory_seq_params.cpp

src/params/theory_str_params.cpp

src/math/realclosure/mpz_matrix.cpp

src/math/interval/interval_mpq.cpp

src/util/mpff.cpp

src/util/mpfx.cpp

src/util/mpq.cpp

src/util/mpq_inf.cpp

src/shell/mem_initializer.cpp

src/muz/spacer/spacer_matrix.cpp

src/smt/old_interval.cpp

src/ast/simplifiers/bound_propagator.cpp

src/sat/sat_config.cpp

src/math/realclosure/realclosure.cpp

src/math/dd/dd_pdd.cpp

src/math/interval/dep_intervals.cpp

src/util/gparams.cpp

src/util/hwf.cpp

src/util/inf_int_rational.cpp

src/util/inf_rational.cpp

src/util/mpbq.cpp

src/util/mpf.cpp

src/util/params.cpp

src/util/rational.cpp

src/util/s_integer.cpp

src/util/sexpr.cpp

src/util/tbv.cpp

src/api/dll/mem_initializer.cpp

src/sat/sat_clause.cpp

src/sat/sat_clause_set.cpp

src/sat/sat_clause_use_list.cpp

src/sat/sat_watched.cpp

src/ast/sls/sls_bv_valuation.cpp

src/math/subpaving/subpaving.cpp

src/math/subpaving/subpaving_hwf.cpp

src/math/subpaving/subpaving_mpf.cpp

src/math/subpaving/subpaving_mpff.cpp

src/math/subpaving/subpaving_mpfx.cpp

src/math/subpaving/subpaving_mpq.cpp

src/math/hilbert/hilbert_basis.cpp

src/math/simplex/simplex.cpp

src/math/dd/dd_bdd.cpp

src/util/inf_s_integer.cpp

src/util/zstring.cpp

src/muz/spacer/spacer_arith_kernel.cpp

src/muz/base/bind_variables.cpp

src/smt/uses_theory.cpp

src/nlsat/nlsat_types.cpp

src/ast/rewriter/datatype_rewriter.cpp

src/ast/rewriter/func_decl_replace.cpp

src/math/grobner/pdd_simplifier.cpp

src/math/grobner/pdd_solver.cpp

src/ast/euf/euf_justification.cpp

src/params/context_params.cpp

src/ast/act_cache.cpp

src/ast/ast_lt.cpp

src/ast/display_dimacs.cpp

src/ast/expr_map.cpp

src/ast/expr_stat.cpp

src/ast/for_each_ast.cpp

src/ast/for_each_expr.cpp

src/ast/format.cpp

src/ast/func_decl_dependencies.cpp

src/ast/has_free_vars.cpp

src/ast/num_occurs.cpp

src/ast/occurs.cpp

src/ast/pp.cpp

src/ast/quantifier_stat.cpp

src/ast/used_vars.cpp

src/math/simplex/model_based_opt.cpp

src/math/dd/dd_fdd.cpp

src/math/polynomial/polynomial_cache.cpp

src/api/dll/gparams_register_modules.cpp

src/shell/main.cpp

src/shell/gparams_register_modules.cpp

src/smt/smt_value_sort.cpp

src/ackermannization/ackr_helper.cpp

src/math/lp/lp_settings.cpp

src/nlsat/nlsat_clause.cpp

src/nlsat/nlsat_interval_set.cpp

src/ast/rewriter/mk_extract_proc.cpp

src/parsers/util/cost_parser.cpp

src/parsers/util/scanner.cpp

src/parsers/util/simple_parser.cpp

src/ast/array_peq.cpp

src/ast/ast_ll_pp.cpp

src/ast/cost_evaluator.cpp

src/ast/expr_functors.cpp

src/ast/macro_substitution.cpp

src/ast/special_relations_decl_plugin.cpp

src/math/polynomial/rpolynomial.cpp

src/math/polynomial/sexpr2upolynomial.cpp

src/math/polynomial/upolynomial.cpp

src/smt/arith_eq_solver.cpp

src/math/lp/indexed_vector.cpp

src/math/lp/nex_creator.cpp

src/nlsat/nlsat_evaluator.cpp

src/nlsat/nlsat_simple_checker.cpp

src/nlsat/nlsat_simplify.cpp

src/nlsat/nlsat_variable_ordering_strategy.cpp

src/sat/dimacs.cpp

src/sat/sat_aig_finder.cpp

src/sat/sat_asymm_branch.cpp

src/sat/sat_bcd.cpp

src/sat/sat_big.cpp

src/sat/sat_cleaner.cpp

src/sat/sat_cut_simplifier.cpp

src/sat/sat_ddfw_wrapper.cpp

src/sat/sat_drat.cpp

Hint:  [Link]

Hint: mm: orc; threads: on; opt: speed; options: -d:release

99516 lines; 125.730s; 425.367MiB peakmem; proj: src/preserves/preserves_schema_nim; out: /build/source/preserves-schema-nim [SuccessX]

src/sat/sat_elim_eqs.cpp

src/sat/sat_gc.cpp

Hint: used config file '/nix/store/fnl14qjy1cnjj6dmi0s81ckk7kqd6rnw-x86_64-unknown-linux-gnufilc0-nim-wrapper-2.2.4/etc/nim/nim.cfg' [Conf]

Hint: used config file '/nix/store/fnl14qjy1cnjj6dmi0s81ckk7kqd6rnw-x86_64-unknown-linux-gnufilc0-nim-wrapper-2.2.4/etc/nim/config.nims' [Conf]

Hint: used config file '/build/source/nim.cfg' [Conf]

src/sat/sat_integrity_checker.cpp

src/sat/sat_local_search.cpp

..............................................................................................................................................................

CC: @m..@s..@s..@s..@snix@sstore@si4503l5qxf913s0dh61yf50bg8znzshf-nim-unwrapped-2.2.4@snim@slib@ssystem@sexceptions.nim

CC: @m..@s..@s..@s..@snix@sstore@si4503l5qxf913s0dh61yf50bg8znzshf-nim-unwrapped-2.2.4@snim@slib@ssystem@sdollars.nim

CC: @m..@s..@s..@s..@snix@sstore@si4503l5qxf913s0dh61yf50bg8znzshf-nim-unwrapped-2.2.4@snim@slib@sstd@ssyncio.nim

CC: @m..@s..@s..@s..@snix@sstore@si4503l5qxf913s0dh61yf50bg8znzshf-nim-unwrapped-2.2.4@snim@slib@ssystem.nim

CC: @m..@s..@s..@s..@snix@sstore@si4503l5qxf913s0dh61yf50bg8znzshf-nim-unwrapped-2.2.4@snim@slib@spure@shashes.nim

src/sat/sat_lookahead.cpp

CC: @m..@s..@s..@s..@snix@sstore@si4503l5qxf913s0dh61yf50bg8znzshf-nim-unwrapped-2.2.4@snim@slib@spure@sparseutils.nim

CC: @m..@s..@s..@s..@snix@sstore@si4503l5qxf913s0dh61yf50bg8znzshf-nim-unwrapped-2.2.4@snim@slib@spure@salgorithm.nim

src/sat/sat_lut_finder.cpp

CC: @m..@s..@s..@s..@snix@sstore@si4503l5qxf913s0dh61yf50bg8znzshf-nim-unwrapped-2.2.4@snim@slib@spure@sunicode.nim

CC: @m..@s..@s..@s..@snix@sstore@si4503l5qxf913s0dh61yf50bg8znzshf-nim-unwrapped-2.2.4@snim@slib@spure@sstrutils.nim

CC: @m..@s..@s..@s..@snix@sstore@si4503l5qxf913s0dh61yf50bg8znzshf-nim-unwrapped-2.2.4@snim@slib@sstd@sprivate@soscommon.nim

CC: @m..@s..@s..@s..@snix@sstore@si4503l5qxf913s0dh61yf50bg8znzshf-nim-unwrapped-2.2.4@snim@slib@sstd@sprivate@sospaths2.nim

CC: @m..@s..@s..@s..@snix@sstore@si4503l5qxf913s0dh61yf50bg8znzshf-nim-unwrapped-2.2.4@snim@slib@spure@soptions.nim

CC: @m..@s..@s..@s..@snix@sstore@si4503l5qxf913s0dh61yf50bg8znzshf-nim-unwrapped-2.2.4@snim@slib@sstd@senvvars.nim

CC: @m..@s..@s..@s..@snix@sstore@si4503l5qxf913s0dh61yf50bg8znzshf-nim-unwrapped-2.2.4@snim@slib@spure@sstreams.nim

CC: @m..@s..@s..@s..@snix@sstore@si4503l5qxf913s0dh61yf50bg8znzshf-nim-unwrapped-2.2.4@snim@slib@spure@scollections@stables.nim

CC: @m..@s..@s..@s..@snix@sstore@si4503l5qxf913s0dh61yf50bg8znzshf-nim-unwrapped-2.2.4@snim@slib@spure@scollections@ssequtils.nim

CC: @m..@s..@s..@s..@snix@sstore@sjvrm392g8adfsgf36prgwkbyd7vh5jsw-source@ssrc@sbigints.nim

CC: @mprivate@svalues.nim

src/sat/sat_model_converter.cpp

CC: @mprivate@sdecoding.nim

src/sat/sat_mus.cpp

CC: @m..@s..@s..@s..@snix@sstore@sxpn694ibgipj8xak3j4bky6b3k0vp7hh-source@ssrc@snpeg@scommon.nim

src/sat/sat_npn3_finder.cpp

CC: @m..@s..@s..@s..@snix@sstore@sxpn694ibgipj8xak3j4bky6b3k0vp7hh-source@ssrc@snpeg@sstack.nim

CC: @m..@s..@s..@s..@snix@sstore@sxpn694ibgipj8xak3j4bky6b3k0vp7hh-source@ssrc@snpeg@scapture.nim

src/sat/sat_parallel.cpp

CC: @m..@s..@s..@s..@snix@sstore@sxpn694ibgipj8xak3j4bky6b3k0vp7hh-source@ssrc@snpeg@scodegen.nim

CC: @m..@s..@s..@s..@snix@sstore@sxpn694ibgipj8xak3j4bky6b3k0vp7hh-source@ssrc@snpeg.nim

CC: @mprivate@sparsing.nim

CC: @mprivate@sencoding.nim

CC: @mprivate@stexts.nim

CC: @m..@spreserves.nim

CC: @mschema.nim

CC: @mschemaparse.nim

CC: @mpreserves_schemac.nim

src/sat/sat_prob.cpp

src/sat/sat_probing.cpp

src/sat/sat_proof_trim.cpp

src/sat/sat_scc.cpp

src/sat/sat_simplifier.cpp

src/sat/sat_solver.cpp

src/sat/sat_xor_finder.cpp

src/model/struct_factory.cpp

src/ast/rewriter/char_rewriter.cpp

src/ast/rewriter/distribute_forall.cpp

src/ast/rewriter/dl_rewriter.cpp

src/ast/rewriter/mk_simplified_app.cpp

src/ast/euf/euf_arith_plugin.cpp

src/ast/euf/euf_enode.cpp

src/ast/euf/euf_plugin.cpp

src/ast/euf/euf_specrel_plugin.cpp

src/ast/value_generator.cpp

src/math/polynomial/algebraic_numbers.cpp

src/math/polynomial/polynomial.cpp

src/math/polynomial/upolynomial_factorization.cpp

src/shell/drat_frontend.cpp

src/opt/totalizer.cpp

src/muz/spacer/spacer_mev_array.cpp

src/smt/fingerprints.cpp

src/smt/smt_almost_cg_table.cpp

src/smt/smt_clause.cpp

src/smt/smt_farkas_util.cpp

src/smt/smt_literal.cpp

src/smt/theory_opt.cpp

src/smt/watch_list.cpp

src/smt/proto_model/proto_model.cpp

src/math/subpaving/tactic/expr2subpaving.cpp

src/tactic/arith/bv2real_rewriter.cpp

src/ast/fpa/bv2fpa_converter.cpp

src/ast/fpa/fpa2bv_converter.cpp

src/ast/fpa/fpa2bv_rewriter.cpp

src/cmd_context/pdecl.cpp

src/solver/check_logic.cpp

src/qe/lite/qel.cpp

src/qe/mbp/mbp_arith.cpp

src/qe/mbp/mbp_arrays.cpp

src/qe/mbp/mbp_datatypes.cpp

src/qe/mbp/mbp_euf.cpp

src/qe/mbp/mbp_plugin.cpp

src/qe/mbp/mbp_qel_util.cpp

src/qe/mbp/mbp_solve_plugin.cpp

src/qe/mbp/mbp_term_graph.cpp

src/ast/simplifiers/bound_manager.cpp

src/ast/proofs/proof_checker.cpp

src/ast/proofs/proof_utils.cpp

src/math/lp/dense_matrix.cpp

src/math/lp/matrix.cpp

src/math/lp/permutation_matrix.cpp

src/nlsat/nlsat_explain.cpp

src/nlsat/nlsat_solver.cpp

src/sat/sat_aig_cuts.cpp

src/sat/sat_anf_simplifier.cpp

src/ast/sls/sls_datatype_plugin.cpp

src/ast/sls/sls_euf_plugin.cpp

src/ast/sls/sls_seq_plugin.cpp

src/ast/sls/sls_smt_plugin.cpp

src/ast/converters/equiv_proof_converter.cpp

src/ast/converters/proof_converter.cpp

src/ast/converters/replace_proof_converter.cpp

src/model/array_factory.cpp

src/model/datatype_factory.cpp

src/model/func_interp.cpp

src/model/model.cpp

src/model/model2expr.cpp

src/model/model_core.cpp

src/model/model_pp.cpp

src/model/model_smt2_pp.cpp

src/model/model_v2_pp.cpp

src/model/numeral_factory.cpp

src/model/value_factory.cpp

src/ast/macros/macro_util.cpp

src/ast/macros/quantifier_macro_info.cpp

src/ast/normal_forms/defined_names.cpp

src/ast/normal_forms/elim_term_ite.cpp

src/ast/normal_forms/name_exprs.cpp

src/ast/normal_forms/nnf.cpp

src/ast/normal_forms/pull_quant.cpp

src/ast/rewriter/arith_rewriter.cpp

src/ast/rewriter/array_rewriter.cpp

src/ast/rewriter/ast_counter.cpp

src/ast/rewriter/bit2int.cpp

src/ast/rewriter/bool_rewriter.cpp

src/ast/rewriter/bv2int_translator.cpp

src/ast/rewriter/bv_bounds.cpp

src/ast/rewriter/bv_elim.cpp

src/ast/rewriter/bv_rewriter.cpp

src/ast/rewriter/cached_var_subst.cpp

src/ast/rewriter/der.cpp

src/ast/rewriter/dom_simplifier.cpp

src/ast/rewriter/elim_bounds.cpp

src/ast/rewriter/enum2bv_rewriter.cpp

src/ast/rewriter/expr_replacer.cpp

src/ast/rewriter/expr_safe_replace.cpp

src/ast/rewriter/factor_equivs.cpp

src/ast/rewriter/factor_rewriter.cpp

src/ast/rewriter/fpa_rewriter.cpp

src/ast/rewriter/inj_axiom.cpp

src/ast/rewriter/label_rewriter.cpp

src/ast/rewriter/macro_replacer.cpp

src/ast/rewriter/maximize_ac_sharing.cpp

src/ast/rewriter/pb2bv_rewriter.cpp

src/ast/rewriter/pb_rewriter.cpp

src/ast/rewriter/push_app_ite.cpp

src/ast/rewriter/quant_hoist.cpp

src/ast/rewriter/recfun_rewriter.cpp

src/ast/rewriter/rewriter.cpp

src/ast/rewriter/seq_axioms.cpp

src/ast/rewriter/seq_rewriter.cpp

src/ast/rewriter/seq_skolem.cpp

src/ast/rewriter/th_rewriter.cpp

src/ast/rewriter/var_subst.cpp

src/math/grobner/grobner.cpp

src/ast/euf/euf_ac_plugin.cpp

src/ast/euf/euf_bv_plugin.cpp

src/ast/euf/euf_egraph.cpp

src/ast/euf/euf_etable.cpp

src/ast/euf/euf_mam.cpp

src/parsers/util/pattern_validation.cpp

src/ast/arith_decl_plugin.cpp

src/ast/array_decl_plugin.cpp

src/ast/ast.cpp

src/ast/ast_pp_dot.cpp

src/ast/ast_printer.cpp

src/ast/ast_smt2_pp.cpp

src/ast/ast_smt_pp.cpp

src/ast/ast_translation.cpp

src/ast/ast_util.cpp

src/ast/bv_decl_plugin.cpp

src/ast/char_decl_plugin.cpp

src/ast/datatype_decl_plugin.cpp

src/ast/decl_collector.cpp

src/ast/dl_decl_plugin.cpp

Hint:  [Link]

Hint: mm: orc; threads: on; opt: speed; options: -d:release

85390 lines; 125.785s; 425.387MiB peakmem; proj: src/preserves/preserves_schemac; out: /build/source/preserves-schemac [SuccessX]

buildPhase completed in 4 minutes 34 seconds

→ installPhase

/nix/store/qyayi6i2qdxg3ilrhnzh8lf4rqc3avh2-preserves-x86_64-unknown-linux-gnufilc0-20241201/bin /build/source

/build/source

→ fixupPhase

shrinking RPATHs of ELF executables and libraries in /nix/store/qyayi6i2qdxg3ilrhnzh8lf4rqc3avh2-preserves-x86_64-unknown-linux-gnufilc0-20241201

shrinking /nix/store/qyayi6i2qdxg3ilrhnzh8lf4rqc3avh2-preserves-x86_64-unknown-linux-gnufilc0-20241201/bin/preserves-encode

shrinking /nix/store/qyayi6i2qdxg3ilrhnzh8lf4rqc3avh2-preserves-x86_64-unknown-linux-gnufilc0-20241201/bin/preserves-schema-nim

shrinking /nix/store/qyayi6i2qdxg3ilrhnzh8lf4rqc3avh2-preserves-x86_64-unknown-linux-gnufilc0-20241201/bin/preserves-schemac

checking for references to /build/ in /nix/store/qyayi6i2qdxg3ilrhnzh8lf4rqc3avh2-preserves-x86_64-unknown-linux-gnufilc0-20241201...

patching script interpreter paths in /nix/store/qyayi6i2qdxg3ilrhnzh8lf4rqc3avh2-preserves-x86_64-unknown-linux-gnufilc0-20241201

stripping (with command strip and flags -S -p) in  /nix/store/qyayi6i2qdxg3ilrhnzh8lf4rqc3avh2-preserves-x86_64-unknown-linux-gnufilc0-20241201/bin

Build started

→ unpackPhase

unpacking source archive /nix/store/a4471vq8ik2fl45k3lzcb8qv7i9qwxji-source

source root is source

→ patchPhase

→ autoreconfPhase

autoreconf: export WARNINGS=

autoreconf: Entering directory '.'

autoreconf: running: autopoint --force

Copying file ABOUT-NLS

Copying file config.rpath

Copying file m4/codeset.m4

Copying file m4/fcntl-o.m4

Copying file m4/gettext.m4

Copying file m4/glibc2.m4

Copying file m4/glibc21.m4

Copying file m4/iconv.m4

Copying file m4/intdiv0.m4

Copying file m4/intl.m4

Copying file m4/intldir.m4

Copying file m4/intlmacosx.m4

Copying file m4/intmax.m4

Copying file m4/inttypes-pri.m4

Copying file m4/inttypes_h.m4

Copying file m4/lcmessage.m4

Copying file m4/lib-ld.m4

Copying file m4/lib-link.m4

Copying file m4/lib-prefix.m4

Copying file m4/lock.m4

Copying file m4/longlong.m4

Copying file m4/nls.m4

Copying file m4/po.m4

Copying file m4/printf-posix.m4

Copying file m4/progtest.m4

Copying file m4/size_max.m4

Copying file m4/stdint_h.m4

Copying file m4/threadlib.m4

Copying file m4/uintmax_t.m4

Copying file m4/visibility.m4

Copying file m4/wchar_t.m4

Copying file m4/wint_t.m4

Copying file m4/xsize.m4

Copying file po/Makevars.template

Copying file po/Rules-quot

Copying file po/boldquot.sed

Copying file po/en@boldquot.header

Copying file po/en@quot.header

Copying file po/insert-header.sin

Copying file po/quot.sed

Copying file po/remove-potcdate.sin

src/ast/expr2polynomial.cpp

src/ast/expr2var.cpp

autoreconf: running: aclocal --force --install -I m4

src/ast/expr_abstract.cpp

src/ast/expr_substitution.cpp

src/ast/fpa_decl_plugin.cpp

aclocal: installing 'm4/pkg.m4' from '/nix/store/f4iq3fjva198s44x56dwm0vpgymb67xg-x86_64-unknown-linux-gnufilc0-pkg-config-wrapper-0.29.2/share/aclocal/pkg.m4'

aclocal: installing 'm4/libtool.m4' from '/nix/store/b7kv2xx2ga3w0fa4h7g0c3y64wkr3i57-libtool-2.5.4/share/aclocal/libtool.m4'

aclocal: installing 'm4/ltoptions.m4' from '/nix/store/b7kv2xx2ga3w0fa4h7g0c3y64wkr3i57-libtool-2.5.4/share/aclocal/ltoptions.m4'

aclocal: installing 'm4/ltsugar.m4' from '/nix/store/b7kv2xx2ga3w0fa4h7g0c3y64wkr3i57-libtool-2.5.4/share/aclocal/ltsugar.m4'

aclocal: installing 'm4/ltversion.m4' from '/nix/store/b7kv2xx2ga3w0fa4h7g0c3y64wkr3i57-libtool-2.5.4/share/aclocal/ltversion.m4'

aclocal: installing 'm4/lt~obsolete.m4' from '/nix/store/b7kv2xx2ga3w0fa4h7g0c3y64wkr3i57-libtool-2.5.4/share/aclocal/lt~obsolete.m4'

aclocal: installing 'm4/ax_add_fortify_source.m4' from '/nix/store/0gy830n4kjhav2yinb2ga7gmj7gmgvlm-autoconf-archive-2024.10.16/share/aclocal/ax_add_fortify_source.m4'

aclocal: installing 'm4/ax_check_compile_flag.m4' from '/nix/store/0gy830n4kjhav2yinb2ga7gmj7gmgvlm-autoconf-archive-2024.10.16/share/aclocal/ax_check_compile_flag.m4'

aclocal: installing 'm4/ax_cxx_compile_stdcxx.m4' from '/nix/store/0gy830n4kjhav2yinb2ga7gmj7gmgvlm-autoconf-archive-2024.10.16/share/aclocal/ax_cxx_compile_stdcxx.m4'

aclocal: installing 'm4/ax_pthread.m4' from '/nix/store/0gy830n4kjhav2yinb2ga7gmj7gmgvlm-autoconf-archive-2024.10.16/share/aclocal/ax_pthread.m4'

aclocal: installing 'm4/ax_require_defined.m4' from '/nix/store/0gy830n4kjhav2yinb2ga7gmj7gmgvlm-autoconf-archive-2024.10.16/share/aclocal/ax_require_defined.m4'

src/ast/pb_decl_plugin.cpp

src/ast/polymorphism_inst.cpp

src/ast/polymorphism_util.cpp

autoreconf: configure.ac: tracing

autoreconf: running: libtoolize --copy --force

libtoolize: putting auxiliary files in '.'.

libtoolize: copying file './ltmain.sh'

src/ast/recfun_decl_plugin.cpp

libtoolize: putting macros in AC_CONFIG_MACRO_DIRS, 'm4'.

libtoolize: copying file 'm4/libtool.m4'

libtoolize: copying file 'm4/ltoptions.m4'

libtoolize: copying file 'm4/ltsugar.m4'

libtoolize: copying file 'm4/ltversion.m4'

libtoolize: copying file 'm4/lt~obsolete.m4'

autoreconf: configure.ac: not using Intltool

autoreconf: configure.ac: not using Gtkdoc

autoreconf: running: aclocal --force --install -I m4

autoreconf: running: /nix/store/v3l2zqz13i63nzkd2nrqps0y2i74pr10-autoconf-2.72/bin/autoconf --force

configure.ac:38: warning: The macro 'AC_PROG_LIBTOOL' is obsolete.

configure.ac:38: You should run autoupdate.

m4/libtool.m4:100: AC_PROG_LIBTOOL is expanded from...

configure.ac:38: the top level

autoreconf: running: /nix/store/v3l2zqz13i63nzkd2nrqps0y2i74pr10-autoconf-2.72/bin/autoheader --force

autoreconf: running: automake --add-missing --copy --force-missing

src/ast/reg_decl_plugins.cpp

configure.ac:31: installing './ar-lib'

configure.ac:28: installing './compile'

configure.ac:28: installing './config.guess'

configure.ac:28: installing './config.sub'

configure.ac:6: installing './install-sh'

configure.ac:6: installing './missing'

src/Makefile.am: installing './depcomp'

autoreconf: './install-sh' is updated

autoreconf: Leaving directory '.'

→ updateAutotoolsGnuConfigScriptsPhase

Updating Autotools / GNU config script to a newer upstream version: ./config.sub

Updating Autotools / GNU config script to a newer upstream version: ./config.guess

→ updateAutotoolsGnuConfigScriptsPhase

Updating Autotools / GNU config script to a newer upstream version: ./config.sub

Updating Autotools / GNU config script to a newer upstream version: ./config.guess

→ configurePhase

Fil-C: adapting libtool symbol probes in configure

fixing libtool script ./ltmain.sh

./configure

patching script interpreter paths in ./configure

./configure: interpreter directive changed from "#! /bin/sh" to "/nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/sh"

configure flags: --disable-static --disable-dependency-tracking --prefix=/nix/store/hzyfd0imnkfgsyqivxfpmwq95grbcymb-powertop-x86_64-unknown-linux-gnufilc0-2.15 --bindir=/nix/store/hzyfd0imnkfgsyqivxfpmwq95grbcymb-powertop-x86_64-unknown-linux-gnufilc0-2.15/bin --sbindir=/nix/store/hzyfd0imnkfgsyqivxfpmwq95grbcymb-powertop-x86_64-unknown-linux-gnufilc0-2.15/sbin --includedir=/nix/store/hzyfd0imnkfgsyqivxfpmwq95grbcymb-powertop-x86_64-unknown-linux-gnufilc0-2.15/include --mandir=/nix/store/4maxjkmdgkn4fglhn4agjs0ld7jr9mpq-powertop-x86_64-unknown-linux-gnufilc0-2.15-man/share/man --infodir=/nix/store/hzyfd0imnkfgsyqivxfpmwq95grbcymb-powertop-x86_64-unknown-linux-gnufilc0-2.15/share/info --docdir=/nix/store/hzyfd0imnkfgsyqivxfpmwq95grbcymb-powertop-x86_64-unknown-linux-gnufilc0-2.15/share/doc/powertop --libdir=/nix/store/hzyfd0imnkfgsyqivxfpmwq95grbcymb-powertop-x86_64-unknown-linux-gnufilc0-2.15/lib --libexecdir=/nix/store/hzyfd0imnkfgsyqivxfpmwq95grbcymb-powertop-x86_64-unknown-linux-gnufilc0-2.15/libexec --localedir=/nix/store/hzyfd0imnkfgsyqivxfpmwq95grbcymb-powertop-x86_64-unknown-linux-gnufilc0-2.15/share/locale --build=x86_64-unknown-linux-gnu --host=x86_64-unknown-linux-gnufilc0

checking for a BSD-compatible install... /nix/store/rry6qingvsrqmc7ll7jgaqpybcbdgf5v-coreutils-9.7/bin/install -c

checking whether build environment is sane... yes

checking for x86_64-unknown-linux-gnufilc0-strip... strip

checking for a race-free mkdir -p... /nix/store/rry6qingvsrqmc7ll7jgaqpybcbdgf5v-coreutils-9.7/bin/mkdir -p

checking for gawk... gawk

checking whether make sets $(MAKE)... yes

checking whether make supports nested variables... yes

checking whether make supports the include directive... yes (GNU style)

checking whether the C++ compiler works... yes

checking for C++ compiler default output file name... a.out

src/ast/seq_decl_plugin.cpp

checking for suffix of executables... 

checking whether we are cross compiling... yes

checking for suffix of object files... o

src/ast/shared_occs.cpp

checking whether the compiler supports GNU C++... yes

checking whether clang++ accepts -g... yes

checking for clang++ option to enable C++11 features... none needed

checking dependency style of clang++... none

checking for stdio.h... yes

checking for stdlib.h... yes

checking for string.h... yes

checking for inttypes.h... yes

checking for stdint.h... yes

checking for strings.h... yes

checking for sys/stat.h... yes

checking for sys/types.h... yes

checking for unistd.h... yes

checking for wchar.h... yes

checking for minix/config.h... no

checking for sys/param.h... yes

src/ast/static_features.cpp

checking whether it is safe to define __EXTENSIONS__... yes

checking whether _XOPEN_SOURCE should be defined... no

checking whether make supports nested variables... (cached) yes

checking whether NLS is requested... yes

checking for msgfmt... /nix/store/ava9h9a35fg419f4r1h3ib2hwqx6lr8k-gettext-0.22.5/bin/msgfmt

checking for gmsgfmt... /nix/store/ava9h9a35fg419f4r1h3ib2hwqx6lr8k-gettext-0.22.5/bin/msgfmt

checking for xgettext... /nix/store/ava9h9a35fg419f4r1h3ib2hwqx6lr8k-gettext-0.22.5/bin/xgettext

checking for msgmerge... /nix/store/ava9h9a35fg419f4r1h3ib2hwqx6lr8k-gettext-0.22.5/bin/msgmerge

checking for x86_64-unknown-linux-gnufilc0-gcc... clang

checking whether the compiler supports GNU C... yes

src/ast/well_sorted.cpp

checking whether clang accepts -g... yes

checking for clang option to enable C11 features... none needed

checking whether clang understands -c and -o together... yes

checking dependency style of clang... none

checking build system type... x86_64-unknown-linux-gnu

checking host system type... x86_64-unknown-linux-gnufilc0

checking for ld used by clang... ld

checking if the linker (ld) is GNU ld... yes

checking for shared library run path origin... done

checking how to run the C++ preprocessor... clang++ -E

checking for egrep -e... /nix/store/l2wvwyg680h0v2la18hz3yiznxy2naqw-gnugrep-3.11/bin/grep -E

checking for CFPreferencesCopyAppValue... no

checking for CFLocaleCopyCurrent... no

checking for GNU gettext in libc... yes

checking whether to use NLS... yes

checking where the gettext function comes from... libc

checking for x86_64-unknown-linux-gnufilc0-ar... ar

checking the archiver (ar) interface... ar

checking how to run the C preprocessor... clang -E

checking whether the compiler supports GNU C++... (cached) yes

checking whether clang++ accepts -g... (cached) yes

checking for clang++ option to enable C++11 features... (cached) none needed

checking dependency style of clang++... (cached) none

checking how to print strings... printf

checking for a sed that does not truncate output... /nix/store/4rpiqv9yr2pw5094v4wc33ijkqjpm9sa-gnused-4.9/bin/sed

checking for grep that handles long lines and -e... /nix/store/l2wvwyg680h0v2la18hz3yiznxy2naqw-gnugrep-3.11/bin/grep

checking for egrep... /nix/store/l2wvwyg680h0v2la18hz3yiznxy2naqw-gnugrep-3.11/bin/grep -E

checking for fgrep... /nix/store/l2wvwyg680h0v2la18hz3yiznxy2naqw-gnugrep-3.11/bin/grep -F

checking for ld used by clang... ld

checking if the linker (ld) is GNU ld... yes

checking for BSD- or MS-compatible name lister (nm)... nm

checking the name lister (nm) interface... BSD nm

checking whether ln -s works... yes

checking the maximum length of command line arguments... 4718592

checking how to convert x86_64-unknown-linux-gnu file names to x86_64-unknown-linux-gnufilc0 format... func_convert_file_noop

checking how to convert x86_64-unknown-linux-gnu file names to toolchain format... func_convert_file_noop

checking for ld option to reload object files... -r

checking for file... file

checking for x86_64-unknown-linux-gnufilc0-objdump... objdump

checking how to recognize dependent libraries... (cached) pass_all

checking for x86_64-unknown-linux-gnufilc0-dlltool... no

checking for dlltool... no

checking how to associate runtime and link libraries... printf %s\n

checking for x86_64-unknown-linux-gnufilc0-ranlib... ranlib

checking for x86_64-unknown-linux-gnufilc0-ar... (cached) ar

checking for archiver @FILE support... @

checking for x86_64-unknown-linux-gnufilc0-strip... (cached) strip

checking command to parse nm output from clang object... ok

checking for sysroot... no

checking for a working dd... /nix/store/rry6qingvsrqmc7ll7jgaqpybcbdgf5v-coreutils-9.7/bin/dd

checking how to truncate binary pipes... /nix/store/rry6qingvsrqmc7ll7jgaqpybcbdgf5v-coreutils-9.7/bin/dd bs=4096 count=1

checking for x86_64-unknown-linux-gnufilc0-mt... no

checking for mt... no

checking if : is a manifest tool... no

checking for dlfcn.h... yes

checking for objdir... .libs

checking if clang supports -fno-rtti -fno-exceptions... yes

checking for clang option to produce PIC... -fPIC -DPIC

checking if clang PIC flag -fPIC -DPIC works... yes

checking if clang static flag -static works... no

checking if clang supports -c -o file.o... yes

checking if clang supports -c -o file.o... (cached) yes

checking whether the clang linker (ld -m elf_x86_64) supports shared libraries... yes

checking whether -lc should be explicitly linked in... no

src/opt/pb_sls.cpp

checking dynamic linker characteristics... GNU/Linux ld.so

checking how to hardcode library paths into programs... immediate

checking whether stripping libraries is possible... yes

checking if libtool supports shared libraries... yes

checking whether to build shared libraries... yes

checking whether to build static libraries... no

checking how to run the C++ preprocessor... clang++ -E

checking for ld used by clang++... ld -m elf_x86_64

checking if the linker (ld -m elf_x86_64) is GNU ld... yes

checking whether the clang++ linker (ld -m elf_x86_64) supports shared libraries... yes

checking for clang++ option to produce PIC... -fPIC -DPIC

checking if clang++ PIC flag -fPIC -DPIC works... yes

checking if clang++ static flag -static works... no

checking if clang++ supports -c -o file.o... yes

checking if clang++ supports -c -o file.o... (cached) yes

checking whether the clang++ linker (ld -m elf_x86_64) supports shared libraries... yes

checking dynamic linker characteristics... (cached) GNU/Linux ld.so

checking how to hardcode library paths into programs... immediate

checking for x86_64-unknown-linux-gnufilc0-gcc... (cached) clang

checking whether the compiler supports GNU C... (cached) yes

checking whether clang accepts -g... (cached) yes

checking for clang option to enable C11 features... (cached) none needed

checking whether clang understands -c and -o together... (cached) yes

checking dependency style of clang... (cached) none

checking whether the C++ compiler accepts -Werror... yes

checking whether to add -D_FORTIFY_SOURCE=3 to CPPFLAGS... yes

checking whether clang++ supports C++11 features with -std=gnu++11... yes

checking pkg-config is at least version 0.9.0... yes

checking whether clang is Clang... yes

checking whether pthreads work with "-pthread" and "-lpthread"... yes

src/muz/spacer/spacer_antiunify.cpp

checking whether Clang needs flag to prevent "argument unused" warning when linking with -pthread... no

checking for joinable pthread attribute... PTHREAD_CREATE_JOINABLE

checking whether more special flags are required for pthreads... no

checking for PTHREAD_PRIO_INHERIT... yes

src/muz/spacer/spacer_mbc.cpp

checking for fcntl.h... yes

checking for libintl.h... yes

checking for limits.h... yes

checking for locale.h... yes

checking for malloc.h... yes

checking for ncurses.h... yes

checking for stdint.h... (cached) yes

checking for stdlib.h... (cached) yes

checking for string.h... (cached) yes

checking for sys/ioctl.h... yes

checking for sys/socket.h... yes

src/muz/spacer/spacer_sem_matcher.cpp

checking for sys/statfs.h... yes

checking for sys/time.h... yes

checking for termios.h... yes

checking for unistd.h... (cached) yes

checking for _Bool... no

checking for stdbool.h that conforms to C99 or later... yes

checking for inline... inline

checking for int64_t... yes

checking for pid_t... yes

checking for size_t... yes

checking for ssize_t... yes

checking for uint16_t... yes

checking for uint32_t... yes

checking for uint64_t... yes

checking for GNU libc compatible malloc... yes

checking for getpagesize... yes

checking for working mmap... yes

checking for GNU libc compatible realloc... yes

src/muz/base/dl_boogie_proof.cpp

checking for clang++ -std=gnu++11 options needed to detect all undeclared functions... none needed

checking whether strerror_r is declared... yes

checking whether strerror_r returns char *... yes

checking for working strtod... no

checking for pow... no

checking for pow in -lm... yes

checking for clock_gettime... yes

checking for fdatasync... yes

checking for getpagesize... (cached) yes

checking for gettimeofday... yes

checking for memmove... yes

checking for memset... yes

checking for mkdir... yes

checking for munmap... yes

checking for pow... (cached) no

checking for realpath... yes

checking for regcomp... yes

checking for select... yes

checking for setlocale... yes

checking for socket... yes

checking for sqrt... no

checking for strcasecmp... yes

checking for strchr... yes

checking for strrchr... yes

checking for strdup... yes

checking for strerror... yes

checking for strncasecmp... yes

checking for strstr... yes

checking for strtoul... yes

checking for strtoull... yes

checking for library containing clock_gettime... none required

checking for ncursesw ncurses... yes

checking for libpci... yes

checking for libnl-3.0 >= 3.0 libnl-genl-3.0 >= 3.0... yes

checking for library containing inet_aton... none required

checking that generated files are newer than configure... done

configure: creating ./config.status

src/qe/nlarith_util.cpp

config.status: creating Makefile

config.status: creating Doxyfile

config.status: creating src/Makefile

config.status: creating traceevent/Makefile

config.status: creating po/Makefile.in

config.status: creating doc/Makefile

config.status: creating scripts/bash-completion/Makefile

config.status: creating config.h

config.status: executing depfiles commands

config.status: executing po-directories commands

config.status: creating po/POTFILES

config.status: creating po/Makefile

config.status: executing libtool commands

→ buildPhase

build flags: SHELL=/nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash

make  all-recursive

make[1]: Entering directory '/build/source'

Making all in traceevent

make[2]: Entering directory '/build/source/traceevent'

  CC       event-parse.lo

src/qe/qe_array_plugin.cpp

src/qe/qe_bool_plugin.cpp

src/qe/qe_bv_plugin.cpp

src/qe/qe_datatype_plugin.cpp

  CC       parse-filter.lo

src/qe/qe_dl_plugin.cpp

src/sat/smt/pb_constraint.cpp

src/smt/smt_cg_table.cpp

parse-filter.c:406:17: warning: implicit conversion from enumeration type 'enum filter_exp_type' to different enumeration type 'enum filter_op_type' [-Wenum-conversion]

  406 |         arg->op.type = etype;

      |                      ~ ^~~~~

parse-filter.c:419:17: warning: implicit conversion from enumeration type 'enum filter_exp_type' to different enumeration type 'enum filter_op_type' [-Wenum-conversion]

  419 |         arg->op.type = etype;

      |                      ~ ^~~~~

parse-filter.c:1056:27: warning: implicit conversion from enumeration type 'enum filter_cmp_type' to different enumeration type 'enum filter_exp_type' [-Wenum-conversion]

 1056 |                                         arg = create_arg_cmp(ctype);

      |                                               ~~~~~~~~~~~~~~ ^~~~~

3 warnings generated.

  CC       parse-utils.lo

  CC       trace-seq.lo

  CCLD     libtraceevnet.la

make[2]: Leaving directory '/build/source/traceevent'

Making all in src

make[2]: Entering directory '/build/source/src'

/nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash ./csstoh.sh ./powertop.css css.h

make  all-am

make[3]: Entering directory '/build/source/src'

  CXX      powertop-devlist.o

src/ackermannization/lackr_model_constructor.cpp

src/ast/pattern/pattern_inference.cpp

src/ast/substitution/demodulator_rewriter.cpp

src/ast/substitution/matcher.cpp

  CXX      powertop-display.o

src/ast/substitution/substitution.cpp

src/ast/substitution/substitution_tree.cpp

  CXX      powertop-lib.o

src/ast/substitution/unifier.cpp

src/ast/rewriter/bit_blaster/bit_blaster.cpp

  CXX      powertop-main.o

src/ast/rewriter/bit_blaster/bit_blaster_rewriter.cpp

src/ast/sls/sls_array_plugin.cpp

src/ast/sls/sls_basic_plugin.cpp

  CXX      calibrate/powertop-calibrate.o

src/ast/sls/sls_bv_terms.cpp

src/ast/sls/sls_smt_solver.cpp

  CXX      cpu/powertop-abstract_cpu.o

src/model/model_evaluator.cpp

  CXX      cpu/powertop-cpu.o

src/model/model_implicant.cpp

src/model/model_macro_solver.cpp

src/ast/macros/macro_manager.cpp

src/ast/macros/quasi_macros.cpp

  CXX      cpu/powertop-cpu_core.o

  CXX      cpu/powertop-cpu_linux.o

src/ast/rewriter/seq_eq_solver.cpp

src/ast/rewriter/value_sweep.cpp

  CXX      cpu/powertop-cpu_package.o

src/params/smt_params.cpp

src/ast/ast_pp_util.cpp

src/muz/spacer/spacer_cluster_util.cpp

  CXX      cpu/powertop-cpu_rapl_device.o

src/muz/spacer/spacer_iuc_proof.cpp

  CXX      cpu/powertop-cpudevice.o

src/muz/spacer/spacer_sym_mux.cpp

  CXX      cpu/powertop-dram_rapl_device.o

src/muz/spacer/spacer_unsat_core_learner.cpp

src/tactic/bv/bit_blaster_model_converter.cpp

src/ackermannization/ackr_model_converter.cpp

  CXX      cpu/powertop-intel_cpus.o

src/ast/sls/sls_arith_base.cpp

src/ast/sls/sls_arith_clausal.cpp

  CXX      cpu/powertop-intel_gpu.o

src/ast/sls/sls_arith_lookahead.cpp

  CXX      cpu/rapl/powertop-rapl_interface.o

src/ast/sls/sls_bv_engine.cpp

src/ast/sls/sls_bv_eval.cpp

  CXX      devices/powertop-ahci.o

src/ast/sls/sls_bv_fixed.cpp

  CXX      devices/powertop-alsa.o

  CXX      devices/powertop-backlight.o

src/ast/sls/sls_bv_lookahead.cpp

  CXX      devices/powertop-devfreq.o

  CXX      devices/powertop-device.o

src/ast/converters/model_converter.cpp

src/ast/macros/macro_finder.cpp

src/tactic/fpa/fpa2bv_model_converter.cpp

  CXX      devices/powertop-gpu_rapl_device.o

src/tactic/smtlogics/qfufbv_ackr_model_converter.cpp

src/muz/spacer/spacer_convex_closure.cpp

  CXX      devices/powertop-i915-gpu.o

src/sat/smt/atom2bool_var.cpp

  CXX      devices/powertop-network.o

src/sat/smt/bv_ackerman.cpp

src/sat/smt/pb_pb.cpp

src/tactic/arith/bv2int_rewriter.cpp

  CXX      devices/powertop-rfkill.o

src/tactic/arith/pb2bv_model_converter.cpp

src/tactic/arith/probe_arith.cpp

  CXX      devices/powertop-runtime_pm.o

src/tactic/core/collect_occs.cpp

src/ackermannization/ackermannize_bv_model_converter.cpp

  CXX      devices/powertop-thinkpad-fan.o

src/ackermannization/lackr_model_converter_lazy.cpp

  CXX      devices/powertop-thinkpad-light.o

src/tactic/aig/aig.cpp

src/solver/check_sat_result.cpp

  CXX      devices/powertop-usb.o

src/qe/mbp/mbp_arrays_tg.cpp

src/qe/mbp/mbp_basic_tg.cpp

  CXX      measurement/powertop-acpi.o

src/qe/mbp/mbp_dt_tg.cpp

src/qe/mbp/mbp_qel.cpp

  CXX      measurement/powertop-extech.o

  CXX      measurement/powertop-measurement.o

src/tactic/dependency_converter.cpp

src/tactic/goal.cpp

  CXX      measurement/powertop-sysfs.o

src/tactic/goal_num_occurs.cpp

src/tactic/goal_shared_occs.cpp

src/tactic/goal_util.cpp

  CXX      measurement/powertop-opal-sensors.o

  CXX      parameters/powertop-learn.o

src/tactic/probe.cpp

src/math/lp/core_solver_pretty_printer.cpp

  CXX      parameters/powertop-parameters.o

src/math/lp/lp_core_solver_base.cpp

src/ast/sls/bvsls_opt_engine.cpp

src/ast/sls/sls_arith_plugin.cpp

  CXX      parameters/powertop-persistent.o

src/ast/sls/sls_bv_plugin.cpp

  CXX      perf/powertop-perf.o

src/ast/sls/sls_context.cpp

src/ast/converters/expr_inverter.cpp

src/ast/converters/generic_model_converter.cpp

  CXX      perf/powertop-perf_bundle.o

src/ast/converters/horn_subsume_model_converter.cpp

src/tactic/portfolio/default_tactic.cpp

  CXX      process/powertop-do_process.o

src/tactic/portfolio/solver2lookahead.cpp

src/tactic/portfolio/solver_subsumption_tactic.cpp

src/tactic/fpa/fpa2bv_tactic.cpp

src/tactic/fpa/qffplra_tactic.cpp

src/tactic/ufbv/macro_finder_tactic.cpp

src/tactic/ufbv/quasi_macros_tactic.cpp

src/tactic/ufbv/ufbv_rewriter_tactic.cpp

src/tactic/smtlogics/qfnra_tactic.cpp

src/tactic/smtlogics/smt_tactic.cpp

  CXX      process/powertop-interrupt.o

src/muz/spacer/spacer_farkas_learner.cpp

src/muz/spacer/spacer_iuc_solver.cpp

src/muz/spacer/spacer_proof_utils.cpp

src/muz/spacer/spacer_unsat_core_plugin.cpp

  CXX      process/powertop-powerconsumer.o

src/muz/base/hnf.cpp

  CXX      process/powertop-process.o

src/tactic/fd_solver/fd_solver.cpp

  CXX      process/powertop-processdevice.o

src/qe/qe_mbi.cpp

  CXX      process/powertop-timer.o

src/qe/qe_tactic.cpp

src/tactic/bv/bit_blaster_tactic.cpp

src/tactic/bv/bv1_blaster_tactic.cpp

  CXX      process/powertop-work.o

src/tactic/bv/bv_bound_chk_tactic.cpp

src/tactic/bv/bv_size_reduction_tactic.cpp

  CXX      report/powertop-report-data-html.o

  CXX      report/powertop-report-formatter-base.o

src/tactic/bv/bvarray2uf_rewriter.cpp

src/tactic/bv/bvarray2uf_tactic.cpp

  CXX      report/powertop-report-formatter-csv.o

  CXX      report/powertop-report-formatter-html.o

src/tactic/bv/dt2bv_tactic.cpp

src/tactic/bv/elim_small_bv_tactic.cpp

  CXX      report/powertop-report-maker.o

src/nlsat/tactic/goal2nlsat.cpp

src/nlsat/tactic/nlsat_tactic.cpp

  CXX      report/powertop-report.o

src/sat/tactic/sat_tactic.cpp

  CXX      tuning/powertop-bluetooth.o

src/sat/smt/pb_card.cpp

src/sat/smt/tseitin_theory_checker.cpp

  CXX      tuning/powertop-ethernet.o

src/smt/smt_implied_equalities.cpp

src/math/subpaving/tactic/subpaving_tactic.cpp

  CC       tuning/powertop-iw.o

  CXX      tuning/powertop-runtime.o

src/tactic/arith/add_bounds_tactic.cpp

src/tactic/arith/arith_bounds_tactic.cpp

  CXX      tuning/powertop-tunable.o

src/tactic/arith/degree_shift_tactic.cpp

src/tactic/arith/diff_neq_tactic.cpp

  CXX      tuning/powertop-tuning.o

src/tactic/arith/eq2bv_tactic.cpp

src/tactic/arith/factor_tactic.cpp

src/tactic/arith/fix_dl_var_tactic.cpp

src/tactic/arith/fm_tactic.cpp

  CXX      tuning/powertop-tuningsysfs.o

  CXX      tuning/powertop-tuningusb.o

src/tactic/arith/lia2card_tactic.cpp

  CXX      tuning/powertop-tuningi2c.o

src/tactic/arith/lia2pb_tactic.cpp

  CXX      tuning/powertop-wifi.o

src/tactic/arith/nla2bv_tactic.cpp

src/tactic/arith/normalize_bounds_tactic.cpp

  CXX      wakeup/powertop-wakeup.o

  CXX      wakeup/powertop-waketab.o

src/tactic/arith/pb2bv_tactic.cpp

  CXX      wakeup/powertop-wakeup_ethernet.o

src/tactic/arith/purify_arith_tactic.cpp

src/tactic/arith/recover_01_tactic.cpp

src/tactic/core/blast_term_ite_tactic.cpp

src/tactic/core/cofactor_elim_term_ite.cpp

  CXX      wakeup/powertop-wakeup_usb.o

  CXXLD    powertop

calibrate/powertop-calibrate.o:calibrate.cpp:function pizlonatedFI4792_pow:(.text+0x12316): error: undefined reference to 'pizlonated_pow'

cpu/rapl/powertop-rapl_interface.o:rapl_interface.cpp:function pizlonatedFI403_exp2:(.text+0x9301): error: undefined reference to 'pizlonated_exp2'

devices/powertop-thinkpad-fan.o:thinkpad-fan.cpp:function pizlonatedFI4792_pow:(.text+0x2916): error: undefined reference to 'pizlonated_pow'

src/tactic/core/cofactor_term_ite_tactic.cpp

parameters/powertop-learn.o:learn.cpp:function pizlonatedFI4792_pow:(.text+0x34e6): error: undefined reference to 'pizlonated_pow'

parameters/powertop-learn.o:learn.cpp:function pizlonatedFI403_exp2:(.text+0x35c1): error: undefined reference to 'pizlonated_exp2'

parameters/powertop-parameters.o:parameters.cpp:function pizlonatedFI403_sqrt:(.text+0xd481): error: undefined reference to 'pizlonated_sqrt'

clang-20: error: linker command failed with exit code 1 (use -v to see invocation)

make[3]: *** [Makefile:938: powertop] Error 1

make[3]: Leaving directory '/build/source/src'

make[2]: *** [Makefile:661: all] Error 2

make[2]: Leaving directory '/build/source/src'

make[1]: *** [Makefile:465: all-recursive] Error 1

make[1]: Leaving directory '/build/source'

make: *** [Makefile:395: all] Error 2

src/tactic/core/collect_statistics_tactic.cpp

src/tactic/core/ctx_simplify_tactic.cpp

src/tactic/core/der_tactic.cpp

src/tactic/core/elim_term_ite_tactic.cpp

src/tactic/core/elim_uncnstr_tactic.cpp

src/tactic/core/injectivity_tactic.cpp

src/tactic/core/nnf_tactic.cpp

src/tactic/core/occf_tactic.cpp

src/tactic/core/pb_preprocess_tactic.cpp

src/tactic/core/propagate_values_tactic.cpp

src/tactic/core/reduce_args_tactic.cpp

src/tactic/core/simplify_tactic.cpp

src/tactic/core/special_relations_tactic.cpp

src/tactic/core/split_clause_tactic.cpp

src/tactic/core/symmetry_reduce_tactic.cpp

src/tactic/core/tseitin_cnf_tactic.cpp

src/ackermannization/ackr_bound_probe.cpp

src/ackermannization/lackr.cpp

src/tactic/aig/aig_tactic.cpp

src/solver/combined_solver.cpp

src/solver/mus.cpp

src/solver/parallel_tactical.cpp

src/solver/slice_solver.cpp

src/solver/solver.cpp

src/solver/solver2tactic.cpp

src/tactic/tactic.cpp

src/tactic/tactical.cpp

src/shell/dimacs_frontend.cpp

src/opt/opt_pareto.cpp

src/tactic/fpa/qffp_tactic.cpp

src/muz/rel/doc.cpp

src/tactic/fd_solver/bounded_int2bv_solver.cpp

src/tactic/fd_solver/enum2bv_solver.cpp

src/tactic/fd_solver/pb2bv_solver.cpp

src/tactic/fd_solver/smtfd_solver.cpp

src/qe/nlqsat.cpp

src/qe/qe_arith_plugin.cpp

src/qe/qsat.cpp

src/smt/tactic/ctx_solver_simplify_tactic.cpp

src/smt/tactic/smt_tactic_core.cpp

src/sat/tactic/goal2sat.cpp

src/sat/tactic/sat2goal.cpp

src/sat/smt/array_axioms.cpp

src/sat/smt/array_diagnostics.cpp

src/sat/smt/array_internalize.cpp

src/sat/smt/array_model.cpp

src/sat/smt/array_solver.cpp

src/sat/smt/bv_delay_internalize.cpp

src/sat/smt/bv_internalize.cpp

src/sat/smt/bv_invariant.cpp

src/sat/smt/bv_solver.cpp

src/sat/smt/bv_theory_checker.cpp

src/sat/smt/dt_solver.cpp

src/sat/smt/euf_ackerman.cpp

src/sat/smt/euf_internalize.cpp

src/sat/smt/euf_invariant.cpp

src/sat/smt/euf_model.cpp

src/sat/smt/euf_proof.cpp

src/sat/smt/euf_proof_checker.cpp

src/sat/smt/euf_relevancy.cpp

src/sat/smt/intblast_solver.cpp

src/sat/smt/pb_internalize.cpp

src/sat/smt/pb_solver.cpp

src/sat/smt/q_clause.cpp

src/sat/smt/recfun_solver.cpp

src/sat/smt/sat_th.cpp

src/sat/smt/sls_solver.cpp

src/sat/smt/specrel_solver.cpp

src/sat/smt/user_solver.cpp

src/smt/smt_solver.cpp

src/ackermannization/ackermannize_bv_tactic.cpp

src/solver/solver_na2as.cpp

src/solver/solver_pool.cpp

src/solver/tactic2solver.cpp

src/ast/simplifiers/bit_blaster.cpp

src/ast/simplifiers/bound_simplifier.cpp

src/ast/simplifiers/bv_bounds_simplifier.cpp

src/ast/simplifiers/bv_slice.cpp

src/ast/simplifiers/card2bv.cpp

src/ast/simplifiers/demodulator_simplifier.cpp

src/ast/simplifiers/dependent_expr_state.cpp

src/ast/simplifiers/distribute_forall.cpp

src/ast/simplifiers/dominator_simplifier.cpp

src/ast/simplifiers/elim_unconstrained.cpp

src/ast/simplifiers/eliminate_predicates.cpp

src/ast/simplifiers/euf_completion.cpp

src/ast/simplifiers/extract_eqs.cpp

src/ast/simplifiers/max_bv_sharing.cpp

src/ast/simplifiers/model_reconstruction_trail.cpp

src/ast/simplifiers/propagate_values.cpp

src/ast/simplifiers/reduce_args_simplifier.cpp

src/math/lp/lar_core_solver.cpp

src/tactic/smtlogics/nra_tactic.cpp

src/muz/spacer/spacer_prop_solver.cpp

src/muz/spacer/spacer_qe_project.cpp

src/sat/sat_solver/inc_sat_solver.cpp

src/sat/sat_solver/sat_smt_solver.cpp

src/qe/qe_mbp.cpp

src/tactic/bv/bv_bounds_tactic.cpp

src/sat/smt/fpa_solver.cpp

src/sat/smt/xor_solver.cpp

src/smt/expr_context_simplifier.cpp

src/solver/assertions/asserted_formulas.cpp

src/cmd_context/tactic_manager.cpp

src/solver/simplifier_solver.cpp

src/solver/solver_preprocess.cpp

src/qe/lite/qe_lite_tactic.cpp

src/ast/simplifiers/solve_context_eqs.cpp

src/ast/simplifiers/solve_eqs.cpp

src/math/lp/dioph_eq.cpp

src/math/lp/gomory.cpp

src/math/lp/hnf_cutter.cpp

src/math/lp/int_cube.cpp

src/math/lp/int_gcd_test.cpp

src/math/lp/lar_solver.cpp

src/math/lp/lp_primal_core_solver.cpp

src/math/lp/static_matrix.cpp

src/cmd_context/extra_cmds/dbg_cmds.cpp

src/cmd_context/extra_cmds/polynomial_cmds.cpp

src/cmd_context/extra_cmds/proof_cmds.cpp

src/cmd_context/extra_cmds/subpaving_cmds.cpp

src/tactic/portfolio/euf_completion_tactic.cpp

src/tactic/ufbv/ufbv_tactic.cpp

src/tactic/smtlogics/qfaufbv_tactic.cpp

src/tactic/smtlogics/qfauflia_tactic.cpp

src/tactic/smtlogics/qfbv_tactic.cpp

src/tactic/smtlogics/qfidl_tactic.cpp

src/tactic/smtlogics/qflia_tactic.cpp

src/tactic/smtlogics/qflra_tactic.cpp

src/tactic/smtlogics/qfnia_tactic.cpp

src/tactic/smtlogics/qfuf_tactic.cpp

src/tactic/smtlogics/qfufbv_tactic.cpp

src/tactic/smtlogics/quant_tactics.cpp

src/qe/qe.cpp

src/qe/qe_cmd.cpp

src/tactic/sls/sls_tactic.cpp

src/smt/tactic/unit_subsumption_tactic.cpp

src/nlsat/tactic/qfnra_nlsat_tactic.cpp

src/smt/arith_eq_adapter.cpp

src/smt/dyn_ack.cpp

src/smt/mam.cpp

src/smt/qi_queue.cpp

src/smt/seq_axioms.cpp

src/smt/seq_offset_eq.cpp

src/smt/smt_arith_value.cpp

src/smt/smt_case_split_queue.cpp

src/smt/smt_checker.cpp

src/smt/smt_clause_proof.cpp

src/smt/smt_conflict_resolution.cpp

src/smt/smt_consequences.cpp

src/smt/smt_context_inv.cpp

src/smt/smt_context_pp.cpp

src/smt/smt_context_stat.cpp

src/smt/smt_enode.cpp

src/smt/smt_for_each_relevant_expr.cpp

src/smt/smt_internalizer.cpp

src/smt/smt_justification.cpp

src/smt/smt_kernel.cpp

src/smt/smt_lookahead.cpp

src/smt/smt_model_checker.cpp

src/smt/smt_model_finder.cpp

src/smt/smt_model_generator.cpp

src/smt/smt_parallel.cpp

src/smt/smt_quantifier.cpp

src/smt/smt_quick_checker.cpp

src/smt/smt_relevancy.cpp

src/smt/smt_theory.cpp

src/smt/theory_array.cpp

src/smt/theory_array_bapa.cpp

src/smt/theory_array_base.cpp

src/smt/theory_array_full.cpp

src/smt/theory_bv.cpp

src/smt/theory_char.cpp

src/smt/theory_datatype.cpp

src/smt/theory_dl.cpp

src/smt/theory_dummy.cpp

src/smt/theory_fpa.cpp

src/smt/theory_intblast.cpp

src/smt/theory_pb.cpp

src/smt/theory_recfun.cpp

src/smt/theory_sls.cpp

src/smt/theory_special_relations.cpp

src/smt/theory_str.cpp

src/smt/theory_str_mc.cpp

src/smt/theory_str_regex.cpp

src/smt/theory_user_propagator.cpp

src/smt/theory_wmaxsat.cpp

src/cmd_context/basic_cmds.cpp

src/cmd_context/cmd_context.cpp

src/cmd_context/cmd_context_to_goal.cpp

src/cmd_context/cmd_util.cpp

src/cmd_context/echo_tactic.cpp

src/cmd_context/eval_cmd.cpp

src/cmd_context/parametric_cmd.cpp

src/cmd_context/simplifier_cmds.cpp

src/cmd_context/simplify_cmd.cpp

src/cmd_context/tactic_cmds.cpp

src/math/lp/int_branch.cpp

src/math/lp/int_solver.cpp

src/math/lp/mon_eq.cpp

src/math/lp/random_updater.cpp

src/api/dll/install_tactic.cpp

src/shell/install_tactic.cpp

src/api/api_algebraic.cpp

src/api/api_arith.cpp

src/api/api_array.cpp

src/api/api_ast.cpp

src/api/api_ast_map.cpp

src/api/api_ast_vector.cpp

src/api/api_bv.cpp

src/api/api_config_params.cpp

src/api/api_context.cpp

src/api/api_datatype.cpp

src/api/api_fpa.cpp

src/api/api_goal.cpp

src/api/api_model.cpp

src/api/api_numeral.cpp

src/api/api_params.cpp

src/api/api_pb.cpp

src/api/api_polynomial.cpp

src/api/api_qe.cpp

src/api/api_quant.cpp

src/api/api_rcf.cpp

src/api/api_seq.cpp

src/api/api_solver.cpp

src/api/api_special_relations.cpp

src/api/api_stats.cpp

src/api/api_tactic.cpp

src/opt/opt_cores.cpp

src/opt/opt_lns.cpp

src/opt/opt_preprocess.cpp

src/tactic/portfolio/smt_strategic_solver.cpp

src/muz/spacer/spacer_legacy_mbp.cpp

src/muz/spacer/spacer_legacy_mev.cpp

src/muz/spacer/spacer_manager.cpp

src/muz/spacer/spacer_util.cpp

src/sat/smt/q_queue.cpp

src/sat/smt/q_solver.cpp

src/sat/smt/q_theory_checker.cpp

src/smt/smt2_extra_cmds.cpp

src/smt/smt_context.cpp

src/smt/smt_setup.cpp

src/smt/theory_diff_logic.cpp

src/smt/theory_seq.cpp

src/smt/theory_utvpi.cpp

src/ast/pattern/expr_pattern_match.cpp

src/parsers/smt2/marshal.cpp

src/parsers/smt2/smt2parser.cpp

src/parsers/smt2/smt2scanner.cpp

src/math/lp/factorization.cpp

src/opt/opt_solver.cpp

src/opt/optsmt.cpp

src/opt/sortmax.cpp

src/opt/wmax.cpp

src/muz/spacer/spacer_cluster.cpp

src/muz/spacer/spacer_conjecture.cpp

src/muz/spacer/spacer_expand_bnd_generalizer.cpp

src/muz/spacer/spacer_global_generalizer.cpp

src/muz/spacer/spacer_ind_lemma_generalizer.cpp

src/muz/dataflow/dataflow.cpp

src/sat/smt/q_ematch.cpp

src/sat/smt/q_eval.cpp

src/sat/smt/q_mbi.cpp

src/sat/smt/q_model_fixer.cpp

src/smt/seq_eq_solver.cpp

src/smt/seq_ne_solver.cpp

src/smt/seq_regex.cpp

src/smt/theory_arith.cpp

src/smt/theory_dense_diff_logic.cpp

src/shell/opt_frontend.cpp

src/opt/maxcore.cpp

src/opt/maxlex.cpp

src/opt/maxsmt.cpp

src/opt/opt_cmds.cpp

src/opt/opt_context.cpp

src/opt/opt_parse.cpp

src/muz/fp/datalog_parser.cpp

src/muz/ddnf/ddnf.cpp

src/muz/clp/clp_context.cpp

src/muz/spacer/spacer_callback.cpp

src/muz/spacer/spacer_concretize.cpp

src/muz/spacer/spacer_generalizers.cpp

src/muz/spacer/spacer_pdr.cpp

src/muz/spacer/spacer_quant_generalizer.cpp

src/muz/spacer/spacer_sat_answer.cpp

src/muz/transforms/dl_mk_array_eq_rewrite.cpp

src/muz/transforms/dl_mk_array_instantiation.cpp

src/muz/transforms/dl_mk_backwards.cpp

src/muz/transforms/dl_mk_bit_blast.cpp

src/muz/transforms/dl_mk_coi_filter.cpp

src/muz/transforms/dl_mk_filter_rules.cpp

src/muz/transforms/dl_mk_karr_invariants.cpp

src/muz/transforms/dl_mk_loop_counter.cpp

src/muz/transforms/dl_mk_magic_sets.cpp

src/muz/transforms/dl_mk_magic_symbolic.cpp

src/muz/transforms/dl_mk_quantifier_abstraction.cpp

src/muz/transforms/dl_mk_quantifier_instantiation.cpp

src/muz/transforms/dl_mk_scale.cpp

src/muz/transforms/dl_mk_separate_negated_tails.cpp

src/muz/transforms/dl_mk_unbound_compressor.cpp

src/muz/base/dl_context.cpp

src/muz/base/dl_costs.cpp

src/muz/base/dl_rule.cpp

src/muz/base/dl_rule_set.cpp

src/muz/base/dl_rule_subsumption_index.cpp

src/muz/base/dl_rule_transformer.cpp

src/muz/base/dl_util.cpp

src/muz/base/rule_properties.cpp

src/shell/smtlib_frontend.cpp

src/api/api_opt.cpp

src/api/api_parsers.cpp

src/muz/fp/horn_tactic.cpp

src/muz/tab/tab_context.cpp

src/muz/spacer/spacer_arith_generalizers.cpp

src/muz/spacer/spacer_context.cpp

src/muz/spacer/spacer_legacy_frames.cpp

src/muz/rel/dl_external_relation.cpp

src/muz/transforms/dl_mk_array_blast.cpp

src/muz/transforms/dl_mk_coalesce.cpp

src/muz/transforms/dl_mk_elim_term_ite.cpp

src/muz/transforms/dl_mk_interp_tail_simplifier.cpp

src/muz/transforms/dl_mk_rule_inliner.cpp

src/muz/transforms/dl_mk_slice.cpp

src/muz/transforms/dl_mk_subsumption_checker.cpp

src/muz/transforms/dl_mk_unfold.cpp

src/muz/transforms/dl_transforms.cpp

src/muz/bmc/dl_bmc_engine.cpp

src/muz/spacer/spacer_dl_interface.cpp

src/muz/rel/check_relation.cpp

src/muz/rel/dl_base.cpp

src/muz/rel/dl_instruction.cpp

src/muz/rel/dl_interval_relation.cpp

src/muz/rel/dl_lazy_table.cpp

src/muz/rel/dl_mk_similarity_compressor.cpp

src/muz/rel/dl_mk_simple_joins.cpp

src/muz/rel/dl_product_relation.cpp

src/muz/rel/dl_sieve_relation.cpp

src/muz/rel/dl_sparse_table.cpp

src/muz/rel/dl_table.cpp

src/muz/rel/dl_table_relation.cpp

src/muz/rel/udoc_relation.cpp

src/muz/transforms/dl_mk_synchronize.cpp

src/api/api_datalog.cpp

src/muz/fp/dl_cmds.cpp

src/muz/fp/dl_register_engine.cpp

src/muz/rel/aig_exporter.cpp

src/muz/rel/dl_check_table.cpp

src/muz/rel/dl_compiler.cpp

src/muz/rel/dl_finite_product_relation.cpp

src/muz/rel/dl_mk_explanations.cpp

src/muz/rel/dl_relation_manager.cpp

src/muz/rel/karr_relation.cpp

src/muz/rel/rel_context.cpp

src/math/lp/emonics.cpp

src/math/lp/factorization_factory_imp.cpp

src/math/lp/horner.cpp

src/math/lp/monomial_bounds.cpp

src/math/lp/nla_basics_lemmas.cpp

src/math/lp/nla_common.cpp

src/math/lp/nla_core.cpp

src/math/lp/nla_divisions.cpp

src/math/lp/nla_grobner.cpp

src/math/lp/nla_intervals.cpp

src/math/lp/nla_monotone_lemmas.cpp

src/math/lp/nla_order_lemmas.cpp

src/math/lp/nla_powers.cpp

src/math/lp/nla_solver.cpp

src/math/lp/nla_tangent_lemmas.cpp

src/math/lp/nra_solver.cpp

src/shell/datalog_frontend.cpp

src/muz/rel/dl_bound_relation.cpp

src/smt/theory_lra.cpp

src/sat/smt/arith_axioms.cpp

src/sat/smt/arith_diagnostics.cpp

src/sat/smt/arith_internalize.cpp

src/sat/smt/arith_solver.cpp

src/sat/smt/arith_value.cpp

src/sat/smt/euf_solver.cpp

clang++  -o z3  shell/datalog_frontend.o shell/dimacs_frontend.o shell/drat_frontend.o shell/main.o shell/opt_frontend.o shell/smtlib_frontend.o shell/z3_log_frontend.o shell/install_tactic.o shell/mem_initializer.o shell/gparams_register_modules.o api/api.a cmd_context/extra_cmds/extra_cmds.a opt/opt.a tactic/portfolio/portfolio.a tactic/fpa/fpa_tactics.a tactic/ufbv/ufbv_tactic.a tactic/smtlogics/smtlogic_tactics.a muz/fp/fp.a muz/bmc/bmc.a muz/ddnf/ddnf.a muz/tab/tab.a muz/clp/clp.a muz/spacer/spacer.a muz/rel/rel.a muz/transforms/transforms.a muz/dataflow/dataflow.a muz/base/muz.a tactic/fd_solver/fd_solver.a sat/sat_solver/sat_solver.a qe/qe.a tactic/sls/sls_tactic.a smt/tactic/smt_tactic.a tactic/bv/bv_tactics.a nlsat/tactic/nlsat_tactic.a sat/tactic/sat_tactic.a sat/smt/sat_smt.a smt/smt.a smt/proto_model/proto_model.a math/subpaving/tactic/subpaving_tactic.a solver/assertions/solver_assertions.a tactic/arith/arith_tactics.a tactic/core/core_tactics.a ast/fpa/fpa.a ackermannization/ackermannization.a tactic/aig/aig_tactic.a ast/pattern/pattern.a parsers/smt2/smt2parser.a cmd_context/cmd_context.a solver/solver.a qe/lite/qe_lite.a qe/mbp/mbp.a tactic/tactic.a ast/simplifiers/simplifiers.a ast/proofs/proofs.a ast/substitution/substitution.a ast/rewriter/bit_blaster/bit_blaster.a math/lp/lp.a nlsat/nlsat.a sat/sat.a ast/sls/ast_sls.a ast/converters/converters.a model/model.a ast/macros/macros.a ast/normal_forms/normal_forms.a ast/rewriter/rewriter.a math/grobner/grobner.a ast/euf/euf.a parsers/util/parser_util.a params/params.a ast/ast.a math/subpaving/subpaving.a math/realclosure/realclosure.a math/automata/automata.a math/hilbert/hilbert.a math/simplex/simplex.a math/dd/dd.a math/interval/interval.a math/polynomial/polynomial.a util/util.a -lpthread 

clang++ -o libz3.so -shared api/dll/dll.o api/dll/install_tactic.o api/dll/mem_initializer.o api/dll/gparams_register_modules.o api/api_algebraic.o api/api_arith.o api/api_array.o api/api_ast.o api/api_ast_map.o api/api_ast_vector.o api/api_bv.o api/api_config_params.o api/api_context.o api/api_datalog.o api/api_datatype.o api/api_fpa.o api/api_goal.o api/api_log.o api/api_model.o api/api_numeral.o api/api_opt.o api/api_params.o api/api_parsers.o api/api_pb.o api/api_polynomial.o api/api_qe.o api/api_quant.o api/api_rcf.o api/api_seq.o api/api_solver.o api/api_special_relations.o api/api_stats.o api/api_tactic.o api/z3_replayer.o api/api_log_macros.o api/api_commands.o cmd_context/extra_cmds/extra_cmds.a opt/opt.a tactic/portfolio/portfolio.a tactic/fpa/fpa_tactics.a tactic/ufbv/ufbv_tactic.a tactic/smtlogics/smtlogic_tactics.a muz/fp/fp.a muz/bmc/bmc.a muz/ddnf/ddnf.a muz/tab/tab.a muz/clp/clp.a muz/spacer/spacer.a muz/rel/rel.a muz/transforms/transforms.a muz/dataflow/dataflow.a muz/base/muz.a tactic/fd_solver/fd_solver.a sat/sat_solver/sat_solver.a qe/qe.a tactic/sls/sls_tactic.a smt/tactic/smt_tactic.a tactic/bv/bv_tactics.a nlsat/tactic/nlsat_tactic.a sat/tactic/sat_tactic.a sat/smt/sat_smt.a smt/smt.a smt/proto_model/proto_model.a math/subpaving/tactic/subpaving_tactic.a solver/assertions/solver_assertions.a tactic/arith/arith_tactics.a tactic/core/core_tactics.a ast/fpa/fpa.a ackermannization/ackermannization.a tactic/aig/aig_tactic.a ast/pattern/pattern.a parsers/smt2/smt2parser.a cmd_context/cmd_context.a solver/solver.a qe/lite/qe_lite.a qe/mbp/mbp.a tactic/tactic.a ast/simplifiers/simplifiers.a ast/proofs/proofs.a ast/substitution/substitution.a ast/rewriter/bit_blaster/bit_blaster.a math/lp/lp.a nlsat/nlsat.a sat/sat.a ast/sls/ast_sls.a ast/converters/converters.a model/model.a ast/macros/macros.a ast/normal_forms/normal_forms.a ast/rewriter/rewriter.a math/grobner/grobner.a ast/euf/euf.a parsers/util/parser_util.a params/params.a ast/ast.a math/subpaving/subpaving.a math/realclosure/realclosure.a math/automata/automata.a math/hilbert/hilbert.a math/simplex/simplex.a math/dd/dd.a math/interval/interval.a math/polynomial/polynomial.a util/util.a -lpthread  -Wl,-soname,libz3.so

sat/smt/sat_smt.a(pb_card.o):pb_card.cpp:function pizlonatedFI403_exp2:(.text+0x6eb1): error: undefined reference to 'pizlonated_exp2'

sat/smt/sat_smt.a(pb_pb.o):pb_pb.cpp:function pizlonatedFI403_exp2:(.text+0x8151): error: undefined reference to 'pizlonated_exp2'

smt/smt.a(smt_lookahead.o):smt_lookahead.cpp:function pizlonatedFI403_exp2:(.text+0x8f01): error: undefined reference to 'pizlonated_exp2'

ast/fpa/fpa.a(fpa2bv_converter.o):fpa2bv_converter.cpp:function pizlonatedFI403_log:(.text+0x1d2e91): error: undefined reference to 'pizlonated_log'

solver/solver.a(parallel_tactical.o):parallel_tactical.cpp:function pizlonatedFI4792_pow:(.text+0x5856): error: undefined reference to 'pizlonated_pow'

sat/sat.a(sat_lookahead.o):sat_lookahead.cpp:function pizlonatedFI403_exp2:(.text+0x6b2a1): error: undefined reference to 'pizlonated_exp2'

sat/sat.a(sat_lookahead.o):sat_lookahead.cpp:function pizlonatedFI4792_pow:(.text+0x6baa6): error: undefined reference to 'pizlonated_pow'

sat/sat.a(sat_solver.o):sat_solver.cpp:function pizlonatedFI4792_pow:(.text+0xcccb6): error: undefined reference to 'pizlonated_pow'

sat/sat.a(sat_solver.o):sat_solver.cpp:function pizlonatedFI403_exp:(.text+0xd0cf1): error: undefined reference to 'pizlonated_exp'

sat/sat.a(sat_solver.o):sat_solver.cpp:function pizlonatedFI403_log:(.text+0xd0dc1): error: undefined reference to 'pizlonated_log'

sat/sat.a(sat_local_search.o):sat_local_search.cpp:function pizlonatedFI403_exp:(.text+0x24df1): error: undefined reference to 'pizlonated_exp'

sat/sat.a(sat_prob.o):sat_prob.cpp:function pizlonatedFI4792_pow:(.text+0xf3d6): error: undefined reference to 'pizlonated_pow'

ast/sls/ast_sls.a(sls_bv_engine.o):sls_bv_engine.cpp:function pizlonatedFI403_log:(.text+0x168f1): error: undefined reference to 'pizlonated_log'

ast/sls/ast_sls.a(sls_bv_engine.o):sls_bv_engine.cpp:function pizlonatedFI403_sqrt:(.text+0x169c1): error: undefined reference to 'pizlonated_sqrt'

ast/sls/ast_sls.a(sls_arith_lookahead.o):sls_arith_lookahead.cpp:function pizlonatedFI403_log:(.text+0x3161): error: undefined reference to 'pizlonated_log'

ast/sls/ast_sls.a(sls_arith_lookahead.o):sls_arith_lookahead.cpp:function pizlonatedFI403_sqrt:(.text+0x3231): error: undefined reference to 'pizlonated_sqrt'

ast/sls/ast_sls.a(sls_bv_lookahead.o):sls_bv_lookahead.cpp:function pizlonatedFI403_sqrt:(.text+0x33f31): error: undefined reference to 'pizlonated_sqrt'

util/util.a(hwf.o):hwf.cpp:function pizlonatedFI135_fesetround:(.text+0xab0d): error: undefined reference to 'pizlonated_fesetround'

util/util.a(hwf.o):hwf.cpp:function pizlonatedFI403_sqrt:(.text+0xba61): error: undefined reference to 'pizlonated_sqrt'

util/util.a(hwf.o):hwf.cpp:function pizlonatedFI4792_remainder:(.text+0xbb36): error: undefined reference to 'pizlonated_remainder'

ln -f -s ../libz3.so python

clang-20: error: linker command failed with exit code 1 (use -v to see invocation)

make: *** [Makefile:4986: z3] Error 1

error: Cannot build '/nix/store/01izb6m0a2ifkr70b909svy50vgnra1g-z3-x86_64-unknown-linux-gnufilc0-4.15.1.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/31m9zmn8km2kih0h5hlksznriivx5whn-z3-x86_64-unknown-linux-gnufilc0-4.15.1-lib
         /nix/store/6sqqm2gsz00vp71qzackn6gzyqm1ih7m-z3-x86_64-unknown-linux-gnufilc0-4.15.1-dev
         /nix/store/bh6qlx36x4l13l594hvdf6czsi8hsv0z-z3-x86_64-unknown-linux-gnufilc0-4.15.1-python
         /nix/store/kq0qv3wng42myrbalr50q65h66wi94b5-z3-x86_64-unknown-linux-gnufilc0-4.15.1
       Last 25 log lines:
       > clang++  -o z3  shell/datalog_frontend.o shell/dimacs_frontend.o shell/drat_frontend.o shell/main.o shell/opt_frontend.o shell/smtlib_frontend.o shell/z3_log_frontend.o shell/install_tactic.o shell/mem_initializer.o shell/gparams_register_modules.o api/api.a cmd_context/extra_cmds/extra_cmds.a opt/opt.a tactic/portfolio/portfolio.a tactic/fpa/fpa_tactics.a tactic/ufbv/ufbv_tactic.a tactic/smtlogics/smtlogic_tactics.a muz/fp/fp.a muz/bmc/bmc.a muz/ddnf/ddnf.a muz/tab/tab.a muz/clp/clp.a muz/spacer/spacer.a muz/rel/rel.a muz/transforms/transforms.a muz/dataflow/dataflow.a muz/base/muz.a tactic/fd_solver/fd_solver.a sat/sat_solver/sat_solver.a qe/qe.a tactic/sls/sls_tactic.a smt/tactic/smt_tactic.a tactic/bv/bv_tactics.a nlsat/tactic/nlsat_tactic.a sat/tactic/sat_tactic.a sat/smt/sat_smt.a smt/smt.a smt/proto_model/proto_model.a math/subpaving/tactic/subpaving_tactic.a solver/assertions/solver_assertions.a tactic/arith/arith_tactics.a tactic/core/core_tactics.a ast/fpa/fpa.a ackermannization/ackermannization.a tactic/aig/aig_tactic.a ast/pattern/pattern.a parsers/smt2/smt2parser.a cmd_context/cmd_context.a solver/solver.a qe/lite/qe_lite.a qe/mbp/mbp.a tactic/tactic.a ast/simplifiers/simplifiers.a ast/proofs/proofs.a ast/substitution/substitution.a ast/rewriter/bit_blaster/bit_blaster.a math/lp/lp.a nlsat/nlsat.a sat/sat.a ast/sls/ast_sls.a ast/converters/converters.a model/model.a ast/macros/macros.a ast/normal_forms/normal_forms.a ast/rewriter/rewriter.a math/grobner/grobner.a ast/euf/euf.a parsers/util/parser_util.a params/params.a ast/ast.a math/subpaving/subpaving.a math/realclosure/realclosure.a math/automata/automata.a math/hilbert/hilbert.a math/simplex/simplex.a math/dd/dd.a math/interval/interval.a math/polynomial/polynomial.a util/util.a -lpthread
       > clang++ -o libz3.so -shared api/dll/dll.o api/dll/install_tactic.o api/dll/mem_initializer.o api/dll/gparams_register_modules.o api/api_algebraic.o api/api_arith.o api/api_array.o api/api_ast.o api/api_ast_map.o api/api_ast_vector.o api/api_bv.o api/api_config_params.o api/api_context.o api/api_datalog.o api/api_datatype.o api/api_fpa.o api/api_goal.o api/api_log.o api/api_model.o api/api_numeral.o api/api_opt.o api/api_params.o api/api_parsers.o api/api_pb.o api/api_polynomial.o api/api_qe.o api/api_quant.o api/api_rcf.o api/api_seq.o api/api_solver.o api/api_special_relations.o api/api_stats.o api/api_tactic.o api/z3_replayer.o api/api_log_macros.o api/api_commands.o cmd_context/extra_cmds/extra_cmds.a opt/opt.a tactic/portfolio/portfolio.a tactic/fpa/fpa_tactics.a tactic/ufbv/ufbv_tactic.a tactic/smtlogics/smtlogic_tactics.a muz/fp/fp.a muz/bmc/bmc.a muz/ddnf/ddnf.a muz/tab/tab.a muz/clp/clp.a muz/spacer/spacer.a muz/rel/rel.a muz/transforms/transforms.a muz/dataflow/dataflow.a muz/base/muz.a tactic/fd_solver/fd_solver.a sat/sat_solver/sat_solver.a qe/qe.a tactic/sls/sls_tactic.a smt/tactic/smt_tactic.a tactic/bv/bv_tactics.a nlsat/tactic/nlsat_tactic.a sat/tactic/sat_tactic.a sat/smt/sat_smt.a smt/smt.a smt/proto_model/proto_model.a math/subpaving/tactic/subpaving_tactic.a solver/assertions/solver_assertions.a tactic/arith/arith_tactics.a tactic/core/core_tactics.a ast/fpa/fpa.a ackermannization/ackermannization.a tactic/aig/aig_tactic.a ast/pattern/pattern.a parsers/smt2/smt2parser.a cmd_context/cmd_context.a solver/solver.a qe/lite/qe_lite.a qe/mbp/mbp.a tactic/tactic.a ast/simplifiers/simplifiers.a ast/proofs/proofs.a ast/substitution/substitution.a ast/rewriter/bit_blaster/bit_blaster.a math/lp/lp.a nlsat/nlsat.a sat/sat.a ast/sls/ast_sls.a ast/converters/converters.a model/model.a ast/macros/macros.a ast/normal_forms/normal_forms.a ast/rewriter/rewriter.a math/grobner/grobner.a ast/euf/euf.a parsers/util/parser_util.a params/params.a ast/ast.a math/subpaving/subpaving.a math/realclosure/realclosure.a math/automata/automata.a math/hilbert/hilbert.a math/simplex/simplex.a math/dd/dd.a math/interval/interval.a math/polynomial/polynomial.a util/util.a -lpthread  -Wl,-soname,libz3.so
       > sat/smt/sat_smt.a(pb_card.o):pb_card.cpp:function pizlonatedFI403_exp2:(.text+0x6eb1): error: undefined reference to 'pizlonated_exp2'
       > sat/smt/sat_smt.a(pb_pb.o):pb_pb.cpp:function pizlonatedFI403_exp2:(.text+0x8151): error: undefined reference to 'pizlonated_exp2'
       > smt/smt.a(smt_lookahead.o):smt_lookahead.cpp:function pizlonatedFI403_exp2:(.text+0x8f01): error: undefined reference to 'pizlonated_exp2'
       > ast/fpa/fpa.a(fpa2bv_converter.o):fpa2bv_converter.cpp:function pizlonatedFI403_log:(.text+0x1d2e91): error: undefined reference to 'pizlonated_log'
       > solver/solver.a(parallel_tactical.o):parallel_tactical.cpp:function pizlonatedFI4792_pow:(.text+0x5856): error: undefined reference to 'pizlonated_pow'
       > sat/sat.a(sat_lookahead.o):sat_lookahead.cpp:function pizlonatedFI403_exp2:(.text+0x6b2a1): error: undefined reference to 'pizlonated_exp2'
       > sat/sat.a(sat_lookahead.o):sat_lookahead.cpp:function pizlonatedFI4792_pow:(.text+0x6baa6): error: undefined reference to 'pizlonated_pow'
       > sat/sat.a(sat_solver.o):sat_solver.cpp:function pizlonatedFI4792_pow:(.text+0xcccb6): error: undefined reference to 'pizlonated_pow'
       > sat/sat.a(sat_solver.o):sat_solver.cpp:function pizlonatedFI403_exp:(.text+0xd0cf1): error: undefined reference to 'pizlonated_exp'
       > sat/sat.a(sat_solver.o):sat_solver.cpp:function pizlonatedFI403_log:(.text+0xd0dc1): error: undefined reference to 'pizlonated_log'
       > sat/sat.a(sat_local_search.o):sat_local_search.cpp:function pizlonatedFI403_exp:(.text+0x24df1): error: undefined reference to 'pizlonated_exp'
       > sat/sat.a(sat_prob.o):sat_prob.cpp:function pizlonatedFI4792_pow:(.text+0xf3d6): error: undefined reference to 'pizlonated_pow'
       > ast/sls/ast_sls.a(sls_bv_engine.o):sls_bv_engine.cpp:function pizlonatedFI403_log:(.text+0x168f1): error: undefined reference to 'pizlonated_log'
       > ast/sls/ast_sls.a(sls_bv_engine.o):sls_bv_engine.cpp:function pizlonatedFI403_sqrt:(.text+0x169c1): error: undefined reference to 'pizlonated_sqrt'
       > ast/sls/ast_sls.a(sls_arith_lookahead.o):sls_arith_lookahead.cpp:function pizlonatedFI403_log:(.text+0x3161): error: undefined reference to 'pizlonated_log'
       > ast/sls/ast_sls.a(sls_arith_lookahead.o):sls_arith_lookahead.cpp:function pizlonatedFI403_sqrt:(.text+0x3231): error: undefined reference to 'pizlonated_sqrt'
       > ast/sls/ast_sls.a(sls_bv_lookahead.o):sls_bv_lookahead.cpp:function pizlonatedFI403_sqrt:(.text+0x33f31): error: undefined reference to 'pizlonated_sqrt'
       > util/util.a(hwf.o):hwf.cpp:function pizlonatedFI135_fesetround:(.text+0xab0d): error: undefined reference to 'pizlonated_fesetround'
       > util/util.a(hwf.o):hwf.cpp:function pizlonatedFI403_sqrt:(.text+0xba61): error: undefined reference to 'pizlonated_sqrt'
       > util/util.a(hwf.o):hwf.cpp:function pizlonatedFI4792_remainder:(.text+0xbb36): error: undefined reference to 'pizlonated_remainder'
       > ln -f -s ../libz3.so python
       > clang-20: error: linker command failed with exit code 1 (use -v to see invocation)
       > make: *** [Makefile:4986: z3] Error 1
       For full logs, run:
         nix log /nix/store/01izb6m0a2ifkr70b909svy50vgnra1g-z3-x86_64-unknown-linux-gnufilc0-4.15.1.drv

error: Cannot build '/nix/store/1mii7a7ajvshw5fdyaqga7iymx6wpwsm-polyml-x86_64-unknown-linux-gnufilc0-5.7.1.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/favsjsvg1rxcndzp3dffjdw02s3zriqb-polyml-x86_64-unknown-linux-gnufilc0-5.7.1
       Last 25 log lines:
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3   -Wall -DMODULEDIR=\"/nix/store/favsjsvg1rxcndzp3dffjdw02s3zriqb-polyml-x86_64-unknown-linux-gnufilc0-5.7.1/lib/polyml/modules\"   -O3 -c -o savestate.lo savestate.cpp
       > libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/favsjsvg1rxcndzp3dffjdw02s3zriqb-polyml-x86_64-unknown-linux-gnufilc0-5.7.1/lib/polyml/modules\" -O3 -c savestate.cpp  -fPIC -DPIC -o .libs/savestate.o
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3   -Wall -DMODULEDIR=\"/nix/store/favsjsvg1rxcndzp3dffjdw02s3zriqb-polyml-x86_64-unknown-linux-gnufilc0-5.7.1/lib/polyml/modules\"   -O3 -c -o scanaddrs.lo scanaddrs.cpp
       > libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/favsjsvg1rxcndzp3dffjdw02s3zriqb-polyml-x86_64-unknown-linux-gnufilc0-5.7.1/lib/polyml/modules\" -O3 -c scanaddrs.cpp  -fPIC -DPIC -o .libs/scanaddrs.o
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3   -Wall -DMODULEDIR=\"/nix/store/favsjsvg1rxcndzp3dffjdw02s3zriqb-polyml-x86_64-unknown-linux-gnufilc0-5.7.1/lib/polyml/modules\"   -O3 -c -o sharedata.lo sharedata.cpp
       > libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/favsjsvg1rxcndzp3dffjdw02s3zriqb-polyml-x86_64-unknown-linux-gnufilc0-5.7.1/lib/polyml/modules\" -O3 -c sharedata.cpp  -fPIC -DPIC -o .libs/sharedata.o
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3   -Wall -DMODULEDIR=\"/nix/store/favsjsvg1rxcndzp3dffjdw02s3zriqb-polyml-x86_64-unknown-linux-gnufilc0-5.7.1/lib/polyml/modules\"   -O3 -c -o sighandler.lo sighandler.cpp
       > libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/favsjsvg1rxcndzp3dffjdw02s3zriqb-polyml-x86_64-unknown-linux-gnufilc0-5.7.1/lib/polyml/modules\" -O3 -c sighandler.cpp  -fPIC -DPIC -o .libs/sighandler.o
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3   -Wall -DMODULEDIR=\"/nix/store/favsjsvg1rxcndzp3dffjdw02s3zriqb-polyml-x86_64-unknown-linux-gnufilc0-5.7.1/lib/polyml/modules\"   -O3 -c -o statistics.lo statistics.cpp
       > libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/favsjsvg1rxcndzp3dffjdw02s3zriqb-polyml-x86_64-unknown-linux-gnufilc0-5.7.1/lib/polyml/modules\" -O3 -c statistics.cpp  -fPIC -DPIC -o .libs/statistics.o
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3   -Wall -DMODULEDIR=\"/nix/store/favsjsvg1rxcndzp3dffjdw02s3zriqb-polyml-x86_64-unknown-linux-gnufilc0-5.7.1/lib/polyml/modules\"   -O3 -c -o timing.lo timing.cpp
       > libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/favsjsvg1rxcndzp3dffjdw02s3zriqb-polyml-x86_64-unknown-linux-gnufilc0-5.7.1/lib/polyml/modules\" -O3 -c timing.cpp  -fPIC -DPIC -o .libs/timing.o
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3   -Wall -DMODULEDIR=\"/nix/store/favsjsvg1rxcndzp3dffjdw02s3zriqb-polyml-x86_64-unknown-linux-gnufilc0-5.7.1/lib/polyml/modules\"   -O3 -c -o xwindows.lo xwindows.cpp
       > libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/favsjsvg1rxcndzp3dffjdw02s3zriqb-polyml-x86_64-unknown-linux-gnufilc0-5.7.1/lib/polyml/modules\" -O3 -c xwindows.cpp  -fPIC -DPIC -o .libs/xwindows.o
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3   -Wall -DMODULEDIR=\"/nix/store/favsjsvg1rxcndzp3dffjdw02s3zriqb-polyml-x86_64-unknown-linux-gnufilc0-5.7.1/lib/polyml/modules\"   -O3 -c -o x86_dep.lo x86_dep.cpp
       > libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/favsjsvg1rxcndzp3dffjdw02s3zriqb-polyml-x86_64-unknown-linux-gnufilc0-5.7.1/lib/polyml/modules\" -O3 -c x86_dep.cpp  -fPIC -DPIC -o .libs/x86_dep.o
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash ../libtool  --tag=CC   --mode=compile clang -DHAVE_CONFIG_H -I. -I..  -O3   -Wall -DMODULEDIR=\"/nix/store/favsjsvg1rxcndzp3dffjdw02s3zriqb-polyml-x86_64-unknown-linux-gnufilc0-5.7.1/lib/polyml/modules\"    -c -o x86assembly_gas64.lo x86assembly_gas64.S
       > libtool: compile:  clang -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/favsjsvg1rxcndzp3dffjdw02s3zriqb-polyml-x86_64-unknown-linux-gnufilc0-5.7.1/lib/polyml/modules\" -c x86assembly_gas64.S  -fPIC -DPIC -o .libs/x86assembly_gas64.o
       > clang-20: error: sarcasm assembler command failed with exit code 1 (use -v to see invocation)
       > sarcasm: /build/x86assembly_gas64-117932.s: instruction outside any function (only annotated functions are compiled): pushq %rbp
       > make[2]: *** [Makefile:733: x86assembly_gas64.lo] Error 1
       > make[2]: Leaving directory '/build/source/libpolyml'
       > make[1]: *** [Makefile:729: all-recursive] Error 1
       > make[1]: Leaving directory '/build/source'
       > make: *** [Makefile:488: all] Error 2
       For full logs, run:
         nix log /nix/store/1mii7a7ajvshw5fdyaqga7iymx6wpwsm-polyml-x86_64-unknown-linux-gnufilc0-5.7.1.drv

error: Cannot build '/nix/store/qlvrfgrfp737kj7dj906p8g3lbgnbala-3dpong-x86_64-unknown-linux-gnufilc0-0.5.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/a5mdjppps55a2zr766fr24g39kdf4jkb-3dpong-x86_64-unknown-linux-gnufilc0-0.5
       Last 14 log lines:
       > Running phase: unpackPhase
       > unpacking source archive /nix/store/3abcxsqyjxmba1f15zvg127vxlrzh982-3dpong-0.5.tar.gz
       > source root is 3dpong-0.5
       > setting SOURCE_DATE_EPOCH to timestamp 1083221611 of file "3dpong-0.5/docs/CHANGES.txt"
       > Running phase: patchPhase
       > Running phase: updateAutotoolsGnuConfigScriptsPhase
       > Running phase: updateAutotoolsGnuConfigScriptsPhase
       > Running phase: configurePhase
       > no configure script, doing nothing
       > Running phase: buildPhase
       > build flags: SHELL=/nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash PREFIX=\$\(out\)
       > gcc	-I/usr/X11R6/include src/3dpong.c -c -o obj/3dpong.o
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash: line 1: gcc: command not found
       > make: *** [Makefile:79: obj/3dpong.o] Error 127
       For full logs, run:
         nix log /nix/store/qlvrfgrfp737kj7dj906p8g3lbgnbala-3dpong-x86_64-unknown-linux-gnufilc0-0.5.drv

error: Cannot build '/nix/store/7qbf5zrcfadc1m5j1qp1c7bj172hn0fp-corral-x86_64-unknown-linux-gnufilc0-0.8.2.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/bmy0fpz931z3q1cimvlkq1mlm86wyran-corral-x86_64-unknown-linux-gnufilc0-0.8.2
       Last 25 log lines:
       > Generating
       >  Reachability
       >  Selector painting
       >  Data prototypes
       >  Data types
       >  Function prototypes
       >  Functions
       >  Descriptors
       > Verifying
       > Writing build/release/corral.o
       > Linking build/release/corral
       > warning: Skipping impure flag -march=native because NIX_ENFORCE_NO_NATIVE is set
       > /nix/store/fmj1ilm5jk1hba6s3cv6gkpgsjvkxaqv-binutils-2.43.1/bin/ld.gold: error: build/release/corral.o: multiple definition of 'main'
       > /nix/store/fmj1ilm5jk1hba6s3cv6gkpgsjvkxaqv-binutils-2.43.1/bin/ld.gold: /nix/store/sn36kmszyx8bbq5fcz8xgwls8wdznj8p-filc-crt-lib/filc_crt.o: previous definition here
       > /nix/store/fmj1ilm5jk1hba6s3cv6gkpgsjvkxaqv-binutils-2.43.1/bin/ld.gold: error: cannot find -latomic
       > /nix/store/sn36kmszyx8bbq5fcz8xgwls8wdznj8p-filc-crt-lib/filc_crt.o:function main:(.text.unlikely.+0xb): error: undefined reference to 'pizlonated_main'
       > /nix/store/7qf9g5hdp5f75gbcy8qb5bxxg4ypvs2d-ponyc-0.59.0/lib/pony/0.59.0/bin/../lib/native/libponyrt-pic.a(posix_except.c.o):posix_except.c:function pony_error:(.text+0x44): error: undefined reference to '_Unwind_RaiseException'
       > /nix/store/7qf9g5hdp5f75gbcy8qb5bxxg4ypvs2d-ponyc-0.59.0/lib/pony/0.59.0/bin/../lib/native/libponyrt-pic.a(pool.c.o):pool.c:function pool_get.constprop.0:(.text+0x5e9): error: undefined reference to '__atomic_compare_exchange_16'
       > /nix/store/7qf9g5hdp5f75gbcy8qb5bxxg4ypvs2d-ponyc-0.59.0/lib/pony/0.59.0/bin/../lib/native/libponyrt-pic.a(pool.c.o):pool.c:function ponyint_pool_alloc:(.text+0x789): error: undefined reference to '__atomic_compare_exchange_16'
       > /nix/store/7qf9g5hdp5f75gbcy8qb5bxxg4ypvs2d-ponyc-0.59.0/lib/pony/0.59.0/bin/../lib/native/libponyrt-pic.a(pool.c.o):pool.c:function ponyint_pool_free:(.text+0x968): error: undefined reference to '__atomic_compare_exchange_16'
       > /nix/store/7qf9g5hdp5f75gbcy8qb5bxxg4ypvs2d-ponyc-0.59.0/lib/pony/0.59.0/bin/../lib/native/libponyrt-pic.a(pool.c.o):pool.c:function ponyint_pool_thread_cleanup:(.text+0xab6): error: undefined reference to '__atomic_compare_exchange_16'
       > clang-20: error: linker command failed with exit code 1 (use -v to see invocation)
       > Error:
       > unable to link: clang -o build/release/corral -O3 -march=native -mcx16  -fuse-ld=gold build/release/corral.o  -lpthread -L"/nix/store/7qf9g5hdp5f75gbcy8qb5bxxg4ypvs2d-ponyc-0.59.0/lib/pony/0.59.0/bin/" -Wl,-rpath,"/nix/store/7qf9g5hdp5f75gbcy8qb5bxxg4ypvs2d-ponyc-0.59.0/lib/pony/0.59.0/bin/" -L"/nix/store/7qf9g5hdp5f75gbcy8qb5bxxg4ypvs2d-ponyc-0.59.0/lib/pony/0.59.0/bin/../lib/native" -Wl,-rpath,"/nix/store/7qf9g5hdp5f75gbcy8qb5bxxg4ypvs2d-ponyc-0.59.0/lib/pony/0.59.0/bin/../lib/native" -L"/nix/store/7qf9g5hdp5f75gbcy8qb5bxxg4ypvs2d-ponyc-0.59.0/lib/pony/0.59.0/bin/../packages" -Wl,-rpath,"/nix/store/7qf9g5hdp5f75gbcy8qb5bxxg4ypvs2d-ponyc-0.59.0/lib/pony/0.59.0/bin/../packages" -L"/nix/store/5x9nmn51cszisf3gr829z2yq8y4hrnra-pcre2-10.44/lib" -Wl,-rpath,"/nix/store/5x9nmn51cszisf3gr829z2yq8y4hrnra-pcre2-10.44/lib" -L"/nix/store/adh72qn1r2c4nflkgkv3sdv7aag0p9z5-openssl-3.4.2/lib" -Wl,-rpath,"/nix/store/adh72qn1r2c4nflkgkv3sdv7aag0p9z5-openssl-3.4.2/lib" -L"/nix/store/7qf9g5hdp5f75gbcy8qb5bxxg4ypvs2d-ponyc-0.59.
       > make: *** [Makefile:76: build/release/corral] Error 255
       For full logs, run:
         nix log /nix/store/7qbf5zrcfadc1m5j1qp1c7bj172hn0fp-corral-x86_64-unknown-linux-gnufilc0-0.8.2.drv

error: Cannot build '/nix/store/5x79rn466k7ws2vkhrkipqkcb8882w9n-ponyc-x86_64-unknown-linux-gnufilc0-0.59.0.drv'.
       Reason: 1 dependency failed.
       Output paths:
         /nix/store/1cm0xjhkplc9cfywj68zkgm87v3ffsi9-ponyc-x86_64-unknown-linux-gnufilc0-0.59.0

error: Cannot build '/nix/store/fsb591wgqqwxams4ag3md74avnhcbp49-ponysay-x86_64-unknown-linux-gnufilc0-unstable-2021-03-27.drv'.
       Reason: builder failed with exit code 127.
       Output paths:
         /nix/store/ddcp8z1n2mg3k54949cajcjl6zjaivaj-ponysay-x86_64-unknown-linux-gnufilc0-unstable-2021-03-27
       Last 13 log lines:
       > Running phase: unpackPhase
       > unpacking source archive /nix/store/r2c6gpk87vp3gw0r3i9bd788by9q5dhl-source
       > source root is source
       > Running phase: patchPhase
       > Running phase: updateAutotoolsGnuConfigScriptsPhase
       > Running phase: updateAutotoolsGnuConfigScriptsPhase
       > Running phase: configurePhase
       > no configure script, doing nothing
       > Running phase: buildPhase
       > no Makefile or custom buildPhase, doing nothing
       > Running phase: installPhase
       > substituteStream() in derivation ponysay-x86_64-unknown-linux-gnufilc0-unstable-2021-03-27: WARNING: '--replace' is deprecated, use --replace-{fail,warn,quiet}. (file 'setup.py')
       > /nix/store/ls4rca5iy2gi4227mkdh0ihjxzcw797l-stdenv-linux/setup: line 1772: python3: command not found
       For full logs, run:
         nix log /nix/store/fsb591wgqqwxams4ag3md74avnhcbp49-ponysay-x86_64-unknown-linux-gnufilc0-unstable-2021-03-27.drv

error: Cannot build '/nix/store/74r6adpsgb44pi5j6fggffm920n7ymvx-popa3d-x86_64-unknown-linux-gnufilc0-1.0.3.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/k1bd16wasmm4mrr11n4p66xkqch5afnx-popa3d-x86_64-unknown-linux-gnufilc0-1.0.3
       Last 25 log lines:
       > patching file Makefile
       > applying patch /nix/store/lhl77jxgn0nxng1g73xlncq65chc91ik-use-glibc-crypt.patch
       > patching file Makefile
       > patching file auth_shadow.c
       > applying patch /nix/store/2jci4m0ilv14mjhdc5baddhbrcm86x18-enable-standalone-mode.patch
       > patching file params.h
       > Running phase: updateAutotoolsGnuConfigScriptsPhase
       > Running phase: updateAutotoolsGnuConfigScriptsPhase
       > Running phase: configurePhase
       > no configure script, doing nothing
       > Running phase: buildPhase
       > build flags: -j6 SHELL=/nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash PREFIX=\$\(out\) MANDIR=\$\(out\)/share/man
       > gcc -Wall -O2 -fomit-frame-pointer -DHAVE_OPENSSL -c version.c
       > gcc -Wall -O2 -fomit-frame-pointer -DHAVE_OPENSSL -c startup.c
       > gcc -Wall -O2 -fomit-frame-pointer -DHAVE_OPENSSL -c standalone.c
       > gcc -Wall -O2 -fomit-frame-pointer -DHAVE_OPENSSL -c virtual.c
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash: line 1: gcc: command not found
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash: line 1: gcc: command not found
       > make: *** [Makefile:66: version.o] Error 127
       > make: *** Waiting for unfinished jobs....
       > make: *** [Makefile:66: startup.o] Error 127
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash: line 1: gcc: command not found
       > make: *** [Makefile:66: standalone.o] Error 127
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash: line 1: gcc: command not found
       > make: *** [Makefile:66: virtual.o] Error 127
       For full logs, run:
         nix log /nix/store/74r6adpsgb44pi5j6fggffm920n7ymvx-popa3d-x86_64-unknown-linux-gnufilc0-1.0.3.drv

error: Cannot build '/nix/store/zpi9xaca16rfsg8i8d37xxhahxkckca1-potrace-x86_64-unknown-linux-gnufilc0-1.16.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/phx4cxvzdn4asf8d2p7hg9h165zy8c1f-potrace-x86_64-unknown-linux-gnufilc0-1.16
       Last 25 log lines:
       > mkbitmap-input-check.sh: test failed
       > Failed command: 43: ../src/mkbitmap -o /build/mkbitmap-input-check.sh-2.2POZC3 ./data/data1.bmp32bf
       > FAIL mkbitmap-input-check.sh (exit status: 1)
       >
       > ============================================================================
       > Testsuite summary for potrace 1.16
       > ============================================================================
       > # TOTAL: 8
       > # PASS:  3
       > # SKIP:  2
       > # XFAIL: 0
       > # FAIL:  3
       > # XPASS: 0
       > # ERROR: 0
       > ============================================================================
       > See check/test-suite.log
       > Please report to selinger at users.sourceforge.net
       > ============================================================================
       > make[3]: *** [Makefile:679: test-suite.log] Error 1
       > make[3]: Leaving directory '/build/potrace-1.16/check'
       > make[2]: *** [Makefile:787: check-TESTS] Error 2
       > make[2]: Leaving directory '/build/potrace-1.16/check'
       > make[1]: *** [Makefile:910: check-am] Error 2
       > make[1]: Leaving directory '/build/potrace-1.16/check'
       > make: *** [Makefile:408: check-recursive] Error 1
       For full logs, run:
         nix log /nix/store/zpi9xaca16rfsg8i8d37xxhahxkckca1-potrace-x86_64-unknown-linux-gnufilc0-1.16.drv

error: Cannot build '/nix/store/7r660x3i19za3pyl1l0sj1dnisnbmai7-powertop-x86_64-unknown-linux-gnufilc0-2.15.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/4maxjkmdgkn4fglhn4agjs0ld7jr9mpq-powertop-x86_64-unknown-linux-gnufilc0-2.15-man
         /nix/store/hzyfd0imnkfgsyqivxfpmwq95grbcymb-powertop-x86_64-unknown-linux-gnufilc0-2.15
       Last 25 log lines:
       >   CXX      tuning/powertop-tunable.o
       >   CXX      tuning/powertop-tuning.o
       >   CXX      tuning/powertop-tuningsysfs.o
       >   CXX      tuning/powertop-tuningusb.o
       >   CXX      tuning/powertop-tuningi2c.o
       >   CXX      tuning/powertop-wifi.o
       >   CXX      wakeup/powertop-wakeup.o
       >   CXX      wakeup/powertop-waketab.o
       >   CXX      wakeup/powertop-wakeup_ethernet.o
       >   CXX      wakeup/powertop-wakeup_usb.o
       >   CXXLD    powertop
       > calibrate/powertop-calibrate.o:calibrate.cpp:function pizlonatedFI4792_pow:(.text+0x12316): error: undefined reference to 'pizlonated_pow'
       > cpu/rapl/powertop-rapl_interface.o:rapl_interface.cpp:function pizlonatedFI403_exp2:(.text+0x9301): error: undefined reference to 'pizlonated_exp2'
       > devices/powertop-thinkpad-fan.o:thinkpad-fan.cpp:function pizlonatedFI4792_pow:(.text+0x2916): error: undefined reference to 'pizlonated_pow'
       > parameters/powertop-learn.o:learn.cpp:function pizlonatedFI4792_pow:(.text+0x34e6): error: undefined reference to 'pizlonated_pow'
       > parameters/powertop-learn.o:learn.cpp:function pizlonatedFI403_exp2:(.text+0x35c1): error: undefined reference to 'pizlonated_exp2'
       > parameters/powertop-parameters.o:parameters.cpp:function pizlonatedFI403_sqrt:(.text+0xd481): error: undefined reference to 'pizlonated_sqrt'
       > clang-20: error: linker command failed with exit code 1 (use -v to see invocation)
       > make[3]: *** [Makefile:938: powertop] Error 1
       > make[3]: Leaving directory '/build/source/src'
       > make[2]: *** [Makefile:661: all] Error 2
       > make[2]: Leaving directory '/build/source/src'
       > make[1]: *** [Makefile:465: all-recursive] Error 1
       > make[1]: Leaving directory '/build/source'
       > make: *** [Makefile:395: all] Error 2
       For full logs, run:
         nix log /nix/store/7r660x3i19za3pyl1l0sj1dnisnbmai7-powertop-x86_64-unknown-linux-gnufilc0-2.15.drv

error: Cannot build '/nix/store/qxpx4swz83f03bvdrq5w64lh2sildq6j-powwow-x86_64-unknown-linux-gnufilc0-1.2.23.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/aqzrz9dkjam7qxkxndd3p23nmhwsk7hb-powwow-x86_64-unknown-linux-gnufilc0-1.2.23
       Last 25 log lines:
       >   383 |     switch(tgetent(tcbuf, term)) {
       >       |                   ^
       > tty.c:409:28: warning: passing arguments to 'tgoto' without a prototype is deprecated in all versions of C and is not supported in C23 [-Wdeprecated-non-prototype]
       >   409 |     gotocost = strlen(tgoto(curgoto, cols - 1, lines - 1));
       >       |                            ^
       > tty.c:413:26: warning: passing arguments to 'tgetflag' without a prototype is deprecated in all versions of C and is not supported in C23 [-Wdeprecated-non-prototype]
       >   413 |     wrapglitch = tgetflag("xn");
       >       |                          ^
       > tty.c:508:22: warning: passing arguments to 'tgetstr' without a prototype is deprecated in all versions of C and is not supported in C23 [-Wdeprecated-non-prototype]
       >   508 |     char *s = tgetstr(cap, (bp = d, &bp));
       >       |                      ^
       > tty.c:533:19: warning: passing arguments to 'tgoto' without a prototype is deprecated in all versions of C and is not supported in C23 [-Wdeprecated-non-prototype]
       >   533 |     tty_puts(tgoto(curgoto, col, line));
       >       |                   ^
       > 5 warnings generated.
       > clang -DPACKAGE_NAME=\"powwow\" -DPACKAGE_TARNAME=\"powwow\" -DPACKAGE_VERSION=\"1.2.23\" -DPACKAGE_STRING=\"powwow\ 1.2.23\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"powwow\" -DVERSION=\"1.2.23\" -DHAVE_LIBDL=1 -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_STDLIB_H=1 -DHAVE_UNISTD_H=1 -DUSE_LOCALE=1 -DUSE_REGEXP=1 -DHAVE_STDLIB_H=1 -DHAVE_MALLOC=0 -Dmalloc=rpl_malloc -I.  -D_XOPEN_SOURCE=700 -DPOWWOW_DIR=\"/nix/store/aqzrz9dkjam7qxkxndd3p23nmhwsk7hb-powwow-x86_64-unknown-linux-gnufilc0-1.2.23/share/powwow\" -DPLUGIN_DIR=\"/nix/store/aqzrz9dkjam7qxkxndd3p23nmhwsk7hb-powwow-x86_64-unknown-linux-gnufilc0-1.2.23/lib/powwow\"   -g -O2 -c -o ptr.o ptr.c
       > clang  -g -O2 -rdynamic  -o powwow beam.o cmd.o log.o edit.o cmd2.o eval.o utils.o main.o tcp.o list.o map.o tty.o ptr.o  -lncurses
       > beam.o:beam.c:function pizlonatedFI142_rpl_malloc:(.text+0x5afd): error: undefined reference to 'pizlonated_rpl_malloc'
       > cmd.o:cmd.c:function pizlonatedFI142_rpl_malloc:(.text+0x27f1d): error: undefined reference to 'pizlonated_rpl_malloc'
       > log.o:log.c:function pizlonatedFI142_rpl_malloc:(.text+0x601d): error: undefined reference to 'pizlonated_rpl_malloc'
       > cmd2.o:cmd2.c:function pizlonatedFI142_rpl_malloc:(.text+0x1a0cd): error: undefined reference to 'pizlonated_rpl_malloc'
       > clang-20: error: linker command failed with exit code 1 (use -v to see invocation)
       > make[1]: *** [Makefile:412: powwow] Error 1
       > make[1]: Leaving directory '/build/powwow-1.2.23/src'
       > make: *** [Makefile:390: all-recursive] Error 1
       For full logs, run:
         nix log /nix/store/qxpx4swz83f03bvdrq5w64lh2sildq6j-powwow-x86_64-unknown-linux-gnufilc0-1.2.23.drv

error: Cannot build '/nix/store/9h8awg7hdingdxp8qpkz13xl3xv2gg74-ppl-x86_64-unknown-linux-gnufilc0-1.2.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/239672cslgxn85bi98q3y72qrq3mbl33-ppl-x86_64-unknown-linux-gnufilc0-1.2
       Last 25 log lines:
       > ./CO_Tree_inlines.hh:806:3: warning: unsafe pointer arithmetic [-Wunsafe-buffer-usage]
       >   806 |   p += (offset - 1);
       >       |   ^
       > ./CO_Tree_inlines.hh:808:7: warning: unsafe pointer arithmetic [-Wunsafe-buffer-usage]
       >   808 |     --p;
       >       |       ^
       > ./CO_Tree_inlines.hh:839:10: warning: unsafe buffer access [-Wunsafe-buffer-usage]
       >   839 |   return tree.data[i];
       >       |          ^~~~~~~~~
       > ./CO_Tree_inlines.hh:844:10: warning: unsafe buffer access [-Wunsafe-buffer-usage]
       >   844 |   return tree.data[i];
       >       |          ^~~~~~~~~
       > ./CO_Tree_inlines.hh:849:10: warning: unsafe buffer access [-Wunsafe-buffer-usage]
       >   849 |   return tree.indexes[i];
       >       |          ^~~~~~~~~~~~
       > ./CO_Tree_inlines.hh:854:10: warning: unsafe buffer access [-Wunsafe-buffer-usage]
       >   854 |   return tree.indexes[i];
       >       |          ^~~~~~~~~~~~
       > 158 warnings generated.
       > make[3]: Leaving directory '/build/ppl-1.2/src'
       > make[2]: *** [Makefile:1224: all] Error 2
       > make[2]: Leaving directory '/build/ppl-1.2/src'
       > make[1]: *** [Makefile:553: all-recursive] Error 1
       > make[1]: Leaving directory '/build/ppl-1.2'
       > make: *** [Makefile:482: all] Error 2
       For full logs, run:
         nix log /nix/store/9h8awg7hdingdxp8qpkz13xl3xv2gg74-ppl-x86_64-unknown-linux-gnufilc0-1.2.drv

error: Cannot build '/nix/store/wjwxzfdwxadb5b2mjlxnj8hjrn2gc93f-prelink-x86_64-unknown-linux-gnufilc0-20151030-unstable-2024-07-02.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/1ihmfc0mhsdmc0l1aaj106jybqcmjhc4-prelink-x86_64-unknown-linux-gnufilc0-20151030-unstable-2024-07-02
       Last 25 log lines:
       > libtool: compile:  clang -D_GNU_SOURCE -DHAVE_CONFIG_H -Wall -I. -I.. -I../gelfx -Wall -g -O2 -c gelf.c  -fPIC -DPIC -o .libs/gelf.o
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash ../libtool  --tag=CC   --mode=link clang -Wall -g -O2   -o libgelf.la  gelf.lo  -lelf
       > libtool: link: ar cr .libs/libgelf.a .libs/gelf.o
       > libtool: link: ranlib .libs/libgelf.a
       > libtool: link: ( cd ".libs" && rm -f "libgelf.la" && ln -s "../libgelf.la" "libgelf.la" )
       > make[2]: Leaving directory '/build/prelink-cross-ff2561c/gelf'
       > Making all in src
       > make[2]: Entering directory '/build/prelink-cross-ff2561c/src'
       > clang -D_GNU_SOURCE -DHAVE_CONFIG_H -Wall -Wno-pointer-sign -I. -I..  -DSBINDIR='"/nix/store/1ihmfc0mhsdmc0l1aaj106jybqcmjhc4-prelink-x86_64-unknown-linux-gnufilc0-20151030-unstable-2024-07-02/sbin"' -DBINDIR='"/nix/store/1ihmfc0mhsdmc0l1aaj106jybqcmjhc4-prelink-x86_64-unknown-linux-gnufilc0-20151030-unstable-2024-07-02/bin"' -DEXECSTACK_PROG="\"`echo execstack | sed 's,x,x,'`\"" -DPRELINK_PROG="\"`echo prelink | sed 's,x,x,'`\"" -DEXEEXT='""' -DPKGVERSION="\"\"" -DREPORT_BUGS_TO="\"<mark.hatle@windriver.com>\"" -I../gelfx  -Wall -Wno-pointer-sign -g -O2 -c -o execstack.o execstack.c
       > clang -D_GNU_SOURCE -DHAVE_CONFIG_H -Wall -Wno-pointer-sign -I. -I..  -DSBINDIR='"/nix/store/1ihmfc0mhsdmc0l1aaj106jybqcmjhc4-prelink-x86_64-unknown-linux-gnufilc0-20151030-unstable-2024-07-02/sbin"' -DBINDIR='"/nix/store/1ihmfc0mhsdmc0l1aaj106jybqcmjhc4-prelink-x86_64-unknown-linux-gnufilc0-20151030-unstable-2024-07-02/bin"' -DEXECSTACK_PROG="\"`echo execstack | sed 's,x,x,'`\"" -DPRELINK_PROG="\"`echo prelink | sed 's,x,x,'`\"" -DEXEEXT='""' -DPKGVERSION="\"\"" -DREPORT_BUGS_TO="\"<mark.hatle@windriver.com>\"" -I../gelfx  -Wall -Wno-pointer-sign -g -O2 -c -o checksum.o checksum.c
       > clang -D_GNU_SOURCE -DHAVE_CONFIG_H -Wall -Wno-pointer-sign -I. -I..  -DSBINDIR='"/nix/store/1ihmfc0mhsdmc0l1aaj106jybqcmjhc4-prelink-x86_64-unknown-linux-gnufilc0-20151030-unstable-2024-07-02/sbin"' -DBINDIR='"/nix/store/1ihmfc0mhsdmc0l1aaj106jybqcmjhc4-prelink-x86_64-unknown-linux-gnufilc0-20151030-unstable-2024-07-02/bin"' -DEXECSTACK_PROG="\"`echo execstack | sed 's,x,x,'`\"" -DPRELINK_PROG="\"`echo prelink | sed 's,x,x,'`\"" -DEXEEXT='""' -DPKGVERSION="\"\"" -DREPORT_BUGS_TO="\"<mark.hatle@windriver.com>\"" -I../gelfx  -Wall -Wno-pointer-sign -g -O2 -c -o data.o data.c
       > clang -D_GNU_SOURCE -DHAVE_CONFIG_H -Wall -Wno-pointer-sign -I. -I..  -DSBINDIR='"/nix/store/1ihmfc0mhsdmc0l1aaj106jybqcmjhc4-prelink-x86_64-unknown-linux-gnufilc0-20151030-unstable-2024-07-02/sbin"' -DBINDIR='"/nix/store/1ihmfc0mhsdmc0l1aaj106jybqcmjhc4-prelink-x86_64-unknown-linux-gnufilc0-20151030-unstable-2024-07-02/bin"' -DEXECSTACK_PROG="\"`echo execstack | sed 's,x,x,'`\"" -DPRELINK_PROG="\"`echo prelink | sed 's,x,x,'`\"" -DEXEEXT='""' -DPKGVERSION="\"\"" -DREPORT_BUGS_TO="\"<mark.hatle@windriver.com>\"" -I../gelfx  -Wall -Wno-pointer-sign -g -O2 -c -o dso.o dso.c
       > clang -D_GNU_SOURCE -DHAVE_CONFIG_H -Wall -Wno-pointer-sign -I. -I..  -DSBINDIR='"/nix/store/1ihmfc0mhsdmc0l1aaj106jybqcmjhc4-prelink-x86_64-unknown-linux-gnufilc0-20151030-unstable-2024-07-02/sbin"' -DBINDIR='"/nix/store/1ihmfc0mhsdmc0l1aaj106jybqcmjhc4-prelink-x86_64-unknown-linux-gnufilc0-20151030-unstable-2024-07-02/bin"' -DEXECSTACK_PROG="\"`echo execstack | sed 's,x,x,'`\"" -DPRELINK_PROG="\"`echo prelink | sed 's,x,x,'`\"" -DEXEEXT='""' -DPKGVERSION="\"\"" -DREPORT_BUGS_TO="\"<mark.hatle@windriver.com>\"" -I../gelfx  -Wall -Wno-pointer-sign -g -O2 -c -o dwarf2.o dwarf2.c
       > clang -D_GNU_SOURCE -DHAVE_CONFIG_H -Wall -Wno-pointer-sign -I. -I..  -DSBINDIR='"/nix/store/1ihmfc0mhsdmc0l1aaj106jybqcmjhc4-prelink-x86_64-unknown-linux-gnufilc0-20151030-unstable-2024-07-02/sbin"' -DBINDIR='"/nix/store/1ihmfc0mhsdmc0l1aaj106jybqcmjhc4-prelink-x86_64-unknown-linux-gnufilc0-20151030-unstable-2024-07-02/bin"' -DEXECSTACK_PROG="\"`echo execstack | sed 's,x,x,'`\"" -DPRELINK_PROG="\"`echo prelink | sed 's,x,x,'`\"" -DEXEEXT='""' -DPKGVERSION="\"\"" -DREPORT_BUGS_TO="\"<mark.hatle@windriver.com>\"" -I../gelfx  -Wall -Wno-pointer-sign -g -O2 -c -o fptr.o fptr.c
       > execstack.c:131:9: error: call to undeclared library function 'vfork' with type 'int (void)'; ISO C99 and later do not support implicit function declarations [-Wimplicit-function-declaration]
       >   131 |   pid = vfork ();
       >       |         ^
       > execstack.c:131:9: note: include the header <unistd.h> or explicitly provide a declaration for 'vfork'
       > 1 error generated.
       > make[2]: *** [Makefile:581: execstack.o] Error 1
       > make[2]: *** Waiting for unfinished jobs....
       > make[2]: Leaving directory '/build/prelink-cross-ff2561c/src'
       > make[1]: *** [Makefile:413: all-recursive] Error 1
       > make[1]: Leaving directory '/build/prelink-cross-ff2561c'
       > make: *** [Makefile:345: all] Error 2
       For full logs, run:
         nix log /nix/store/wjwxzfdwxadb5b2mjlxnj8hjrn2gc93f-prelink-x86_64-unknown-linux-gnufilc0-20151030-unstable-2024-07-02.drv

error: Cannot build '/nix/store/kj3rrg31qxgplc9mhdvmj5wgd6w3qrcy-presage-x86_64-unknown-linux-gnufilc0-0.9.1.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/ax9bd8lsnwczd322jg5bzal3lkkk7g6w-presage-x86_64-unknown-linux-gnufilc0-0.9.1
       Last 25 log lines:
       > 4  libc.so.6 0x00007ffff7c9984c
       > 5  libc.so.6 0x00007ffff7c41406 gsignal + 22
       > 6  libc.so.6 0x00007ffff7c2893a abort + 215
       > 7  clang-20  0x000000000202af5a
       > 8  clang-20  0x0000000002b27c67
       > 9  clang-20  0x0000000002b40160
       > 10 clang-20  0x0000000002a1bea4 clang::driver::Driver::BuildJobsForActionNoCache(clang::driver::Compilation&, clang::driver::Action const*, clang::driver::ToolChain const*, llvm::StringRef, bool, bool, char const*, std::map<std::pair<clang::driver::Action const*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>, llvm::SmallVector<clang::driver::InputInfo, 4u>, std::less<std::pair<clang::driver::Action const*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>, std::allocator<std::pair<std::pair<clang::driver::Action const*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>> const, llvm::SmallVector<clang::driver::InputInfo, 4u>>>>&, clang::driver::Action::OffloadKind) const + 6116
       > 11 clang-20  0x0000000002a1d5a7 clang::driver::Driver::BuildJobsForAction(clang::driver::Compilation&, clang::driver::Action const*, clang::driver::ToolChain const*, llvm::StringRef, bool, bool, char const*, std::map<std::pair<clang::driver::Action const*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>, llvm::SmallVector<clang::driver::InputInfo, 4u>, std::less<std::pair<clang::driver::Action const*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>, std::allocator<std::pair<std::pair<clang::driver::Action const*, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>> const, llvm::SmallVector<clang::driver::InputInfo, 4u>>>>&, clang::driver::Action::OffloadKind) const + 423
       > 12 clang-20  0x0000000002a1e059 clang::driver::Driver::BuildJobs(clang::driver::Compilation&) const + 505
       > 13 clang-20  0x0000000002a2f7b5 clang::driver::Driver::BuildCompilation(llvm::ArrayRef<char const*>) + 11605
       > 14 clang-20  0x0000000000c78328 clang_main(int, char**, llvm::ToolContext const&) + 3560
       > 15 clang-20  0x0000000000b840d4 main + 100
       > 16 libc.so.6 0x00007ffff7c2a47e
       > 17 libc.so.6 0x00007ffff7c2a539 __libc_start_main + 137
       > 18 clang-20  0x0000000000c74ed5 _start + 37
       > ../../libtool: line 10927:  6510 Aborted                 clang++ -fPIC -DPIC -shared -nostdlib /nix/store/sn36kmszyx8bbq5fcz8xgwls8wdznj8p-filc-crt-lib/crti.o /nix/store/sn36kmszyx8bbq5fcz8xgwls8wdznj8p-filc-crt-lib/crtbegin.o .libs/libpresage_la-presage.o -Wl,--whole-archive core/.libs/libcore.a predictors/.libs/libpredictors.a -Wl,--no-whole-archive -Wl,-rpath -Wl,/nix/store/vnnszq8p282hd4rf64q3c939d2d0ksi8-sqlite-interactive-x86_64-unknown-linux-gnufilc0-3.48.0/lib -Wl,-rpath -Wl,/nix/store/vnnszq8p282hd4rf64q3c939d2d0ksi8-sqlite-interactive-x86_64-unknown-linux-gnufilc0-3.48.0/lib -L/usr/local/lib -lm /nix/store/vnnszq8p282hd4rf64q3c939d2d0ksi8-sqlite-interactive-x86_64-unknown-linux-gnufilc0-3.48.0/lib/libsqlite3.so -ltinyxml -L/nix/store/8hc83l288p7fyb6z7mm2zk80dvqmk7gi-filc-glibc-2.40/lib -L/nix/store/7fsmzzzgkjq3dma1vz6406199xqqz1v3-filc-libcxx-git/lib -L/nix/store/z7jh2py1rrxw3dphnhn6xcspzmsmn8y7-expat-2.7.1-x86_64-unknown-linux-gnufilc0/lib -L/nix/store/fn3z39ywpmsf6pamn7nri3fr2aqam4hi-dbus-x86_64-unknown-linux-gnufilc0-1.14.10-lib/lib -L/nix/store/vnnszq8p282hd4rf64q3c939d2d0ksi8-sqlite-interactive-x86_64-unknown-linux-gnufilc0-3.48.0/lib -L/nix/store/rqh0bcbv0yg1zipjbivsvxiniicvihh9-tinyxml-x86_64-unknown-linux-gnufilc0-2.6.2/lib -L/nix/store/14i07vk4qkfcdyyha9amqryg033l3xcf-filc-sysroot-with-metadata/lib -L/nix/store/31l6alfx8axrfkp0zxza3z7f7gxzi8b3-filc-cc/lib -L/nix/store/sn36kmszyx8bbq5fcz8xgwls8wdznj8p-filc-crt-lib -lc++ -lc++abi -lc -lpizlo -lyoloc -lyolom -lyolort -lyolounwind /nix/store/sn36kmszyx8bbq5fcz8xgwls8wdznj8p-filc-crt-lib/crtend.o /nix/store/sn36kmszyx8bbq5fcz8xgwls8wdznj8p-filc-crt-lib/crtn.o -g -O2 -Wl,--version-script -Wl,./libpresage.map -Wl,-soname -Wl,libpresage.so.1 -o .libs/libpresage.so.1.1.1
       > make[4]: *** [Makefile:540: libpresage.la] Error 134
       > make[4]: Leaving directory '/build/presage-0.9.1/src/lib'
       > make[3]: *** [Makefile:618: all-recursive] Error 1
       > make[3]: Leaving directory '/build/presage-0.9.1/src/lib'
       > make[2]: *** [Makefile:407: all-recursive] Error 1
       > make[2]: Leaving directory '/build/presage-0.9.1/src'
       > make[1]: *** [Makefile:462: all-recursive] Error 1
       > make[1]: Leaving directory '/build/presage-0.9.1'
       > make: *** [Makefile:394: all] Error 2
       For full logs, run:
         nix log /nix/store/kj3rrg31qxgplc9mhdvmj5wgd6w3qrcy-presage-x86_64-unknown-linux-gnufilc0-0.9.1.drv

error: build of '/nix/store/1mii7a7ajvshw5fdyaqga7iymx6wpwsm-polyml-x86_64-unknown-linux-gnufilc0-5.7.1.drv^*', '/nix/store/5x79rn466k7ws2vkhrkipqkcb8882w9n-ponyc-x86_64-unknown-linux-gnufilc0-0.59.0.drv^*', '/nix/store/74r6adpsgb44pi5j6fggffm920n7ymvx-popa3d-x86_64-unknown-linux-gnufilc0-1.0.3.drv^*', '/nix/store/7qbf5zrcfadc1m5j1qp1c7bj172hn0fp-corral-x86_64-unknown-linux-gnufilc0-0.8.2.drv^*', '/nix/store/7r660x3i19za3pyl1l0sj1dnisnbmai7-powertop-x86_64-unknown-linux-gnufilc0-2.15.drv^*', '/nix/store/9h8awg7hdingdxp8qpkz13xl3xv2gg74-ppl-x86_64-unknown-linux-gnufilc0-1.2.drv^*', '/nix/store/fsb591wgqqwxams4ag3md74avnhcbp49-ponysay-x86_64-unknown-linux-gnufilc0-unstable-2021-03-27.drv^*', '/nix/store/kj3rrg31qxgplc9mhdvmj5wgd6w3qrcy-presage-x86_64-unknown-linux-gnufilc0-0.9.1.drv^*', '/nix/store/qlvrfgrfp737kj7dj906p8g3lbgnbala-3dpong-x86_64-unknown-linux-gnufilc0-0.5.drv^*', '/nix/store/qxpx4swz83f03bvdrq5w64lh2sildq6j-powwow-x86_64-unknown-linux-gnufilc0-1.2.23.drv^*', '/nix/store/wjwxzfdwxadb5b2mjlxnj8hjrn2gc93f-prelink-x86_64-unknown-linux-gnufilc0-20151030-unstable-2024-07-02.drv^*', '/nix/store/zpi9xaca16rfsg8i8d37xxhahxkckca1-potrace-x86_64-unknown-linux-gnufilc0-1.16.drv^*' failed