=> Bootstrap dependency digest>=20211023: found digest-20220214 => Checksum BLAKE2s OK for z3-4.12.2.tar.gz => Checksum SHA512 OK for z3-4.12.2.tar.gz ===> Installing dependencies for z3-4.12.2nb1 ========================================================================== The following variables will affect the build process of this package, z3-4.12.2nb1. 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.7 => Tool dependency cmake>=0: found cmake-3.28.1 => 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.2nb1 ===> Extracting for z3-4.12.2nb1 ===> Patching for z3-4.12.2nb1 => Applying pkgsrc patches for z3-4.12.2nb1 ===> Creating toolchain wrappers for z3-4.12.2nb1 ===> Configuring for z3-4.12.2nb1 CMake Deprecation Warning at CMakeLists.txt:2 (cmake_minimum_required): Compatibility with CMake < 3.5 will be removed from a future version of CMake. Update the VERSION argument value or use a ... suffix to tell CMake that the project does not need compatibility with older versions. -- 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.2.0 -- Failed to find git directory. CMake Warning at CMakeLists.txt:44 (message): Disabling Z3_INCLUDE_GIT_DESCRIBE Call Stack (most recent call first): CMakeLists.txt:93 (disable_git_describe) CMake Warning at CMakeLists.txt:48 (message): Disabling Z3_INCLUDE_GIT_HASH Call Stack (most recent call first): CMakeLists.txt:94 (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 CMake Warning (dev) at CMakeLists.txt:156 (find_package): Policy CMP0148 is not set: The FindPythonInterp and FindPythonLibs modules are removed. Run "cmake --help-policy CMP0148" for policy details. Use the cmake_policy command to set the policy and suppress this warning. This warning is for project developers. Use -Wno-dev to suppress it. -- Found PythonInterp: /pbulk/work/math/z3/work/.buildlink/bin/python (found suitable version "3.11.7", minimum required is "3") -- PYTHON_EXECUTABLE: /pbulk/work/math/z3/work/.buildlink/bin/python -- 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 -- 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:376 (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