=> Bootstrap dependency digest>=20211023: found digest-20220214 => Checksum BLAKE2s OK for z3-4.14.0.tar.gz => Checksum SHA512 OK for z3-4.14.0.tar.gz ===> Installing dependencies for z3-4.14.0 ========================================================================== The following variables will affect the build process of this package, z3-4.14.0. Their current value is shown below: * PYTHON_VERSION_DEFAULT = 312 Based on these variables, the following variables have been set: * PYPACKAGE = python312 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 python312>=3.12: found python312-3.12.9 => Tool dependency cmake>=0: found cmake-3.31.5 => Tool dependency mktools-[0-9]*: found mktools-20250213 => Tool dependency cwrappers>=20150314: found cwrappers-20220403 => Tool dependency checkperms>=1.1: found checkperms-1.12 ===> 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.14.0 ===> Extracting for z3-4.14.0 ===> Patching for z3-4.14.0 => Applying pkgsrc patches for z3-4.14.0 => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/math/z3/../../math/z3/patches/patch-scripts_mk__util.py => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/math/z3/../../math/z3/patches/patch-scripts_mk__util.py Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-scripts_mk__util.py,v 1.9 2025/02/20 10:27:01 adam Exp $ | |Try to at least be slightly more portable. | |--- scripts/mk_util.py.orig 2025-02-18 21:41:31.000000000 +0000 |+++ scripts/mk_util.py -------------------------- Patching file scripts/mk_util.py using Plan A... Hunk #1 succeeded at 1880. Hunk #2 succeeded at 2599. Hunk #3 succeeded at 2673. Hunk #4 succeeded at 2723. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/math/z3/../../math/z3/patches/patch-src_api_python_setup.py => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/math/z3/../../math/z3/patches/patch-src_api_python_setup.py Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_api_python_setup.py,v 1.2 2025/02/20 10:27:01 adam Exp $ | |Some platforms do not support LTO. | |--- src/api/python/setup.py.orig 2025-02-18 21:41:31.000000000 +0000 |+++ src/api/python/setup.py -------------------------- Patching file src/api/python/setup.py using Plan A... Hunk #1 succeeded at 26. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/math/z3/../../math/z3/patches/patch-src_ast_rewriter_seq__eq__solver.cpp => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/math/z3/../../math/z3/patches/patch-src_ast_rewriter_seq__eq__solver.cpp Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_ast_rewriter_seq__eq__solver.cpp,v 1.1 2023/05/25 10:53:24 jperkin Exp $ | |Avoid ambiguous function call. | |--- src/ast/rewriter/seq_eq_solver.cpp.orig 2023-05-12 19:59:04.000000000 +0000 |+++ src/ast/rewriter/seq_eq_solver.cpp -------------------------- Patching file src/ast/rewriter/seq_eq_solver.cpp using Plan A... Hunk #1 succeeded at 284. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/math/z3/../../math/z3/patches/patch-src_sat_sat__lookahead.cpp => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/math/z3/../../math/z3/patches/patch-src_sat_sat__lookahead.cpp Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_sat_sat__lookahead.cpp,v 1.1 2022/05/13 10:41:38 jperkin Exp $ | |Avoid ambiguous function call. | |--- src/sat/sat_lookahead.cpp.orig 2018-11-19 20:21:17.000000000 +0000 |+++ src/sat/sat_lookahead.cpp -------------------------- Patching file src/sat/sat_lookahead.cpp using Plan A... Hunk #1 succeeded at 26 (offset -1 lines). done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/math/z3/../../math/z3/patches/patch-src_sat_sat__solver.cpp => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/math/z3/../../math/z3/patches/patch-src_sat_sat__solver.cpp Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_sat_sat__solver.cpp,v 1.2 2023/05/11 06:43:43 adam Exp $ | |Avoid ambiguous function call. | |--- src/sat/sat_solver.cpp.orig 2023-05-08 13:23:26.000000000 +0000 |+++ src/sat/sat_solver.cpp -------------------------- Patching file src/sat/sat_solver.cpp using Plan A... Hunk #1 succeeded at 37. done ===> Creating toolchain wrappers for z3-4.14.0 ===> Configuring for z3-4.14.0 => Checking for portability problems in extracted files -- The CXX compiler identification is GNU 7.5.0 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /tmp/math/z3/work/.cwrapper/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Z3 version 4.14.0.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: /tmp/math/z3/work/.buildlink/bin/python3 (found version "3.12.9") found components: Interpreter -- Python3_EXECUTABLE: /tmp/math/z3/work/.buildlink/bin/python3 -- Detected target architecture: x86_64 -- Not using libgmp -- Not using Z3_API_LOG_SYNC -- Thread-safe build -- Performing Test HAS_SSE2 CMake Error in /tmp/math/z3/work/z3-z3-4.14.0/cmake-pkgsrc-build/CMakeFiles/CMakeScratch/TryCompile-aacNni/CMakeLists.txt: Target "cmTC_73359" requires the language dialect "CXX20" (with compiler extensions). But the current compiler "GNU" does not support this, or CMake does not know the flags to enable it. CMake Error at /usr/pkg/share/cmake-3.31/Modules/Internal/CheckSourceCompiles.cmake:108 (try_compile): Failed to generate test project build system. Call Stack (most recent call first): /usr/pkg/share/cmake-3.31/Modules/Internal/CheckCompilerFlag.cmake:18 (cmake_check_source_compiles) /usr/pkg/share/cmake-3.31/Modules/CheckCXXCompilerFlag.cmake:55 (cmake_check_compiler_flag) CMakeLists.txt:284 (CHECK_CXX_COMPILER_FLAG) -- Configuring incomplete, errors occurred! *** Error code 1 Stop. make[1]: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/math/z3 *** Error code 1 Stop. make: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/math/z3