2026-06-16 11:55.23: New job: build cvc5.1.1.3~unreleased (cfaf3ff09593)
2026-06-16 11:55.23: Waiting for resource in pool day11-builds
2026-06-16 12:30.04: Got resource from pool day11-builds
2026-06-16 12:30.04: [profile full] build cvc5.1.1.3~unreleased
2026-06-16 12:30.04: build cvc5.1.1.3~unreleased (cfaf3ff09593)
=== DEPENDENCIES (15 transitive) ===
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  conf-cmake.1                                       28c4f93a74da
  conf-g++.1.0                                       3a490f76fc1d
  conf-gcc.1.0                                       dd4c5e537e37
  conf-gmp.5                                         61e3c79e0ddf
  conf-python-3.9.0.0                                9f0bbc328e53
  conf-python-3-dev.1                                53d91bd808c3
  conf-python3-pyparsing.1                           e2bcf70e2b28
  conf-python3-tomli.1                               7c9fffb6742a
  dune.3.23.1                                        d50060dd2cab
  ocaml.5.4.1                                        708fed352b2a
  ocaml-base-compiler.5.4.1                          89b85703f841
  ocaml-compiler.5.4.1                               a719b8419b8e
  ocaml-config.3                                     aa27f63940d8
=== STDOUT ===
Processing: [default: loading data]
[cvc5.1.1.3~unreleased: dl]
[cvc5.1.1.3~unreleased: extract]
-> retrieved cvc5.1.1.3~unreleased  (https://opam.ocaml.org/cache)
[cvc5: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "cvc5" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased)
- (cd _build/default/vendor/cadical && /usr/bin/bash -e -u -o pipefail -c ./configure)
- configure: making default 'build' directory
- configure: building in default '/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/build'
- configure: root directory '/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical'
- configure: source directory '/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src'
- configure: compiler supports all required C99/C++11 extensions
- configure: compiler configuration supports flexible array members
- configure: unlocked IO with '{putc,getc}_unlocked' seems to work
- configure: compiling with 'g++ -Wall -Wextra -O3 -DNDEBUG'
- configure: generated 'build/makefile' from '../makefile.in'
- configure: generated '../makefile' as proxy to ...
- configure: ... '/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/build/makefile'
- configure: linking '/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/makefile'
- configure: now run 'make' to compile CaDiCaL
- configure: optionally run 'make test'
- (cd _build/default/vendor/cadical && /usr/bin/bash -e -u -o pipefail -c 'make -j $(opam var jobs)')
- make -C "/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/build"
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/build'
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/analyze.cpp -o src/analyze.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/arena.cpp -o src/arena.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/assume.cpp -o src/assume.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/averages.cpp -o src/averages.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/backtrack.cpp -o src/backtrack.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/backward.cpp -o src/backward.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/bins.cpp -o src/bins.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/block.cpp -o src/block.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/ccadical.cpp -o src/ccadical.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/checker.cpp -o src/checker.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/clause.cpp -o src/clause.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/collect.cpp -o src/collect.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/compact.cpp -o src/compact.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/condition.cpp -o src/condition.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/config.cpp -o src/config.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/constrain.cpp -o src/constrain.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/contract.cpp -o src/contract.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/cover.cpp -o src/cover.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/decide.cpp -o src/decide.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/decompose.cpp -o src/decompose.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/deduplicate.cpp -o src/deduplicate.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/drattracer.cpp -o src/drattracer.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/elim.cpp -o src/elim.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/ema.cpp -o src/ema.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/extend.cpp -o src/extend.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/external.cpp -o src/external.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/external_propagate.cpp -o src/external_propagate.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/file.cpp -o src/file.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/flags.cpp -o src/flags.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/flip.cpp -o src/flip.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/format.cpp -o src/format.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/frattracer.cpp -o src/frattracer.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/gates.cpp -o src/gates.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/idruptracer.cpp -o src/idruptracer.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/instantiate.cpp -o src/instantiate.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/internal.cpp -o src/internal.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/ipasir.cpp -o src/ipasir.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/lidruptracer.cpp -o src/lidruptracer.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/limit.cpp -o src/limit.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/logging.cpp -o src/logging.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/lookahead.cpp -o src/lookahead.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/lratbuilder.cpp -o src/lratbuilder.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/lratchecker.cpp -o src/lratchecker.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/lrattracer.cpp -o src/lrattracer.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/lucky.cpp -o src/lucky.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/message.cpp -o src/message.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/minimize.cpp -o src/minimize.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/occs.cpp -o src/occs.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/options.cpp -o src/options.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/parse.cpp -o src/parse.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/phases.cpp -o src/phases.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/probe.cpp -o src/probe.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/profile.cpp -o src/profile.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/proof.cpp -o src/proof.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/propagate.cpp -o src/propagate.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/queue.cpp -o src/queue.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/random.cpp -o src/random.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/reap.cpp -o src/reap.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/reduce.cpp -o src/reduce.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/rephase.cpp -o src/rephase.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/report.cpp -o src/report.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/resources.cpp -o src/resources.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/restart.cpp -o src/restart.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/restore.cpp -o src/restore.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/score.cpp -o src/score.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/shrink.cpp -o src/shrink.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/signal.cpp -o src/signal.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/solution.cpp -o src/solution.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/solver.cpp -o src/solver.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/stats.cpp -o src/stats.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/subsume.cpp -o src/subsume.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/terminal.cpp -o src/terminal.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/ternary.cpp -o src/ternary.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/transred.cpp -o src/transred.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/util.cpp -o src/util.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/var.cpp -o src/var.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/veripbtracer.cpp -o src/veripbtracer.o
- /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/scripts/make-build-header.sh > build.hpp
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/vivify.cpp -o src/vivify.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/walk.cpp -o src/walk.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/watch.cpp -o src/watch.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/contrib/craigtracer.cpp -o contrib/craigtracer.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/cadical.cpp -o src/cadical.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/mobical.cpp -o src/mobical.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -c /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src/version.cpp -o src/version.o
- ar rc libcadical.a src/analyze.o src/arena.o src/assume.o src/averages.o src/backtrack.o src/backward.o src/bins.o src/block.o src/ccadical.o src/checker.o src/clause.o src/collect.o src/compact.o src/condition.o src/config.o src/constrain.o src/contract.o src/cover.o src/decide.o src/decompose.o src/deduplicate.o src/drattracer.o src/elim.o src/ema.o src/extend.o src/external.o src/external_propagate.o src/file.o src/flags.o src/flip.o src/format.o src/frattracer.o src/gates.o src/idruptracer.o src/instantiate.o src/internal.o src/ipasir.o src/lidruptracer.o src/limit.o src/logging.o src/lookahead.o src/lratbuilder.o src/lratchecker.o src/lrattracer.o src/lucky.o src/message.o src/minimize.o src/occs.o src/options.o src/parse.o src/phases.o src/probe.o src/profile.o src/proof.o src/propagate.o src/queue.o src/random.o src/reap.o src/reduce.o src/rephase.o src/report.o src/resources.o src/restart.o src/restore.o src/score.o src/shrink.o src/signal.o src/solution.o src/solver.o src/stats.o src/subsume.o src/terminal.o src/ternary.o src/transred.o src/util.o src/var.o src/veripbtracer.o src/version.o src/vivify.o src/walk.o src/watch.o contrib/craigtracer.o
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -o cadical src/cadical.o -L. -lcadical 
- g++ -Wall -Wextra -O3 -DNDEBUG -I../build -I/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/src -o mobical src/mobical.o -L. -lcadical
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/build'
- make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id)
- (cd _build/default/vendor/libpoly && /usr/bin/cmake -B build -DCMAKE_BUILD_TYPE=$type -DCMAKE_INSTALL_PREFIX=$prefix)
- -- The C compiler identification is GNU 12.2.0
- -- The CXX compiler identification is GNU 12.2.0
- -- Detecting C compiler ABI info
- -- Detecting C compiler ABI info - done
- -- Check for working C compiler: /usr/bin/cc - skipped
- -- Detecting C compile features
- -- Detecting C compile features - done
- -- Detecting CXX compiler ABI info
- -- Detecting CXX compiler ABI info - done
- -- Check for working CXX compiler: /usr/bin/c++ - skipped
- -- Detecting CXX compile features
- -- Detecting CXX compile features - done
- -- GMP headers: /usr/include/x86_64-linux-gnu
- -- GMP library: /usr/lib/x86_64-linux-gnu/libgmp.so
- -- Looking for open_memstream
- -- Looking for open_memstream - found
- -- Found PythonInterp: /usr/bin/python3 (found version "3.11.2") 
- -- Found PythonLibs: /usr/lib/x86_64-linux-gnu/libpython3.11.so (found version "3.11.2") 
- -- Configuring done
- -- Generating done
- -- Build files have been written to: /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/libpoly/build
- (cd _build/default/vendor/libpoly/build && /usr/bin/bash -e -u -o pipefail -c 'make -j $(opam var jobs)')
- [  0%] Building C object src/CMakeFiles/poly.dir/utils/debug_trace.c.o
- [  0%] Building C object src/CMakeFiles/poly.dir/utils/assignment.c.o
- [  0%] Building C object src/CMakeFiles/static_pic_poly.dir/utils/debug_trace.c.o
- [  1%] Building C object src/CMakeFiles/static_poly.dir/utils/debug_trace.c.o
- [  2%] Building C object src/CMakeFiles/poly.dir/utils/statistics.c.o
- [  3%] Building C object src/CMakeFiles/static_pic_poly.dir/utils/assignment.c.o
- [  3%] Building C object src/CMakeFiles/static_pic_poly.dir/utils/statistics.c.o
- [  3%] Building C object src/CMakeFiles/poly.dir/utils/output.c.o
- [  3%] Building C object src/CMakeFiles/static_poly.dir/utils/assignment.c.o
- [  4%] Building C object src/CMakeFiles/poly.dir/utils/sign_condition.c.o
- [  5%] Building C object src/CMakeFiles/static_pic_poly.dir/utils/output.c.o
- [  5%] Building C object src/CMakeFiles/static_pic_poly.dir/utils/sign_condition.c.o
- [  5%] Building C object src/CMakeFiles/poly.dir/utils/u_memstream.c.o
- [  6%] Building C object src/CMakeFiles/static_poly.dir/utils/statistics.c.o
- [  7%] Building C object src/CMakeFiles/static_pic_poly.dir/utils/u_memstream.c.o
- [  8%] Building C object src/CMakeFiles/poly.dir/number/integer.c.o
- [  8%] Building C object src/CMakeFiles/static_poly.dir/utils/output.c.o
- [  8%] Building C object src/CMakeFiles/static_pic_poly.dir/number/integer.c.o
- [  9%] Building C object src/CMakeFiles/static_pic_poly.dir/number/rational.c.o
- [  9%] Building C object src/CMakeFiles/static_poly.dir/utils/sign_condition.c.o
- [ 10%] Building C object src/CMakeFiles/static_poly.dir/utils/u_memstream.c.o
- [ 10%] Building C object src/CMakeFiles/poly.dir/number/rational.c.o
- [ 10%] Building C object src/CMakeFiles/static_poly.dir/number/integer.c.o
- [ 10%] Building C object src/CMakeFiles/static_pic_poly.dir/number/dyadic_rational.c.o
- [ 11%] Building C object src/CMakeFiles/poly.dir/number/dyadic_rational.c.o
- [ 11%] Building C object src/CMakeFiles/poly.dir/number/algebraic_number.c.o
- [ 11%] Building C object src/CMakeFiles/static_pic_poly.dir/number/algebraic_number.c.o
- [ 12%] Building C object src/CMakeFiles/static_poly.dir/number/rational.c.o
- [ 13%] Building C object src/CMakeFiles/poly.dir/number/value.c.o
- [ 14%] Building C object src/CMakeFiles/static_pic_poly.dir/number/value.c.o
- [ 14%] Building C object src/CMakeFiles/static_poly.dir/number/dyadic_rational.c.o
- [ 14%] Building C object src/CMakeFiles/static_pic_poly.dir/interval/interval.c.o
- [ 15%] Building C object src/CMakeFiles/static_poly.dir/number/algebraic_number.c.o
- [ 15%] Building C object src/CMakeFiles/poly.dir/interval/interval.c.o
- [ 16%] Building C object src/CMakeFiles/static_pic_poly.dir/interval/arithmetic.c.o
- [ 16%] Building C object src/CMakeFiles/static_poly.dir/number/value.c.o
- [ 17%] Building C object src/CMakeFiles/poly.dir/interval/arithmetic.c.o
- [ 17%] Building C object src/CMakeFiles/static_pic_poly.dir/variable/variable_db.c.o
- [ 18%] Building C object src/CMakeFiles/static_poly.dir/interval/interval.c.o
- [ 19%] Building C object src/CMakeFiles/static_pic_poly.dir/variable/variable_list.c.o
- [ 19%] Building C object src/CMakeFiles/poly.dir/variable/variable_db.c.o
- [ 19%] Building C object src/CMakeFiles/poly.dir/variable/variable_list.c.o
- [ 19%] Building C object src/CMakeFiles/static_pic_poly.dir/variable/variable_order.c.o
- [ 20%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/umonomial.c.o
- [ 20%] Building C object src/CMakeFiles/static_poly.dir/interval/arithmetic.c.o
- [ 21%] Building C object src/CMakeFiles/poly.dir/variable/variable_order.c.o
- [ 22%] Building C object src/CMakeFiles/static_poly.dir/variable/variable_db.c.o
- [ 22%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/upolynomial.c.o
- [ 22%] Building C object src/CMakeFiles/poly.dir/upolynomial/umonomial.c.o
- [ 22%] Building C object src/CMakeFiles/static_poly.dir/variable/variable_list.c.o
- [ 23%] Building C object src/CMakeFiles/poly.dir/upolynomial/upolynomial.c.o
- [ 24%] Building C object src/CMakeFiles/static_poly.dir/variable/variable_order.c.o
- [ 24%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/umonomial.c.o
- [ 25%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/output.c.o
- [ 25%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/upolynomial.c.o
- [ 25%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/upolynomial_dense.c.o
- [ 25%] Building C object src/CMakeFiles/poly.dir/upolynomial/output.c.o
- [ 26%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/output.c.o
- [ 26%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/upolynomial_dense.c.o
- [ 27%] Building C object src/CMakeFiles/poly.dir/upolynomial/upolynomial_dense.c.o
- [ 28%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/bounds.c.o
- [ 29%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/bounds.c.o
- [ 29%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/gcd.c.o
- [ 30%] Building C object src/CMakeFiles/poly.dir/upolynomial/gcd.c.o
- [ 30%] Building C object src/CMakeFiles/poly.dir/upolynomial/bounds.c.o
- [ 30%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/factors.c.o
- [ 30%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/gcd.c.o
- [ 30%] Building C object src/CMakeFiles/poly.dir/upolynomial/factors.c.o
- [ 31%] Building C object src/CMakeFiles/poly.dir/upolynomial/factorization.c.o
- [ 32%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/factors.c.o
- [ 32%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/factorization.c.o
- [ 33%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/factorization.c.o
- [ 33%] Building C object src/CMakeFiles/poly.dir/upolynomial/root_finding.c.o
- [ 34%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/root_finding.c.o
- [ 34%] Building C object src/CMakeFiles/static_poly.dir/upolynomial/upolynomial_vector.c.o
- [ 35%] Building C object src/CMakeFiles/poly.dir/upolynomial/upolynomial_vector.c.o
- [ 35%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/root_finding.c.o
- [ 35%] Building C object src/CMakeFiles/poly.dir/polynomial/monomial.c.o
- [ 35%] Building C object src/CMakeFiles/poly.dir/polynomial/coefficient.c.o
- [ 36%] Building C object src/CMakeFiles/static_poly.dir/polynomial/monomial.c.o
- [ 36%] Building C object src/CMakeFiles/static_poly.dir/polynomial/coefficient.c.o
- [ 37%] Building C object src/CMakeFiles/poly.dir/polynomial/output.c.o
- [ 38%] Building C object src/CMakeFiles/static_pic_poly.dir/upolynomial/upolynomial_vector.c.o
- [ 39%] Building C object src/CMakeFiles/static_poly.dir/polynomial/output.c.o
- [ 39%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/monomial.c.o
- [ 39%] Building C object src/CMakeFiles/poly.dir/polynomial/gcd.c.o
- [ 40%] Building C object src/CMakeFiles/poly.dir/polynomial/subres.c.o
- [ 41%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/coefficient.c.o
- [ 41%] Building C object src/CMakeFiles/poly.dir/polynomial/factorization.c.o
- [ 42%] Building C object src/CMakeFiles/poly.dir/polynomial/polynomial.c.o
- [ 42%] Building C object src/CMakeFiles/static_poly.dir/polynomial/gcd.c.o
- [ 42%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/output.c.o
- [ 43%] Building C object src/CMakeFiles/static_poly.dir/polynomial/subres.c.o
- [ 43%] Building C object src/CMakeFiles/poly.dir/polynomial/polynomial_context.c.o
- [ 43%] Building C object src/CMakeFiles/static_poly.dir/polynomial/factorization.c.o
- [ 43%] Building C object src/CMakeFiles/static_poly.dir/polynomial/polynomial.c.o
- [ 44%] Building C object src/CMakeFiles/poly.dir/polynomial/feasibility_set.c.o
- [ 45%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/gcd.c.o
- [ 45%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/subres.c.o
- [ 45%] Building C object src/CMakeFiles/poly.dir/polynomial/polynomial_hash_set.c.o
- [ 46%] Building C object src/CMakeFiles/static_poly.dir/polynomial/polynomial_context.c.o
- [ 47%] Building C object src/CMakeFiles/poly.dir/polynomial/polynomial_heap.c.o
- [ 48%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/factorization.c.o
- [ 48%] Building C object src/CMakeFiles/static_poly.dir/polynomial/feasibility_set.c.o
- [ 49%] Building C object src/CMakeFiles/static_poly.dir/polynomial/polynomial_hash_set.c.o
- [ 49%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/polynomial.c.o
- [ 49%] Building C object src/CMakeFiles/poly.dir/polynomial/polynomial_vector.c.o
- [ 49%] Building C object src/CMakeFiles/static_poly.dir/polynomial/polynomial_heap.c.o
- [ 50%] Building C object src/CMakeFiles/poly.dir/poly.c.o
- [ 51%] Building C object src/CMakeFiles/static_poly.dir/polynomial/polynomial_vector.c.o
- [ 51%] Linking C shared library libpoly.so
- [ 51%] Building C object src/CMakeFiles/static_poly.dir/poly.c.o
- [ 52%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/polynomial_context.c.o
- [ 52%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/feasibility_set.c.o
- [ 53%] Linking C static library libpoly.a
- [ 53%] Built target poly
- [ 54%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/algebraic_number.cpp.o
- [ 54%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/assignment.cpp.o
- [ 55%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/polynomial_hash_set.c.o
- [ 55%] Built target static_poly
- [ 55%] Building C object python/CMakeFiles/polypy.dir/polypyAlgebraicNumber.c.o
- [ 55%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/polynomial_heap.c.o
- [ 55%] Building C object src/CMakeFiles/static_pic_poly.dir/polynomial/polynomial_vector.c.o
- [ 56%] Building C object src/CMakeFiles/static_pic_poly.dir/poly.c.o
- [ 57%] Building C object python/CMakeFiles/polypy.dir/polypyAssignment.c.o
- [ 57%] Linking C static library libpicpoly.a
- [ 57%] Building C object python/CMakeFiles/polypy.dir/polypyInteger.c.o
- [ 57%] Built target static_pic_poly
- [ 57%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/algebraic_number.cpp.o
- [ 58%] Building C object python/CMakeFiles/polypy.dir/polypyPolynomial.c.o
- [ 59%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/algebraic_number.cpp.o
- [ 59%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/context.cpp.o
- [ 59%] Building C object python/CMakeFiles/polypy.dir/polypy.c.o
- [ 60%] Building C object python/CMakeFiles/polypy.dir/polypyUPolynomial.c.o
- [ 61%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/dyadic_interval.cpp.o
- [ 61%] Building C object python/CMakeFiles/polypy.dir/utils.c.o
- [ 62%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/assignment.cpp.o
- [ 63%] Building C object python/CMakeFiles/polypy.dir/polypyVariable.c.o
- [ 63%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/assignment.cpp.o
- [ 63%] Building C object python/CMakeFiles/polypy.dir/polypyVariableOrder.c.o
- [ 64%] Building C object python/CMakeFiles/polypy.dir/polypyValue.c.o
- [ 64%] Building C object python/CMakeFiles/polypy.dir/polypyInterval.c.o
- [ 65%] Building C object python/CMakeFiles/polypy.dir/polypyFeasibilitySet.c.o
- [ 65%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/dyadic_rational.cpp.o
- [ 65%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/context.cpp.o
- [ 65%] Linking C shared module polypy.so
- [ 65%] Built target polypy
- [ 66%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/context.cpp.o
- [ 67%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/integer_ring.cpp.o
- [ 68%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/dyadic_interval.cpp.o
- [ 68%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/dyadic_interval.cpp.o
- [ 68%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/integer.cpp.o
- [ 69%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/dyadic_rational.cpp.o
- [ 69%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/dyadic_rational.cpp.o
- [ 69%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/integer_ring.cpp.o
- [ 70%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/integer.cpp.o
- [ 70%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/integer_ring.cpp.o
- [ 71%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/interval_assignment.cpp.o
- [ 72%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/integer.cpp.o
- [ 72%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/interval_assignment.cpp.o
- [ 72%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/interval_assignment.cpp.o
- [ 72%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/interval.cpp.o
- [ 73%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/interval.cpp.o
- [ 74%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/interval.cpp.o
- [ 74%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/polynomial.cpp.o
- [ 75%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/polynomial.cpp.o
- [ 75%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/polynomial.cpp.o
- [ 75%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/polynomial_utils.cpp.o
- [ 75%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/polynomial_utils.cpp.o
- [ 76%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/polynomial_utils.cpp.o
- [ 76%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/rational.cpp.o
- [ 77%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/rational.cpp.o
- [ 78%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/rational.cpp.o
- [ 78%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/rational_interval.cpp.o
- [ 79%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/rational_interval.cpp.o
- [ 79%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/rational_interval.cpp.o
- [ 80%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/sign_condition.cpp.o
- [ 80%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/upolynomial.cpp.o
- [ 81%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/sign_condition.cpp.o
- [ 81%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/sign_condition.cpp.o
- [ 82%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/upolynomial.cpp.o
- [ 82%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/upolynomial.cpp.o
- [ 82%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/utils.cpp.o
- [ 83%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/utils.cpp.o
- [ 83%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/utils.cpp.o
- [ 83%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/value.cpp.o
- [ 84%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/value.cpp.o
- [ 85%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/value.cpp.o
- [ 86%] Building CXX object src/CMakeFiles/static_pic_polyxx.dir/polyxx/variable.cpp.o
- [ 86%] Building CXX object src/CMakeFiles/static_polyxx.dir/polyxx/variable.cpp.o
- [ 86%] Building CXX object src/CMakeFiles/polyxx.dir/polyxx/variable.cpp.o
- [ 86%] Linking CXX static library libpolyxx.a
- [ 86%] Linking CXX static library libpicpolyxx.a
- [ 86%] Built target static_polyxx
- [ 86%] Built target static_pic_polyxx
- [ 87%] Linking CXX shared library libpolyxx.so
- [ 87%] Built target polyxx
- [ 89%] Building CXX object test/polyxx/CMakeFiles/test_dyadic_rational.dir/test_dyadic_rational.cpp.o
- [ 89%] Building CXX object test/polyxx/CMakeFiles/test_assignment.dir/test_assignment.cpp.o
- [ 90%] Building CXX object test/polyxx/CMakeFiles/test_algebraic_number.dir/test_algebraic_number.cpp.o
- [ 91%] Building CXX object test/polyxx/CMakeFiles/test_dyadic_interval.dir/test_dyadic_interval.cpp.o
- [ 91%] Linking CXX executable test_dyadic_interval
- [ 91%] Built target test_dyadic_interval
- [ 92%] Building CXX object test/polyxx/CMakeFiles/test_integer.dir/test_integer.cpp.o
- [ 92%] Linking CXX executable test_assignment
- [ 92%] Built target test_assignment
- [ 93%] Building CXX object test/polyxx/CMakeFiles/test_interval.dir/test_interval.cpp.o
- [ 93%] Linking CXX executable test_algebraic_number
- [ 93%] Built target test_algebraic_number
- [ 93%] Building CXX object test/polyxx/CMakeFiles/test_interval_assignment.dir/test_interval_assignment.cpp.o
- [ 93%] Linking CXX executable test_dyadic_rational
- [ 93%] Built target test_dyadic_rational
- [ 93%] Building CXX object test/polyxx/CMakeFiles/test_polynomial.dir/test_polynomial.cpp.o
- [ 93%] Linking CXX executable test_integer
- [ 93%] Built target test_integer
- [ 93%] Building CXX object test/polyxx/CMakeFiles/test_rational.dir/test_rational.cpp.o
- [ 94%] Linking CXX executable test_interval_assignment
- [ 94%] Linking CXX executable test_interval
- [ 94%] Built target test_interval_assignment
- [ 94%] Building CXX object test/polyxx/CMakeFiles/test_rational_interval.dir/test_rational_interval.cpp.o
- [ 95%] Linking CXX executable test_polynomial
- [ 95%] Built target test_interval
- [ 95%] Building CXX object test/polyxx/CMakeFiles/test_upolynomial.dir/test_upolynomial.cpp.o
- [ 95%] Built target test_polynomial
- [ 95%] Building CXX object test/polyxx/CMakeFiles/test_value.dir/test_value.cpp.o
- [ 96%] Linking CXX executable test_rational
- [ 96%] Built target test_rational
- [ 96%] Building CXX object test/polyxx/CMakeFiles/test_variable.dir/test_variable.cpp.o
- [ 97%] Linking CXX executable test_rational_interval
- [ 97%] Built target test_rational_interval
- [ 98%] Linking CXX executable test_value
- [ 98%] Built target test_value
- [ 99%] Linking CXX executable test_upolynomial
- [ 99%] Built target test_upolynomial
- [100%] Linking CXX executable test_variable
- [100%] Built target test_variable
- File "dune", lines 7-42, characters 0-958:
-  7 | (rule
-  8 |  (deps
-  9 |   (source_tree vendor))
- ....
- 40 |       (bash "make -C build -j $(opam var jobs)")))
- 41 |     (copy vendor/cvc5/build/src/libcvc5.a libcvc5.a)
- 42 |     (copy vendor/cvc5/build/include/cvc5/cvc5_export.h cvc5_export.h)))))
- (cd _build/default/vendor/cvc5 && /usr/bin/bash -e -u -o pipefail -c './configure.sh --static')
- -- The C compiler identification is GNU 12.2.0
- -- The CXX compiler identification is GNU 12.2.0
- -- Detecting C compiler ABI info
- -- Detecting C compiler ABI info - done
- -- Check for working C compiler: /usr/bin/cc - skipped
- -- Detecting C compile features
- -- Detecting C compile features - done
- -- Detecting CXX compiler ABI info
- -- Detecting CXX compiler ABI info - done
- -- Check for working CXX compiler: /usr/bin/c++ - skipped
- -- Detecting CXX compile features
- -- Detecting CXX compile features - done
- -- Found Git: /usr/bin/git (found version "2.39.5") 
- fatal: not a git repository: /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/../../.git/modules/vendor/cvc5
- -- Building Production build
- -- Performing Test HAVE_C_FLAG_O3
- -- Performing Test HAVE_C_FLAG_O3 - Success
- -- Configuring with C flag '-O3'
- -- Performing Test HAVE_CXX_FLAG_O3
- -- Performing Test HAVE_CXX_FLAG_O3 - Success
- -- Configuring with CXX flag '-O3'
- -- Performing Test HAVE_C_FLAG_Wall
- -- Performing Test HAVE_C_FLAG_Wall - Success
- -- Configuring with C flag '-Wall'
- -- Performing Test HAVE_CXX_FLAG_Wall
- -- Performing Test HAVE_CXX_FLAG_Wall - Success
- -- Configuring with CXX flag '-Wall'
- -- Performing Test HAVE_C_FLAG_Wunused_private_field
- -- Performing Test HAVE_C_FLAG_Wunused_private_field - Failed
- -- Performing Test HAVE_CXX_FLAG_Wunused_private_field
- -- Performing Test HAVE_CXX_FLAG_Wunused_private_field - Failed
- -- Performing Test HAVE_C_FLAG_fexceptions
- -- Performing Test HAVE_C_FLAG_fexceptions - Success
- -- Configuring with C flag '-fexceptions'
- -- Performing Test HAVE_CXX_FLAG_Wsuggest_override
- -- Performing Test HAVE_CXX_FLAG_Wsuggest_override - Success
- -- Configuring with CXX flag '-Wsuggest-override'
- -- Performing Test HAVE_CXX_FLAG_Wnon_virtual_dtor
- -- Performing Test HAVE_CXX_FLAG_Wnon_virtual_dtor - Success
- -- Configuring with CXX flag '-Wnon-virtual-dtor'
- -- Performing Test HAVE_C_FLAG_Wimplicit_fallthrough
- -- Performing Test HAVE_C_FLAG_Wimplicit_fallthrough - Success
- -- Configuring with C flag '-Wimplicit-fallthrough'
- -- Performing Test HAVE_CXX_FLAG_Wimplicit_fallthrough
- -- Performing Test HAVE_CXX_FLAG_Wimplicit_fallthrough - Success
- -- Configuring with CXX flag '-Wimplicit-fallthrough'
- -- Performing Test HAVE_C_FLAG_Wshadow
- -- Performing Test HAVE_C_FLAG_Wshadow - Success
- -- Configuring with C flag '-Wshadow'
- -- Performing Test HAVE_CXX_FLAG_Wshadow
- -- Performing Test HAVE_CXX_FLAG_Wshadow - Success
- -- Configuring with CXX flag '-Wshadow'
- -- Performing Test HAVE_CXX_FLAG_fno_extern_tls_init
- -- Performing Test HAVE_CXX_FLAG_fno_extern_tls_init - Success
- -- Configuring with CXX flag '-fno-extern-tls-init'
- -- Performing Test HAVE_CXX_FLAG_Wclass_memaccess
- -- Performing Test HAVE_CXX_FLAG_Wclass_memaccess - Success
- -- Configuring with CXX flag '-Wno-class-memaccess'
- -- Using GNU gold linker.
- -- Disabling unit tests since assertions are disabled.
- -- Found Python: /usr/bin/python3 (found version "3.11.2") found components: Interpreter 
- -- Found GMP 6.2.1: /usr/lib/x86_64-linux-gnu/libgmp.a
- -- Found CaDiCaL 2.0.0
- : /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cadical/build/libcadical.a
- -- Found Poly 0.1.13: /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/libpoly/build/src/libpicpoly.a, /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/libpoly/build/src/libpicpolyxx.a
- -- Found SymFPU: /home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor
- -- Performing Test CVC5_NEED_INT64_T_OVERLOADS
- -- Performing Test CVC5_NEED_INT64_T_OVERLOADS - Failed
- -- Performing Test CVC5_NEED_HASH_UINT64_T_OVERLOAD
- -- Performing Test CVC5_NEED_HASH_UINT64_T_OVERLOAD - Failed
- -- Looking for unistd.h
- -- Looking for unistd.h - found
- -- Looking for sys/wait.h
- -- Looking for sys/wait.h - found
- -- Looking for C++ include ext/stdio_filebuf.h
- -- Looking for C++ include ext/stdio_filebuf.h - found
- -- Looking for clock_gettime
- -- Looking for clock_gettime - found
- -- Looking for ffs
- -- Looking for ffs - found
- -- Looking for optreset
- -- Looking for optreset - not found
- -- Looking for sigaltstack
- -- Looking for sigaltstack - found
- -- Looking for strerror_r
- -- Looking for strerror_r - found
- -- Looking for strtok_r
- -- Looking for strtok_r - found
- -- Looking for setitimer
- -- Looking for setitimer - found
- -- Performing Test STRERROR_R_CHAR_P
- -- Performing Test STRERROR_R_CHAR_P - Failed
- CMake Error at cmake/Helpers.cmake:250 (message):
-   Could not find module pyparsing for Python version 3.11.  Make sure to
-   install pyparsing for this Python version via
- 
-   `/usr/bin/python3 -m pip install pyparsing'.
- 
-   Note: You need to have pip installed for this Python version.
- Call Stack (most recent call first):
-   src/rewriter/CMakeLists.txt:17 (check_python_module)
- 
- 
- -- Configuring incomplete, errors occurred!
- See also "/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/build/CMakeFiles/CMakeOutput.log".
- See also "/home/opam/.opam/default/.opam-switch/build/cvc5.1.1.3~unreleased/_build/default/vendor/cvc5/build/CMakeFiles/CMakeError.log".
[ERROR] The compilation of cvc5.1.1.3~unreleased failed at "dune build -p cvc5 -j 39 @install".
build failed... 

=== STDERR ===

2026-06-16 12:36.39: FAILED: build cvc5.1.1.3~unreleased
2026-06-16 12:38.53: Job failed: build failed: cvc5.1.1.3~unreleased