=> Bootstrap dependency digest>=20211023: found digest-20220214
=> Checksum BLAKE2s OK for cvc5-1.3.4.tar.gz
=> Checksum SHA512 OK for cvc5-1.3.4.tar.gz
===> Installing dependencies for cvc5-1.3.4
==========================================================================
The following variables will affect the build process of this package,
cvc5-1.3.4.  Their current value is shown below:

        * PYTHON_VERSION_DEFAULT = 313

Based on these variables, the following variables have been set:

        * PYPACKAGE = python313

You may want to abort the process now with CTRL-C and change the value
of variables in the first group before continuing.  Be sure to run
`/usr/bin/make clean' after the changes.
==========================================================================
=> Tool dependency cmake>=0: found cmake-4.3.4
=> Tool dependency python313>=3.13: found python313-3.13.14
=> Tool dependency mktools-[0-9]*: found mktools-20250213
=> Tool dependency git-base-[0-9]*: found git-base-2.55.0
=> Tool dependency cwrappers>=20150314: found cwrappers-20220403
=> Tool dependency checkperms>=1.1: found checkperms-1.12
=> Full dependency py313-pyparsing>=3.0.9: found py313-pyparsing-3.3.2
=> Full dependency cadical>=2.1.3: found cadical-2.1.3
=> Full dependency gmp>=5.0.1: found gmp-6.3.0
=> Full dependency libpoly>=0.2.1: found libpoly-0.2.1
=> Full dependency symfpu>=1.2.0: found symfpu-1.2.0
===> Skipping vulnerability checks.
WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found.
WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'.
===> Overriding tools for cvc5-1.3.4
===> Extracting for cvc5-1.3.4
===> Patching for cvc5-1.3.4
===> Creating toolchain wrappers for cvc5-1.3.4
===> Configuring for cvc5-1.3.4
=> Checking for portability problems in extracted files
-- The C compiler identification is GNU 7.5.0
-- The CXX compiler identification is GNU 7.5.0
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /tmp/math/cvc5/work/.cwrapper/bin/gcc - 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: /tmp/math/cvc5/work/.cwrapper/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Found Git: /usr/pkg/bin/git (found version "2.55.0")
fatal: not a git repository (or any parent up to mount point /)
Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
-- Building Production build
CMake Error at cmake/Helpers.cmake:17 (message):
  GNU version must be at least 10
Call Stack (most recent call first):
  CMakeLists.txt:258 (check_min_compiler_version)


-- Configuring incomplete, errors occurred!
*** Error code 1

Stop.
make[1]: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/math/cvc5
*** Error code 1

Stop.
make: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/math/cvc5