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

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

src/util/inf_rational.cpp

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/util/mpbq.cpp

src/util/mpf.cpp

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

src/util/params.cpp

src/util/rational.cpp

src/util/s_integer.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/util/sexpr.cpp

src/util/tbv.cpp

autoreconf: configure.ac: tracing

src/api/dll/mem_initializer.cpp

autoreconf: running: libtoolize --copy --force

libtoolize: putting auxiliary files in '.'.

libtoolize: copying file './ltmain.sh'

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

src/sat/sat_clause.cpp

src/sat/sat_clause_set.cpp

src/sat/sat_clause_use_list.cpp

src/sat/sat_watched.cpp

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

src/ast/sls/sls_bv_valuation.cpp

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

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/r3a8l66kw18h0fdyhcqi21c48dxlm9y1-powertop-x86_64-unknown-linux-gnufilc0-2.15 --bindir=/nix/store/r3a8l66kw18h0fdyhcqi21c48dxlm9y1-powertop-x86_64-unknown-linux-gnufilc0-2.15/bin --sbindir=/nix/store/r3a8l66kw18h0fdyhcqi21c48dxlm9y1-powertop-x86_64-unknown-linux-gnufilc0-2.15/sbin --includedir=/nix/store/r3a8l66kw18h0fdyhcqi21c48dxlm9y1-powertop-x86_64-unknown-linux-gnufilc0-2.15/include --mandir=/nix/store/3jwjv367kl861q3al10isiqaafxv8r82-powertop-x86_64-unknown-linux-gnufilc0-2.15-man/share/man --infodir=/nix/store/r3a8l66kw18h0fdyhcqi21c48dxlm9y1-powertop-x86_64-unknown-linux-gnufilc0-2.15/share/info --docdir=/nix/store/r3a8l66kw18h0fdyhcqi21c48dxlm9y1-powertop-x86_64-unknown-linux-gnufilc0-2.15/share/doc/powertop --libdir=/nix/store/r3a8l66kw18h0fdyhcqi21c48dxlm9y1-powertop-x86_64-unknown-linux-gnufilc0-2.15/lib --libexecdir=/nix/store/r3a8l66kw18h0fdyhcqi21c48dxlm9y1-powertop-x86_64-unknown-linux-gnufilc0-2.15/libexec --localedir=/nix/store/r3a8l66kw18h0fdyhcqi21c48dxlm9y1-powertop-x86_64-unknown-linux-gnufilc0-2.15/share/locale --build=x86_64-unknown-linux-gnu --host=x86_64-unknown-linux-gnufilc0

src/math/subpaving/subpaving.cpp

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

src/math/subpaving/subpaving_hwf.cpp

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/math/subpaving/subpaving_mpf.cpp

checking for suffix of executables... 

checking whether we are cross compiling... yes

src/math/subpaving/subpaving_mpff.cpp

checking for suffix of object files... o

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

src/math/subpaving/subpaving_mpfx.cpp

checking for wchar.h... yes

checking for minix/config.h... no

checking for sys/param.h... yes

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

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

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

src/math/subpaving/subpaving_mpq.cpp

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

src/math/hilbert/hilbert_basis.cpp

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

src/math/simplex/simplex.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

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

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

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

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/math/dd/dd_bdd.cpp

src/util/inf_s_integer.cpp

src/util/zstring.cpp

src/muz/spacer/spacer_arith_kernel.cpp

  CC       parse-filter.lo

src/muz/base/bind_variables.cpp

src/smt/uses_theory.cpp

src/nlsat/nlsat_types.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/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

  CXX      powertop-display.o

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

  CXX      powertop-lib.o

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

  CXX      powertop-main.o

src/ast/occurs.cpp

src/ast/pp.cpp

src/ast/quantifier_stat.cpp

  CXX      calibrate/powertop-calibrate.o

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

  CXX      cpu/powertop-abstract_cpu.o

src/shell/gparams_register_modules.cpp

src/smt/smt_value_sort.cpp

  CXX      cpu/powertop-cpu.o

src/ackermannization/ackr_helper.cpp

src/math/lp/lp_settings.cpp

src/math/lp/nex_creator.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

  CXX      cpu/powertop-cpu_core.o

src/ast/expr_functors.cpp

src/ast/macro_substitution.cpp

  CXX      cpu/powertop-cpu_linux.o

src/ast/special_relations_decl_plugin.cpp

src/math/polynomial/rpolynomial.cpp

src/math/polynomial/sexpr2upolynomial.cpp

src/math/polynomial/upolynomial.cpp

  CXX      cpu/powertop-cpu_package.o

src/smt/arith_eq_solver.cpp

src/math/lp/indexed_vector.cpp

  CXX      cpu/powertop-cpu_rapl_device.o

src/nlsat/nlsat_evaluator.cpp

src/nlsat/nlsat_simple_checker.cpp

src/nlsat/nlsat_simplify.cpp

src/nlsat/nlsat_variable_ordering_strategy.cpp

  CXX      cpu/powertop-cpudevice.o

  CXX      cpu/powertop-dram_rapl_device.o

src/sat/dimacs.cpp

src/sat/sat_aig_finder.cpp

  CXX      cpu/powertop-intel_cpus.o

src/sat/sat_asymm_branch.cpp

src/sat/sat_bcd.cpp

src/sat/sat_big.cpp

  CXX      cpu/powertop-intel_gpu.o

src/sat/sat_cleaner.cpp

src/sat/sat_cut_simplifier.cpp

  CXX      cpu/rapl/powertop-rapl_interface.o

src/sat/sat_ddfw_wrapper.cpp

src/sat/sat_drat.cpp

  CXX      devices/powertop-ahci.o

src/sat/sat_elim_eqs.cpp

src/sat/sat_gc.cpp

src/sat/sat_integrity_checker.cpp

src/sat/sat_local_search.cpp

src/sat/sat_lookahead.cpp

  CXX      devices/powertop-alsa.o

  CXX      devices/powertop-backlight.o

src/sat/sat_lut_finder.cpp

src/sat/sat_model_converter.cpp

src/sat/sat_mus.cpp

src/sat/sat_npn3_finder.cpp

  CXX      devices/powertop-devfreq.o

src/sat/sat_parallel.cpp

src/sat/sat_prob.cpp

  CXX      devices/powertop-device.o

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

  CXX      devices/powertop-gpu_rapl_device.o

src/sat/sat_xor_finder.cpp

  CXX      devices/powertop-i915-gpu.o

src/model/struct_factory.cpp

src/ast/rewriter/char_rewriter.cpp

src/ast/rewriter/distribute_forall.cpp

  CXX      devices/powertop-network.o

src/ast/rewriter/dl_rewriter.cpp

src/ast/rewriter/mk_simplified_app.cpp

src/ast/euf/euf_arith_plugin.cpp

  CXX      devices/powertop-rfkill.o

src/ast/euf/euf_enode.cpp

src/ast/euf/euf_plugin.cpp

src/ast/euf/euf_specrel_plugin.cpp

  CXX      devices/powertop-runtime_pm.o

src/ast/value_generator.cpp

src/math/polynomial/algebraic_numbers.cpp

src/math/polynomial/polynomial.cpp

  CXX      devices/powertop-thinkpad-fan.o

src/math/polynomial/upolynomial_factorization.cpp

src/shell/drat_frontend.cpp

  CXX      devices/powertop-thinkpad-light.o

src/opt/totalizer.cpp

  CXX      devices/powertop-usb.o

src/muz/spacer/spacer_mev_array.cpp

  CXX      measurement/powertop-acpi.o

src/smt/fingerprints.cpp

  CXX      measurement/powertop-extech.o

src/smt/smt_almost_cg_table.cpp

src/smt/smt_clause.cpp

  CXX      measurement/powertop-measurement.o

src/smt/smt_farkas_util.cpp

src/smt/smt_literal.cpp

  CXX      measurement/powertop-sysfs.o

src/smt/theory_opt.cpp

src/smt/watch_list.cpp

  CXX      measurement/powertop-opal-sensors.o

src/smt/proto_model/proto_model.cpp

  CXX      parameters/powertop-learn.o

src/math/subpaving/tactic/expr2subpaving.cpp

src/tactic/arith/bv2real_rewriter.cpp

  CXX      parameters/powertop-parameters.o

src/ast/fpa/bv2fpa_converter.cpp

src/ast/fpa/fpa2bv_converter.cpp

  CXX      parameters/powertop-persistent.o

src/ast/fpa/fpa2bv_rewriter.cpp

src/cmd_context/pdecl.cpp

src/solver/check_logic.cpp

  CXX      perf/powertop-perf.o

  CXX      perf/powertop-perf_bundle.o

src/qe/lite/qel.cpp

src/qe/mbp/mbp_arith.cpp

  CXX      process/powertop-do_process.o

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

  CXX      process/powertop-interrupt.o

  CXX      process/powertop-powerconsumer.o

src/qe/mbp/mbp_solve_plugin.cpp

  CXX      process/powertop-process.o

src/qe/mbp/mbp_term_graph.cpp

src/ast/simplifiers/bound_manager.cpp

src/ast/proofs/proof_checker.cpp

  CXX      process/powertop-processdevice.o

  CXX      process/powertop-timer.o

src/ast/proofs/proof_utils.cpp

src/math/lp/dense_matrix.cpp

  CXX      process/powertop-work.o

src/math/lp/matrix.cpp

src/math/lp/permutation_matrix.cpp

src/nlsat/nlsat_explain.cpp

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

src/nlsat/nlsat_solver.cpp

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

src/sat/sat_aig_cuts.cpp

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

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

src/sat/sat_anf_simplifier.cpp

  CXX      report/powertop-report-maker.o

src/ast/sls/sls_datatype_plugin.cpp

  CXX      report/powertop-report.o

src/ast/sls/sls_euf_plugin.cpp

  CXX      tuning/powertop-bluetooth.o

src/ast/sls/sls_seq_plugin.cpp

src/ast/sls/sls_smt_plugin.cpp

  CXX      tuning/powertop-ethernet.o

src/ast/converters/equiv_proof_converter.cpp

  CC       tuning/powertop-iw.o

  CXX      tuning/powertop-runtime.o

  CXX      tuning/powertop-tunable.o

src/ast/converters/proof_converter.cpp

src/ast/converters/replace_proof_converter.cpp

  CXX      tuning/powertop-tuning.o

src/model/array_factory.cpp

src/model/datatype_factory.cpp

src/model/func_interp.cpp

src/model/model.cpp

src/model/model2expr.cpp

  CXX      tuning/powertop-tuningsysfs.o

src/model/model_core.cpp

  CXX      tuning/powertop-tuningusb.o

src/model/model_pp.cpp

src/model/model_smt2_pp.cpp

  CXX      tuning/powertop-tuningi2c.o

src/model/model_v2_pp.cpp

src/model/numeral_factory.cpp

  CXX      tuning/powertop-wifi.o

src/model/value_factory.cpp

  CXX      wakeup/powertop-wakeup.o

src/ast/macros/macro_util.cpp

src/ast/macros/quantifier_macro_info.cpp

  CXX      wakeup/powertop-waketab.o

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

  CXX      wakeup/powertop-wakeup_ethernet.o

src/ast/normal_forms/pull_quant.cpp

src/ast/rewriter/arith_rewriter.cpp

  CXX      wakeup/powertop-wakeup_usb.o

  CXXLD    powertop

src/ast/rewriter/array_rewriter.cpp

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

cpu/rapl/powertop-rapl_interface.o:rapl_interface.cpp:function pizlonatedFI403_exp2:(.text+0x9381): 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

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

src/ast/expr2polynomial.cpp

src/ast/expr2var.cpp

src/ast/expr_abstract.cpp

src/ast/expr_substitution.cpp

src/ast/fpa_decl_plugin.cpp

src/ast/pb_decl_plugin.cpp

src/ast/polymorphism_inst.cpp

src/ast/polymorphism_util.cpp

src/ast/recfun_decl_plugin.cpp

src/ast/reg_decl_plugins.cpp

src/ast/seq_decl_plugin.cpp

src/ast/shared_occs.cpp

src/ast/static_features.cpp

src/ast/well_sorted.cpp

src/opt/pb_sls.cpp

src/muz/spacer/spacer_antiunify.cpp

src/muz/spacer/spacer_mbc.cpp

src/muz/spacer/spacer_sem_matcher.cpp

src/muz/base/dl_boogie_proof.cpp

src/qe/nlarith_util.cpp

src/qe/qe_array_plugin.cpp

src/qe/qe_bool_plugin.cpp

src/qe/qe_bv_plugin.cpp

src/qe/qe_datatype_plugin.cpp

src/qe/qe_dl_plugin.cpp

src/sat/smt/pb_constraint.cpp

src/smt/smt_cg_table.cpp

src/ackermannization/lackr_model_constructor.cpp

src/ast/pattern/pattern_inference.cpp

src/ast/substitution/demodulator_rewriter.cpp

src/ast/substitution/matcher.cpp

src/ast/substitution/substitution.cpp

src/ast/substitution/substitution_tree.cpp

src/ast/substitution/unifier.cpp

src/ast/rewriter/bit_blaster/bit_blaster.cpp

src/ast/rewriter/bit_blaster/bit_blaster_rewriter.cpp

src/ast/sls/sls_array_plugin.cpp

src/ast/sls/sls_basic_plugin.cpp

src/ast/sls/sls_bv_terms.cpp

src/ast/sls/sls_smt_solver.cpp

src/model/model_evaluator.cpp

src/model/model_implicant.cpp

src/model/model_macro_solver.cpp

src/ast/macros/macro_manager.cpp

src/ast/macros/quasi_macros.cpp

src/ast/rewriter/seq_eq_solver.cpp

src/ast/rewriter/value_sweep.cpp

src/params/smt_params.cpp

src/ast/ast_pp_util.cpp

src/muz/spacer/spacer_cluster_util.cpp

src/muz/spacer/spacer_iuc_proof.cpp

src/muz/spacer/spacer_sym_mux.cpp

src/muz/spacer/spacer_unsat_core_learner.cpp

src/tactic/bv/bit_blaster_model_converter.cpp

src/ackermannization/ackr_model_converter.cpp

src/ast/sls/sls_arith_base.cpp

src/ast/sls/sls_arith_clausal.cpp

src/ast/sls/sls_arith_lookahead.cpp

src/ast/sls/sls_bv_engine.cpp

src/ast/sls/sls_bv_eval.cpp

src/ast/sls/sls_bv_fixed.cpp

src/ast/sls/sls_bv_lookahead.cpp

src/ast/converters/model_converter.cpp

src/ast/macros/macro_finder.cpp

src/tactic/fpa/fpa2bv_model_converter.cpp

src/tactic/smtlogics/qfufbv_ackr_model_converter.cpp

src/muz/spacer/spacer_convex_closure.cpp

src/sat/smt/atom2bool_var.cpp

src/sat/smt/bv_ackerman.cpp

src/sat/smt/pb_pb.cpp

src/tactic/arith/bv2int_rewriter.cpp

src/tactic/arith/pb2bv_model_converter.cpp

src/tactic/arith/probe_arith.cpp

src/tactic/core/collect_occs.cpp

src/ackermannization/ackermannize_bv_model_converter.cpp

src/ackermannization/lackr_model_converter_lazy.cpp

src/tactic/aig/aig.cpp

src/solver/check_sat_result.cpp

src/qe/mbp/mbp_arrays_tg.cpp

src/qe/mbp/mbp_basic_tg.cpp

src/qe/mbp/mbp_dt_tg.cpp

src/qe/mbp/mbp_qel.cpp

src/tactic/dependency_converter.cpp

src/tactic/goal.cpp

src/tactic/goal_num_occurs.cpp

src/tactic/goal_shared_occs.cpp

src/tactic/goal_util.cpp

src/tactic/probe.cpp

src/math/lp/core_solver_pretty_printer.cpp

src/math/lp/lp_core_solver_base.cpp

src/ast/sls/bvsls_opt_engine.cpp

src/ast/sls/sls_arith_plugin.cpp

src/ast/sls/sls_bv_plugin.cpp

src/ast/sls/sls_context.cpp

src/ast/converters/expr_inverter.cpp

src/ast/converters/generic_model_converter.cpp

src/ast/converters/horn_subsume_model_converter.cpp

src/tactic/portfolio/default_tactic.cpp

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

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

src/muz/base/hnf.cpp

src/tactic/fd_solver/fd_solver.cpp

src/qe/qe_mbi.cpp

src/qe/qe_tactic.cpp

src/tactic/bv/bit_blaster_tactic.cpp

src/tactic/bv/bv1_blaster_tactic.cpp

src/tactic/bv/bv_bound_chk_tactic.cpp

src/tactic/bv/bv_size_reduction_tactic.cpp

src/tactic/bv/bvarray2uf_rewriter.cpp

src/tactic/bv/bvarray2uf_tactic.cpp

src/tactic/bv/dt2bv_tactic.cpp

src/tactic/bv/elim_small_bv_tactic.cpp

src/nlsat/tactic/goal2nlsat.cpp

src/nlsat/tactic/nlsat_tactic.cpp

src/sat/tactic/sat_tactic.cpp

src/sat/smt/pb_card.cpp

src/sat/smt/tseitin_theory_checker.cpp

src/smt/smt_implied_equalities.cpp

src/math/subpaving/tactic/subpaving_tactic.cpp

src/tactic/arith/add_bounds_tactic.cpp

src/tactic/arith/arith_bounds_tactic.cpp

src/tactic/arith/degree_shift_tactic.cpp

src/tactic/arith/diff_neq_tactic.cpp

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

src/tactic/arith/lia2card_tactic.cpp

src/tactic/arith/lia2pb_tactic.cpp

src/tactic/arith/nla2bv_tactic.cpp

src/tactic/arith/normalize_bounds_tactic.cpp

src/tactic/arith/pb2bv_tactic.cpp

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

src/tactic/core/cofactor_term_ite_tactic.cpp

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+0x8131): error: undefined reference to 'pizlonated_exp2'

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

ast/fpa/fpa.a(fpa2bv_converter.o):fpa2bv_converter.cpp:function pizlonatedFI403_log:(.text+0x1d2941): 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+0x6ae51): error: undefined reference to 'pizlonated_exp2'

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

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

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

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

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

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

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

ast/sls/ast_sls.a(sls_bv_engine.o):sls_bv_engine.cpp:function pizlonatedFI403_sqrt:(.text+0x16a51): 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+0x33eb1): error: undefined reference to 'pizlonated_sqrt'

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

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

util/util.a(hwf.o):hwf.cpp:function pizlonatedFI4792_remainder:(.text+0xbb16): 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/ncay2fg3w3ys4yj6ibyfjzjphav67j62-z3-x86_64-unknown-linux-gnufilc0-4.15.1.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/23sdh7qpf7gi6v8rjmyc8r7whh9c42a7-z3-x86_64-unknown-linux-gnufilc0-4.15.1-python
         /nix/store/8di0irll47vvgq6gfwmyqdxc8h6cra6y-z3-x86_64-unknown-linux-gnufilc0-4.15.1
         /nix/store/h6l163a8909kkr5lmg0h25xc5j687x8k-z3-x86_64-unknown-linux-gnufilc0-4.15.1-dev
         /nix/store/vaf3hlakyx5bxmdz9qwabxcbqi7093r2-z3-x86_64-unknown-linux-gnufilc0-4.15.1-lib
       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+0x8131): error: undefined reference to 'pizlonated_exp2'
       > smt/smt.a(smt_lookahead.o):smt_lookahead.cpp:function pizlonatedFI403_exp2:(.text+0x8eb1): error: undefined reference to 'pizlonated_exp2'
       > ast/fpa/fpa.a(fpa2bv_converter.o):fpa2bv_converter.cpp:function pizlonatedFI403_log:(.text+0x1d2941): 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+0x6ae51): error: undefined reference to 'pizlonated_exp2'
       > sat/sat.a(sat_lookahead.o):sat_lookahead.cpp:function pizlonatedFI4792_pow:(.text+0x6b656): error: undefined reference to 'pizlonated_pow'
       > sat/sat.a(sat_solver.o):sat_solver.cpp:function pizlonatedFI4792_pow:(.text+0xccbc6): error: undefined reference to 'pizlonated_pow'
       > sat/sat.a(sat_solver.o):sat_solver.cpp:function pizlonatedFI403_exp:(.text+0xd0c01): error: undefined reference to 'pizlonated_exp'
       > sat/sat.a(sat_solver.o):sat_solver.cpp:function pizlonatedFI403_log:(.text+0xd0cd1): error: undefined reference to 'pizlonated_log'
       > sat/sat.a(sat_local_search.o):sat_local_search.cpp:function pizlonatedFI403_exp:(.text+0x24dd1): error: undefined reference to 'pizlonated_exp'
       > sat/sat.a(sat_prob.o):sat_prob.cpp:function pizlonatedFI4792_pow:(.text+0xf3f6): error: undefined reference to 'pizlonated_pow'
       > ast/sls/ast_sls.a(sls_bv_engine.o):sls_bv_engine.cpp:function pizlonatedFI403_log:(.text+0x16981): error: undefined reference to 'pizlonated_log'
       > ast/sls/ast_sls.a(sls_bv_engine.o):sls_bv_engine.cpp:function pizlonatedFI403_sqrt:(.text+0x16a51): 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+0x33eb1): error: undefined reference to 'pizlonated_sqrt'
       > util/util.a(hwf.o):hwf.cpp:function pizlonatedFI135_fesetround:(.text+0xaaed): error: undefined reference to 'pizlonated_fesetround'
       > util/util.a(hwf.o):hwf.cpp:function pizlonatedFI403_sqrt:(.text+0xba41): error: undefined reference to 'pizlonated_sqrt'
       > util/util.a(hwf.o):hwf.cpp:function pizlonatedFI4792_remainder:(.text+0xbb16): 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/ncay2fg3w3ys4yj6ibyfjzjphav67j62-z3-x86_64-unknown-linux-gnufilc0-4.15.1.drv

error: Cannot build '/nix/store/r33dq345cznk82y1sgg1vd8754qlrs3b-polybar-x86_64-unknown-linux-gnufilc0-3.7.2.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/s2qfxvb3xw9bihp1dlph1djd2byd1cif-polybar-x86_64-unknown-linux-gnufilc0-3.7.2
       Last 25 log lines:
       >       |                                                    std::
       > /build/source/include/components/config.hpp:89:63: warning: unqualified call to 'std::move' [-Wunqualified-std-cast-call]
       >    89 |       return convert<T>(dereference(move(section), move(key), move(string_value)));
       >       |                                                               ^
       >       |                                                               std::
       > /build/source/include/components/config.hpp:144:69: warning: unqualified call to 'std::move' [-Wunqualified-std-cast-call]
       >   144 |           results.emplace_back(convert<T>(dereference(section, key, move(string_value))));
       >       |                                                                     ^
       >       |                                                                     std::
       > /build/source/include/components/config.hpp:146:43: warning: unqualified call to 'std::move' [-Wunqualified-std-cast-call]
       >   146 |           results.emplace_back(convert<T>(move(string_value)));
       >       |                                           ^
       >       |                                           std::
       > /build/source/include/components/config.hpp:173:69: warning: unqualified call to 'std::move' [-Wunqualified-std-cast-call]
       >   173 |           results.emplace_back(convert<T>(dereference(section, key, move(string_value))));
       >       |                                                                     ^
       >       |                                                                     std::
       > /build/source/include/components/config.hpp:175:43: warning: unqualified call to 'std::move' [-Wunqualified-std-cast-call]
       >   175 |           results.emplace_back(convert<T>(move(string_value)));
       >       |                                           ^
       >       |                                           std::
       > 12 warnings generated.
       > [100%] Linking CXX executable polybar-msg
       > [100%] Built target polybar-msg
       > make: *** [Makefile:136: all] Error 2
       For full logs, run:
         nix log /nix/store/r33dq345cznk82y1sgg1vd8754qlrs3b-polybar-x86_64-unknown-linux-gnufilc0-3.7.2.drv

error: Cannot build '/nix/store/0r9qp31lrb81ixarbs5j78lsxnl28bh5-polygraph-x86_64-unknown-linux-gnufilc0-4.13.0.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/kr6k89cvz6bsd6mzhlhima91303n87my-polygraph-x86_64-unknown-linux-gnufilc0-4.13.0
       Last 25 log lines:
       >       |                 ^
       > In file included from TwoWayPermutator.cc:6:
       > In file included from ../../src/base/polygraph.h:14:
       > In file included from ../../src/config.h:484:
       > ../../src/post-config.h:11:17: warning: using directive refers to implicitly-defined namespace 'std'
       >    11 | using namespace std;
       >       |                 ^
       > In file included from TwoWayPermutator.cc:10:
       > ../../src/xstd/Ring.h:22:22: error: dependent using declaration resolved to type without 'typename'
       >    22 |                 using Array<Item>::Value;
       >       |                                    ^
       > TwoWayPermutator.cc:20:13: note: in instantiation of template class 'Ring<int>' requested here
       >    20 |                 Ring<int> r(mapSize);
       >       |                           ^
       > ../../src/xstd/Array.h:26:16: note: target of using declaration
       >    26 |                 typedef Item Value;
       >       |                              ^
       > 2 warnings and 1 error generated.
       > make[3]: *** [Makefile:605: TwoWayPermutator.o] Error 1
       > make[3]: Leaving directory '/build/polygraph-4.13.0/src/base'
       > make[2]: *** [Makefile:421: all-recursive] Error 1
       > make[2]: Leaving directory '/build/polygraph-4.13.0/src'
       > make[1]: *** [Makefile:359: all] Error 2
       > make[1]: Leaving directory '/build/polygraph-4.13.0/src'
       > make: *** [Makefile:521: all-recursive] Error 1
       For full logs, run:
         nix log /nix/store/0r9qp31lrb81ixarbs5j78lsxnl28bh5-polygraph-x86_64-unknown-linux-gnufilc0-4.13.0.drv

error: Cannot build '/nix/store/4cfj0blcw1sq6n2sgz5l9gj5nc2lfg3c-polyml-x86_64-unknown-linux-gnufilc0-5.9.1.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/3432zvkwppj3nn4y5f0i3pzczf475sn0-polyml-x86_64-unknown-linux-gnufilc0-5.9.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/3432zvkwppj3nn4y5f0i3pzczf475sn0-polyml-x86_64-unknown-linux-gnufilc0-5.9.1/lib/polyml/modules\"    -O3 -c -o objsize.lo objsize.cpp
       > libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/3432zvkwppj3nn4y5f0i3pzczf475sn0-polyml-x86_64-unknown-linux-gnufilc0-5.9.1/lib/polyml/modules\" -O3 -c objsize.cpp  -fPIC -DPIC -o .libs/objsize.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/3432zvkwppj3nn4y5f0i3pzczf475sn0-polyml-x86_64-unknown-linux-gnufilc0-5.9.1/lib/polyml/modules\"    -O3 -c -o pexport.lo pexport.cpp
       > libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/3432zvkwppj3nn4y5f0i3pzczf475sn0-polyml-x86_64-unknown-linux-gnufilc0-5.9.1/lib/polyml/modules\" -O3 -c pexport.cpp  -fPIC -DPIC -o .libs/pexport.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/3432zvkwppj3nn4y5f0i3pzczf475sn0-polyml-x86_64-unknown-linux-gnufilc0-5.9.1/lib/polyml/modules\"    -O3 -c -o poly_specific.lo poly_specific.cpp
       > libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/3432zvkwppj3nn4y5f0i3pzczf475sn0-polyml-x86_64-unknown-linux-gnufilc0-5.9.1/lib/polyml/modules\" -O3 -c poly_specific.cpp  -fPIC -DPIC -o .libs/poly_specific.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/3432zvkwppj3nn4y5f0i3pzczf475sn0-polyml-x86_64-unknown-linux-gnufilc0-5.9.1/lib/polyml/modules\"    -O3 -c -o polyffi.lo polyffi.cpp
       > libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/3432zvkwppj3nn4y5f0i3pzczf475sn0-polyml-x86_64-unknown-linux-gnufilc0-5.9.1/lib/polyml/modules\" -O3 -c polyffi.cpp  -fPIC -DPIC -o .libs/polyffi.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/3432zvkwppj3nn4y5f0i3pzczf475sn0-polyml-x86_64-unknown-linux-gnufilc0-5.9.1/lib/polyml/modules\"    -O3 -c -o polystring.lo polystring.cpp
       > libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/3432zvkwppj3nn4y5f0i3pzczf475sn0-polyml-x86_64-unknown-linux-gnufilc0-5.9.1/lib/polyml/modules\" -O3 -c polystring.cpp  -fPIC -DPIC -o .libs/polystring.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/3432zvkwppj3nn4y5f0i3pzczf475sn0-polyml-x86_64-unknown-linux-gnufilc0-5.9.1/lib/polyml/modules\"    -O3 -c -o process_env.lo process_env.cpp
       > libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -Wall -DMODULEDIR=\"/nix/store/3432zvkwppj3nn4y5f0i3pzczf475sn0-polyml-x86_64-unknown-linux-gnufilc0-5.9.1/lib/polyml/modules\" -O3 -c process_env.cpp  -fPIC -DPIC -o .libs/process_env.o
       > process_env.cpp:569:19: error: use of undeclared identifier 'vfork'; did you mean 'fork'?
       >   569 |         int pid = vfork();
       >       |                   ^~~~~
       >       |                   fork
       > /nix/store/31nshp12zm4rnbiwinw8w787jj0jb5k4-filc-glibc-2.44/include/unistd.h:778:16: note: 'fork' declared here
       >   778 | extern __pid_t fork (void) __THROWNL;
       >       |                ^
       > 1 error generated.
       > make[2]: *** [Makefile:768: process_env.lo] Error 1
       > make[2]: Leaving directory '/build/source/libpolyml'
       > make[1]: *** [Makefile:712: all-recursive] Error 1
       > make[1]: Leaving directory '/build/source'
       > make: *** [Makefile:471: all] Error 2
       For full logs, run:
         nix log /nix/store/4cfj0blcw1sq6n2sgz5l9gj5nc2lfg3c-polyml-x86_64-unknown-linux-gnufilc0-5.9.1.drv

error: Cannot build '/nix/store/zfixw59cvi6vq0bzfshj2x69z9i0rbc6-polyml-x86_64-unknown-linux-gnufilc0-5.6.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/wwkmnkgmydb5mg62d7fn04ys074pil0c-polyml-x86_64-unknown-linux-gnufilc0-5.6
       Last 25 log lines:
       > libtool: compile:  clang -DHAVE_CONFIG_H -I. -I. -I./include -Iinclude -I./src -O3 -Wall -fexceptions -c src/raw_api.c  -fPIC -DPIC -o src/.libs/raw_api.o
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash ./libtool  --tag=CC   --mode=compile clang -DHAVE_CONFIG_H -I.  -I. -I./include -Iinclude -I./src   -O3  -Wall -fexceptions -c -o src/java_raw_api.lo src/java_raw_api.c
       > libtool: compile:  clang -DHAVE_CONFIG_H -I. -I. -I./include -Iinclude -I./src -O3 -Wall -fexceptions -c src/java_raw_api.c  -fPIC -DPIC -o src/.libs/java_raw_api.o
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash ./libtool  --tag=CC   --mode=compile clang -DHAVE_CONFIG_H -I.  -I. -I./include -Iinclude -I./src   -O3  -Wall -fexceptions -c -o src/closures.lo src/closures.c
       > libtool: compile:  clang -DHAVE_CONFIG_H -I. -I. -I./include -Iinclude -I./src -O3 -Wall -fexceptions -c src/closures.c  -fPIC -DPIC -o src/.libs/closures.o
       > In file included from src/closures.c:233:
       > src/dlmalloc.c:3380:7: warning: variable 'nfences' set but not used [-Wunused-but-set-variable]
       >  3380 |   int nfences = 0;
       >       |       ^
       > 1 warning generated.
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash ./libtool  --tag=CC   --mode=compile clang -DHAVE_CONFIG_H -I.  -I. -I./include -Iinclude -I./src   -O3  -Wall -fexceptions -c -o src/x86/ffi64.lo src/x86/ffi64.c
       > libtool: compile:  clang -DHAVE_CONFIG_H -I. -I. -I./include -Iinclude -I./src -O3 -Wall -fexceptions -c src/x86/ffi64.c  -fPIC -DPIC -o src/x86/.libs/ffi64.o
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash ./libtool  --tag=CC   --mode=compile clang -DHAVE_CONFIG_H -I.  -I. -I./include -Iinclude -I./src  -I. -I./include -Iinclude -I./src  -c -o src/x86/unix64.lo src/x86/unix64.S
       > libtool: compile:  clang -DHAVE_CONFIG_H -I. -I. -I./include -Iinclude -I./src -I. -I./include -Iinclude -I./src -c src/x86/unix64.S  -fPIC -DPIC -o src/x86/.libs/unix64.o
       > clang-20: error: sarcasm assembler command failed with exit code 1 (use -v to see invocation)
       > sarcasm: /build/unix64-1afaa8.s: function 'ffi_call_unix64' has no signature annotation (add one to its label, e.g. `ffi_call_unix64: ;! int(ptr)`)
       > make[4]: *** [Makefile:1248: src/x86/unix64.lo] Error 1
       > make[4]: Leaving directory '/build/polyml-5.6/libffi'
       > make[3]: *** [Makefile:1335: all-recursive] Error 1
       > make[3]: Leaving directory '/build/polyml-5.6/libffi'
       > make[2]: *** [Makefile:709: all] Error 2
       > make[2]: Leaving directory '/build/polyml-5.6/libffi'
       > make[1]: *** [Makefile:726: all-recursive] Error 1
       > make[1]: Leaving directory '/build/polyml-5.6'
       > make: *** [Makefile:485: all] Error 2
       For full logs, run:
         nix log /nix/store/zfixw59cvi6vq0bzfshj2x69z9i0rbc6-polyml-x86_64-unknown-linux-gnufilc0-5.6.drv

error: Cannot build '/nix/store/b2qig3i07kfv45ih5p07qfp55ljfb7d8-polyml-x86_64-unknown-linux-gnufilc0-5.7.1.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/zhbnnb8hrzmg12w6jbhdysq3b400gz3g-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/zhbnnb8hrzmg12w6jbhdysq3b400gz3g-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/zhbnnb8hrzmg12w6jbhdysq3b400gz3g-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/zhbnnb8hrzmg12w6jbhdysq3b400gz3g-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/zhbnnb8hrzmg12w6jbhdysq3b400gz3g-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/zhbnnb8hrzmg12w6jbhdysq3b400gz3g-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/zhbnnb8hrzmg12w6jbhdysq3b400gz3g-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/zhbnnb8hrzmg12w6jbhdysq3b400gz3g-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/zhbnnb8hrzmg12w6jbhdysq3b400gz3g-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/zhbnnb8hrzmg12w6jbhdysq3b400gz3g-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/zhbnnb8hrzmg12w6jbhdysq3b400gz3g-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/zhbnnb8hrzmg12w6jbhdysq3b400gz3g-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/zhbnnb8hrzmg12w6jbhdysq3b400gz3g-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/zhbnnb8hrzmg12w6jbhdysq3b400gz3g-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/zhbnnb8hrzmg12w6jbhdysq3b400gz3g-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/zhbnnb8hrzmg12w6jbhdysq3b400gz3g-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/zhbnnb8hrzmg12w6jbhdysq3b400gz3g-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/zhbnnb8hrzmg12w6jbhdysq3b400gz3g-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/zhbnnb8hrzmg12w6jbhdysq3b400gz3g-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-0a2f69.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/b2qig3i07kfv45ih5p07qfp55ljfb7d8-polyml-x86_64-unknown-linux-gnufilc0-5.7.1.drv

error: Cannot build '/nix/store/1rdbf13avj2c65m533xnnw4v6m5npbjy-pommed-light-x86_64-unknown-linux-gnufilc0-1.51lw.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/kkh5hr6k90kx06rs9rf93p9lic7h5dbc-pommed-light-x86_64-unknown-linux-gnufilc0-1.51lw
       Last 25 log lines:
       > Running phase: unpackPhase
       > unpacking source archive /nix/store/vyxy3377l5vdasl3q35wld8hq5brdcdl-source
       > source root is source
       > Running phase: patchPhase
       > applying patch /nix/store/cdn4l71f92zci586zrmbz76wlbkj3bab-fno-common.patch
       > patching file pommed/mactel/nv8600mgt_backlight.c
       > patching file pommed/mactel/x1600_backlight.c
       > substituteStream() in derivation pommed-light-x86_64-unknown-linux-gnufilc0-1.51lw: WARNING: '--replace' is deprecated, use --replace-{fail,warn,quiet}. (file 'pommed.conf.mactel')
       > 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
       > make -C pommed OFLIB=
       > make[1]: Entering directory '/build/source/pommed'
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash: line 1: pkg-config: command not found
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash: line 1: pkg-config: command not found
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash: line 1: pkg-config: command not found
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash: line 1: pkg-config: command not found
       > gcc -g -O2 -Wall        -c -o pommed.o pommed.c
       > /nix/store/cfqbabpc7xwg8akbcchqbq3cai6qq2vs-bash-5.2p37/bin/bash: line 1: gcc: command not found
       > make[1]: *** [<builtin>: pommed.o] Error 127
       > make[1]: Leaving directory '/build/source/pommed'
       > make: *** [Makefile:8: pommed] Error 2
       For full logs, run:
         nix log /nix/store/1rdbf13avj2c65m533xnnw4v6m5npbjy-pommed-light-x86_64-unknown-linux-gnufilc0-1.51lw.drv

error: Cannot build '/nix/store/dac4wwy2vc0b3b3nsyksvrmrd89fgh5a-3dpong-x86_64-unknown-linux-gnufilc0-0.5.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/sglknc3fvzy5k46nvkb62n1sn3hzxzlv-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/dac4wwy2vc0b3b3nsyksvrmrd89fgh5a-3dpong-x86_64-unknown-linux-gnufilc0-0.5.drv

error: Cannot build '/nix/store/wlhavf998gjrg6pfj714j27aqp3hl2jw-corral-x86_64-unknown-linux-gnufilc0-0.8.2.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/a79972l7i0p6i2fbwlwnhs4hv3f37nnc-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/5amb35fzbvn6ay3miplgzy54r8n8gd6h-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/5amb35fzbvn6ay3miplgzy54r8n8gd6h-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/wlhavf998gjrg6pfj714j27aqp3hl2jw-corral-x86_64-unknown-linux-gnufilc0-0.8.2.drv

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

error: Cannot build '/nix/store/0qxy3wpchypddkhmg6yyz7vcjnr3v0vx-ponysay-x86_64-unknown-linux-gnufilc0-unstable-2021-03-27.drv'.
       Reason: builder failed with exit code 127.
       Output paths:
         /nix/store/fakvppdxacqi4y0byvnkm9z7vr32s6df-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/vhkryxjrmsz87jfvdvyinp2q6q2fd48z-stdenv-linux/setup: line 1772: python3: command not found
       For full logs, run:
         nix log /nix/store/0qxy3wpchypddkhmg6yyz7vcjnr3v0vx-ponysay-x86_64-unknown-linux-gnufilc0-unstable-2021-03-27.drv

error: Cannot build '/nix/store/aw64wqdyar4350mzbxwmibk5d5m76jb5-popa3d-x86_64-unknown-linux-gnufilc0-1.0.3.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/iyrrzgsjnmfcjshxr1ijyz3qfdc7dm68-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: -j7 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
       > make: *** [Makefile:66: version.o] Error 127
       > make: *** Waiting for unfinished jobs....
       > /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: startup.o] Error 127
       > 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/aw64wqdyar4350mzbxwmibk5d5m76jb5-popa3d-x86_64-unknown-linux-gnufilc0-1.0.3.drv

error: Cannot build '/nix/store/0c36ddpkl9ai2p1rg3vlpwhsdryblba7-poppler-min-x86_64-unknown-linux-gnufilc0-25.07.0.drv'.
       Reason: builder failed with exit code 1.
       Output paths:
         /nix/store/2fslaq06bx0cjnl4f41x109rvhlwcp5d-poppler-min-x86_64-unknown-linux-gnufilc0-25.07.0
         /nix/store/zfilk8216a6f2bcyihr2ls3x3fagk7jx-poppler-min-x86_64-unknown-linux-gnufilc0-25.07.0-dev
       Last 25 log lines:
       > 30 clang-20  0x0000000000b840b4 main + 100
       > 31 libc.so.6 0x00007ffff7c2a47e
       > 32 libc.so.6 0x00007ffff7c2a539 __libc_start_main + 137
       > 33 clang-20  0x0000000000c74e95 _start + 37
       > clang-20: error: clang frontend command failed with exit code 134 (use -v to see invocation)
       > clang version 20.1.8 (Fil-C 0.685)
       > Target: x86_64-pc-linux-gnu
       > Thread model: posix
       > InstalledDir: /nix/store/hmjzrg1ppdzlcqry73nyyb8p9wzgryjq-filc0-git/bin
       > Build config: +assertions
       > clang-20: note: diagnostic msg:
       > ********************
       >
       > PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
       > Preprocessed source(s) and associated run script(s) are located at:
       > clang-20: note: diagnostic msg: /build/JpegWriter-e67980.cpp
       > clang-20: note: diagnostic msg: /build/JpegWriter-e67980.sh
       > clang-20: note: diagnostic msg:
       >
       > ********************
       > [12/133] Building CXX object CMakeFiles/poppler.dir/goo/gstrtod.cc.o
       > [13/133] Building CXX object CMakeFiles/poppler.dir/goo/gfile.cc.o
       > [14/133] Building CXX object CMakeFiles/poppler.dir/goo/gbase64.cc.o
       > [15/133] Building CXX object CMakeFiles/poppler.dir/goo/grandom.cc.o
       > ninja: build stopped: subcommand failed.
       For full logs, run:
         nix log /nix/store/0c36ddpkl9ai2p1rg3vlpwhsdryblba7-poppler-min-x86_64-unknown-linux-gnufilc0-25.07.0.drv

error: Cannot build '/nix/store/v17967lila1cyppz7s84qpd67krm56d5-PotreeConverter-x86_64-unknown-linux-gnufilc0-unstable-2023-02-27.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/l8jd73g7rbq0zjbc5a6dpz0y8wfpnbz4-PotreeConverter-x86_64-unknown-linux-gnufilc0-unstable-2023-02-27
       Last 25 log lines:
       > /build/source/./Converter/include/sampler_poisson.h:103:31: note: insert an explicit cast to silence this issue
       >   103 |                                         Point point = { x, y, z, i, childIndex };
       >       |                                                                  ^
       >       |                                                                  static_cast<int32_t>( )
       > /build/source/./Converter/include/sampler_poisson.h:103:34: error: non-constant-expression cannot be narrowed from type 'int64_t' (aka 'long') to 'int32_t' (aka 'int') in initializer list [-Wc++11-narrowing]
       >   103 |                                         Point point = { x, y, z, i, childIndex };
       >       |                                                                     ^~~~~~~~~~
       > /build/source/./Converter/include/sampler_poisson.h:103:34: note: insert an explicit cast to silence this issue
       >   103 |                                         Point point = { x, y, z, i, childIndex };
       >       |                                                                     ^~~~~~~~~~
       >       |                                                                     static_cast<int32_t>( )
       > /build/source/./Converter/include/sampler_poisson.h:182:36: error: no member named 'par_unseq' in namespace 'std::execution'
       >   182 |                         auto parallel = std::execution::par_unseq;
       >       |                                         ~~~~~~~~~~~~~~~~^
       > In file included from /build/source/Converter/src/main.cpp:10:
       > /build/source/./Converter/include/sampler_poisson_average.h:283:36: error: no member named 'par_unseq' in namespace 'std::execution'
       >   283 |                         auto parallel = std::execution::par_unseq;
       >       |                                         ~~~~~~~~~~~~~~~~^
       > /build/source/Converter/src/main.cpp:183:34: error: no member named 'par' in namespace 'std::execution'
       >   183 |         auto parallel = std::execution::par;
       >       |                         ~~~~~~~~~~~~~~~~^
       > 2 warnings and 6 errors generated.
       > make[2]: *** [CMakeFiles/PotreeConverter.dir/build.make:107: CMakeFiles/PotreeConverter.dir/Converter/src/main.cpp.o] Error 1
       > make[1]: *** [CMakeFiles/Makefile2:153: CMakeFiles/PotreeConverter.dir/all] Error 2
       > make: *** [Makefile:91: all] Error 2
       For full logs, run:
         nix log /nix/store/v17967lila1cyppz7s84qpd67krm56d5-PotreeConverter-x86_64-unknown-linux-gnufilc0-unstable-2023-02-27.drv

error: Cannot build '/nix/store/swphbc77lc5phxl20c8h6jhlrnzifc7g-povray-x86_64-unknown-linux-gnufilc0-3.8.0-beta.2.drv'.
       Reason: builder failed with exit code 1.
       Output paths:
         /nix/store/ycg2lq208dny1cmrwg3gf44aiyq4y1b6-povray-x86_64-unknown-linux-gnufilc0-3.8.0-beta.2
       Last 25 log lines:
       > checking for egrep... /nix/store/l2wvwyg680h0v2la18hz3yiznxy2naqw-gnugrep-3.11/bin/grep -E
       > checking for clang++ version... 20.1.8
       > checking for x86_64-unknown-linux-gnufilc0-ranlib... ranlib
       > checking for stat format option... --format=
       >
       > Libraries
       > ---------
       > checking whether to link with cygwin DLL... no
       > checking whether to enable static linking... no
       > checking for a sed that does not truncate output... /nix/store/4rpiqv9yr2pw5094v4wc33ijkqjpm9sa-gnused-4.9/bin/sed
       > checking for egrep -e... (cached) /nix/store/l2wvwyg680h0v2la18hz3yiznxy2naqw-gnugrep-3.11/bin/grep -E
       > checking whether clang is Clang... yes
       > 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
       > checking for boostlib >= 1.38... yes
       > checking whether the Boost::Thread library is available... yes
       > checking for exit in -lboost_thread... yes
       > checking whether the boost thread library is usable... cross-compiling
       > cross-compiling
       > no
       > configure: error: in '/build/source':
       > configure: error: cannot link with the boost thread library
       > See 'config.log' for more details
       For full logs, run:
         nix log /nix/store/swphbc77lc5phxl20c8h6jhlrnzifc7g-povray-x86_64-unknown-linux-gnufilc0-3.8.0-beta.2.drv

error: Cannot build '/nix/store/0m2fyjgpz3lv3y7cfzrn908ara8dv2fy-powertop-x86_64-unknown-linux-gnufilc0-2.15.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/3jwjv367kl861q3al10isiqaafxv8r82-powertop-x86_64-unknown-linux-gnufilc0-2.15-man
         /nix/store/r3a8l66kw18h0fdyhcqi21c48dxlm9y1-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+0x122e6): error: undefined reference to 'pizlonated_pow'
       > cpu/rapl/powertop-rapl_interface.o:rapl_interface.cpp:function pizlonatedFI403_exp2:(.text+0x9381): 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/0m2fyjgpz3lv3y7cfzrn908ara8dv2fy-powertop-x86_64-unknown-linux-gnufilc0-2.15.drv

error: Cannot build '/nix/store/v51vp3ni7871vk372p94i7mx8yb1wsdr-powwow-x86_64-unknown-linux-gnufilc0-1.2.23.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/x4ks77rs1rajfr9r9n9bjysx8prmw7nm-powwow-x86_64-unknown-linux-gnufilc0-1.2.23
       Last 25 log lines:
       > /nix/store/31nshp12zm4rnbiwinw8w787jj0jb5k4-filc-glibc-2.44/include/sys/select.h:102:12: note: conflicting prototype is here
       >   102 | extern int select (int __nfds, fd_set *__restrict __readfds,
       >       |            ^
       > 1 warning 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/x4ks77rs1rajfr9r9n9bjysx8prmw7nm-powwow-x86_64-unknown-linux-gnufilc0-1.2.23/share/powwow\" -DPLUGIN_DIR=\"/nix/store/x4ks77rs1rajfr9r9n9bjysx8prmw7nm-powwow-x86_64-unknown-linux-gnufilc0-1.2.23/lib/powwow\"   -g -O2 -c -o eval.o eval.c
       > 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/x4ks77rs1rajfr9r9n9bjysx8prmw7nm-powwow-x86_64-unknown-linux-gnufilc0-1.2.23/share/powwow\" -DPLUGIN_DIR=\"/nix/store/x4ks77rs1rajfr9r9n9bjysx8prmw7nm-powwow-x86_64-unknown-linux-gnufilc0-1.2.23/lib/powwow\"   -g -O2 -c -o utils.o utils.c
       > 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/x4ks77rs1rajfr9r9n9bjysx8prmw7nm-powwow-x86_64-unknown-linux-gnufilc0-1.2.23/share/powwow\" -DPLUGIN_DIR=\"/nix/store/x4ks77rs1rajfr9r9n9bjysx8prmw7nm-powwow-x86_64-unknown-linux-gnufilc0-1.2.23/lib/powwow\"   -g -O2 -c -o main.o main.c
       > main.c:76:12: warning: a function declaration without a prototype is deprecated in all versions of C and is treated as a zero-parameter prototype in C23, conflicting with a previous declaration [-Wdeprecated-non-prototype]
       >    76 | extern int select();
       >       |            ^
       > /nix/store/31nshp12zm4rnbiwinw8w787jj0jb5k4-filc-glibc-2.44/include/sys/select.h:102:12: note: conflicting prototype is here
       >   102 | extern int select (int __nfds, fd_set *__restrict __readfds,
       >       |            ^
       > 1 warning 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/x4ks77rs1rajfr9r9n9bjysx8prmw7nm-powwow-x86_64-unknown-linux-gnufilc0-1.2.23/share/powwow\" -DPLUGIN_DIR=\"/nix/store/x4ks77rs1rajfr9r9n9bjysx8prmw7nm-powwow-x86_64-unknown-linux-gnufilc0-1.2.23/lib/powwow\"   -g -O2 -c -o tcp.o tcp.c
       > 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/x4ks77rs1rajfr9r9n9bjysx8prmw7nm-powwow-x86_64-unknown-linux-gnufilc0-1.2.23/share/powwow\" -DPLUGIN_DIR=\"/nix/store/x4ks77rs1rajfr9r9n9bjysx8prmw7nm-powwow-x86_64-unknown-linux-gnufilc0-1.2.23/lib/powwow\"   -g -O2 -c -o list.o list.c
       > 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/x4ks77rs1rajfr9r9n9bjysx8prmw7nm-powwow-x86_64-unknown-linux-gnufilc0-1.2.23/share/powwow\" -DPLUGIN_DIR=\"/nix/store/x4ks77rs1rajfr9r9n9bjysx8prmw7nm-powwow-x86_64-unknown-linux-gnufilc0-1.2.23/lib/powwow\"   -g -O2 -c -o map.o map.c
       > 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/x4ks77rs1rajfr9r9n9bjysx8prmw7nm-powwow-x86_64-unknown-linux-gnufilc0-1.2.23/share/powwow\" -DPLUGIN_DIR=\"/nix/store/x4ks77rs1rajfr9r9n9bjysx8prmw7nm-powwow-x86_64-unknown-linux-gnufilc0-1.2.23/lib/powwow\"   -g -O2 -c -o tty.o tty.c
       > tty.c:47:14: fatal error: 'termio.h' file not found
       >    47 | #    include <termio.h>
       >       |              ^~~~~~~~~~
       > 1 error generated.
       > make[1]: *** [Makefile:451: tty.o] 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/v51vp3ni7871vk372p94i7mx8yb1wsdr-powwow-x86_64-unknown-linux-gnufilc0-1.2.23.drv

error: Cannot build '/nix/store/kfbvrcymaapybr2nhprf5c5qrrrsirjm-ppl-x86_64-unknown-linux-gnufilc0-1.2.drv'.
       Reason: builder failed with exit code 2.
       Output paths:
         /nix/store/v8rax8hx4y16r446aki7qn3dylz9c7j2-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/kfbvrcymaapybr2nhprf5c5qrrrsirjm-ppl-x86_64-unknown-linux-gnufilc0-1.2.drv

error: build of '/nix/store/0c36ddpkl9ai2p1rg3vlpwhsdryblba7-poppler-min-x86_64-unknown-linux-gnufilc0-25.07.0.drv^*', '/nix/store/0m2fyjgpz3lv3y7cfzrn908ara8dv2fy-powertop-x86_64-unknown-linux-gnufilc0-2.15.drv^*', '/nix/store/0qxy3wpchypddkhmg6yyz7vcjnr3v0vx-ponysay-x86_64-unknown-linux-gnufilc0-unstable-2021-03-27.drv^*', '/nix/store/0r9qp31lrb81ixarbs5j78lsxnl28bh5-polygraph-x86_64-unknown-linux-gnufilc0-4.13.0.drv^*', '/nix/store/1rdbf13avj2c65m533xnnw4v6m5npbjy-pommed-light-x86_64-unknown-linux-gnufilc0-1.51lw.drv^*', '/nix/store/4cfj0blcw1sq6n2sgz5l9gj5nc2lfg3c-polyml-x86_64-unknown-linux-gnufilc0-5.9.1.drv^*', '/nix/store/aw64wqdyar4350mzbxwmibk5d5m76jb5-popa3d-x86_64-unknown-linux-gnufilc0-1.0.3.drv^*', '/nix/store/b2qig3i07kfv45ih5p07qfp55ljfb7d8-polyml-x86_64-unknown-linux-gnufilc0-5.7.1.drv^*', '/nix/store/dac4wwy2vc0b3b3nsyksvrmrd89fgh5a-3dpong-x86_64-unknown-linux-gnufilc0-0.5.drv^*', '/nix/store/iab36m6qxrjqs1hvdyb1hd8kmgjimkjf-ponyc-x86_64-unknown-linux-gnufilc0-0.59.0.drv^*', '/nix/store/kfbvrcymaapybr2nhprf5c5qrrrsirjm-ppl-x86_64-unknown-linux-gnufilc0-1.2.drv^*', '/nix/store/r33dq345cznk82y1sgg1vd8754qlrs3b-polybar-x86_64-unknown-linux-gnufilc0-3.7.2.drv^*', '/nix/store/swphbc77lc5phxl20c8h6jhlrnzifc7g-povray-x86_64-unknown-linux-gnufilc0-3.8.0-beta.2.drv^*', '/nix/store/v17967lila1cyppz7s84qpd67krm56d5-PotreeConverter-x86_64-unknown-linux-gnufilc0-unstable-2023-02-27.drv^*', '/nix/store/v51vp3ni7871vk372p94i7mx8yb1wsdr-powwow-x86_64-unknown-linux-gnufilc0-1.2.23.drv^*', '/nix/store/wlhavf998gjrg6pfj714j27aqp3hl2jw-corral-x86_64-unknown-linux-gnufilc0-0.8.2.drv^*', '/nix/store/zfixw59cvi6vq0bzfshj2x69z9i0rbc6-polyml-x86_64-unknown-linux-gnufilc0-5.6.drv^*' failed