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

        * PYTHON_VERSION_DEFAULT = 311

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

        * PYPACKAGE = python311

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 python311>=3.11: found python311-3.11.8
=> Tool dependency cmake>=0: found cmake-3.28.3
=> Tool dependency mktools-[0-9]*: found mktools-20220614
=> Tool dependency cwrappers>=20150314: found cwrappers-20220403
===> 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 z3-4.12.5
===> Extracting for z3-4.12.5
===> Patching for z3-4.12.5
=> Applying pkgsrc patches for z3-4.12.5
===> Creating toolchain wrappers for z3-4.12.5
===> Configuring for z3-4.12.5
-- The CXX compiler identification is GNU 10.5.0
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /pbulk/work/math/z3/work/.cwrapper/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Z3 version 4.12.5.0
-- Failed to find git directory.
CMake Warning at CMakeLists.txt:45 (message):
  Disabling Z3_INCLUDE_GIT_DESCRIBE
Call Stack (most recent call first):
  CMakeLists.txt:96 (disable_git_describe)


CMake Warning at CMakeLists.txt:51 (message):
  Disabling Z3_INCLUDE_GIT_HASH
Call Stack (most recent call first):
  CMakeLists.txt:97 (disable_git_hash)


-- CMake generator: Unix Makefiles
-- CMAKE_BUILD_TYPE is not set. Setting default
-- The available build types are: Debug;Release;RelWithDebInfo;MinSizeRel
-- Build type: RelWithDebInfo
-- Found Python3: /pbulk/work/math/z3/work/.buildlink/bin/python3 (found version "3.11.8") found components: Interpreter 
-- Python3_EXECUTABLE: /pbulk/work/math/z3/work/.buildlink/bin/python3
-- Detected target architecture: i686
-- Not using libgmp
-- Not using Z3_API_LOG_SYNC
-- Thread-safe build
-- Performing Test HAS_SSE2
-- Performing Test HAS_SSE2 - Success
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed
-- Check if compiler accepts -pthread
-- Check if compiler accepts -pthread - yes
-- Found Threads: TRUE  
-- Performing Test HAS__Wall
-- Performing Test HAS__Wall - Success
-- C++ compiler supports -Wall
-- Treating only serious compiler warnings as errors
-- Performing Test HAS__Werror_odr
-- Performing Test HAS__Werror_odr - Success
-- C++ compiler supports -Werror=odr
-- Performing Test HAS__Werror_return_type
-- Performing Test HAS__Werror_return_type - Success
-- C++ compiler supports -Werror=return-type
-- LTO disabled
-- Performing Test BUILTIN_ATOMIC
-- Performing Test BUILTIN_ATOMIC - Failed
-- Performing Test ATOMICS_REQUIRE_LIBATOMIC
-- Performing Test ATOMICS_REQUIRE_LIBATOMIC - Failed
CMake Error at cmake/check_link_atomic.cmake:21 (message):
  Host compiler must support std::atomic!
Call Stack (most recent call first):
  CMakeLists.txt:382 (include)


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

Stop.
make[1]: stopped in /usr/pkgsrc/math/z3
*** Error code 1

Stop.
make: stopped in /usr/pkgsrc/math/z3