+ case "${usergroup_phase}" in
+ local run_cmd
+ run_cmd=run_su
+ shift
+ run_su /opt/local/bin/bmake configure BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=311 WRKLOG=/tmp/bulklog/z3-4.12.5/work.log
+ su pbulk -c '"$@"' make /opt/local/bin/bmake configure BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=311 WRKLOG=/tmp/bulklog/z3-4.12.5/work.log
=> 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
`/opt/local/bin/bmake 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
=> Tool dependency checkperms>=1.1: found checkperms-1.12
=> Build dependency gcc13>=13.1.0: found gcc13-13.2.0
=> Full dependency gcc13-libs>=13.2.0: found gcc13-libs-13.2.0
===> 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
=> Verifying /data/jenkins/workspace/pkgsrc-trunk-x86_64/math/z3/../../math/z3/patches/patch-scripts_mk__util.py
=> Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-trunk-x86_64/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.8 2023/05/11 06:43:43 adam Exp $
|
|Try to at least be slightly more portable.
|
|--- scripts/mk_util.py.orig	2023-01-18 03:10:26.000000000 +0000
|+++ scripts/mk_util.py
--------------------------
Patching file scripts/mk_util.py using Plan A...
Hunk #1 succeeded at 1860 (offset 2 lines).
Hunk #2 succeeded at 2579 (offset 2 lines).
Hunk #3 succeeded at 2650 (offset 2 lines).
Hunk #4 succeeded at 2700 (offset 2 lines).
done
=> Verifying /data/jenkins/workspace/pkgsrc-trunk-x86_64/math/z3/../../math/z3/patches/patch-src_api_python_setup.py
=> Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-trunk-x86_64/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.1 2023/05/11 06:43:43 adam Exp $
|
|Some platforms do not support LTO.
|
|--- src/api/python/setup.py.orig	2023-05-10 16:39:33.324575995 +0000
|+++ src/api/python/setup.py
--------------------------
Patching file src/api/python/setup.py using Plan A...
Hunk #1 succeeded at 110.
done
=> Verifying /data/jenkins/workspace/pkgsrc-trunk-x86_64/math/z3/../../math/z3/patches/patch-src_ast_rewriter_seq__eq__solver.cpp
=> Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-trunk-x86_64/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 /data/jenkins/workspace/pkgsrc-trunk-x86_64/math/z3/../../math/z3/patches/patch-src_sat_sat__lookahead.cpp
=> Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-trunk-x86_64/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 /data/jenkins/workspace/pkgsrc-trunk-x86_64/math/z3/../../math/z3/patches/patch-src_sat_sat__solver.cpp
=> Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-trunk-x86_64/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.12.5
===> Configuring for z3-4.12.5
=> Checking for portability problems in extracted files
-- The CXX compiler identification is GNU 13.2.0
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /home/pbulk/build/math/z3/work/.cwrapper/bin/g++ - 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: /home/pbulk/build/math/z3/work/.buildlink/bin/python3 (found version "3.11.8") found components: Interpreter 
-- Python3_EXECUTABLE: /home/pbulk/build/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
-- Performing Test HAS_SSE2 - Success
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
-- 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 - Success
-- CMAKE_CXX_FLAGS: "-pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/usr/include -I/opt/local/include -Werror=odr  -Werror=return-type "
-- CMAKE_EXE_LINKER_FLAGS: "-L/opt/local/gcc13/lib/gcc/x86_64-sun-solaris2.11/13.2.0 -Wl,-R/opt/local/gcc13/lib/gcc/x86_64-sun-solaris2.11/13.2.0 -L/usr/lib/amd64 -Wl,-R/usr/lib/amd64 -L/opt/local/lib -Wl,-R/opt/local/lib"
-- CMAKE_STATIC_LINKER_FLAGS: ""
-- CMAKE_SHARED_LINKER_FLAGS: "-L/opt/local/gcc13/lib/gcc/x86_64-sun-solaris2.11/13.2.0 -Wl,-R/opt/local/gcc13/lib/gcc/x86_64-sun-solaris2.11/13.2.0 -L/usr/lib/amd64 -Wl,-R/usr/lib/amd64 -L/opt/local/lib -Wl,-R/opt/local/lib"
-- CMAKE_CXX_FLAGS_RELWITHDEBINFO: "-O2 -g -DNDEBUG"
-- CMAKE_EXE_LINKER_FLAGS_RELWITHDEBINFO: ""
-- CMAKE_SHARED_LINKER_FLAGS_RELWITHDEBINFO: ""
-- CMAKE_STATIC_LINKER_FLAGS_RELWITHDEBINFO: ""
-- Z3_COMPONENT_CXX_DEFINES: $<$<CONFIG:Debug>:Z3DEBUG>;$<$<CONFIG:Release>:_EXTERNAL_RELEASE>;$<$<CONFIG:RelWithDebInfo>:_EXTERNAL_RELEASE>;-D_MP_INTERNAL;$<$<CONFIG:Debug>:_TRACE>
-- Z3_COMPONENT_CXX_FLAGS: -mfpmath=sse;-msse;-msse2;-Wall
-- Z3_DEPENDENT_LIBS: Threads::Threads
-- Z3_COMPONENT_EXTRA_INCLUDE_DIRS: /home/pbulk/build/math/z3/work/z3-z3-4.12.5/cmake-pkgsrc-build/src;/home/pbulk/build/math/z3/work/z3-z3-4.12.5/src
-- Z3_DEPENDENT_EXTRA_CXX_LINK_FLAGS: 
-- CMAKE_INSTALL_LIBDIR: "lib"
-- CMAKE_INSTALL_BINDIR: "bin"
-- CMAKE_INSTALL_INCLUDEDIR: "include"
-- CMAKE_INSTALL_PKGCONFIGDIR: "lib/pkgconfig"
-- CMAKE_INSTALL_Z3_CMAKE_PACKAGE_DIR: "lib/cmake/z3"
-- Adding component util
-- Adding component polynomial
-- Adding rule to generate "algebraic_params.hpp"
-- Adding component dd
-- Adding component hilbert
-- Adding component simplex
-- Adding component automata
-- Adding component interval
-- Adding component realclosure
-- Adding rule to generate "rcf_params.hpp"
-- Adding component subpaving
-- Adding component ast
-- Adding rule to generate "pp_params.hpp"
-- Adding component params
-- Adding rule to generate "arith_rewriter_params.hpp"
-- Adding rule to generate "array_rewriter_params.hpp"
-- Adding rule to generate "bool_rewriter_params.hpp"
-- Adding rule to generate "bv_rewriter_params.hpp"
-- Adding rule to generate "fpa_rewriter_params.hpp"
-- Adding rule to generate "fpa2bv_rewriter_params.hpp"
-- Adding rule to generate "pattern_inference_params_helper.hpp"
-- Adding rule to generate "poly_rewriter_params.hpp"
-- Adding rule to generate "rewriter_params.hpp"
-- Adding rule to generate "seq_rewriter_params.hpp"
-- Adding rule to generate "sls_params.hpp"
-- Adding rule to generate "solver_params.hpp"
-- Adding rule to generate "tactic_params.hpp"
-- Adding component rewriter
-- Adding component bit_blaster
-- Adding component normal_forms
-- Adding rule to generate "nnf_params.hpp"
-- Adding component macros
-- Adding component model
-- Adding rule to generate "model_evaluator_params.hpp"
-- Adding rule to generate "model_params.hpp"
-- Adding component euf
-- Adding component converters
-- Adding component substitution
-- Adding component simplifiers
-- Adding component ast_sls
-- Adding component tactic
-- Adding component mbp
-- Adding component qe_lite
-- Adding component smt_params
-- Adding rule to generate "smt_params_helper.hpp"
-- Adding component parser_util
-- Adding rule to generate "parser_params.hpp"
-- Adding component grobner
-- Adding component sat
-- Adding rule to generate "sat_asymm_branch_params.hpp"
-- Adding rule to generate "sat_params.hpp"
-- Adding rule to generate "sat_scc_params.hpp"
-- Adding rule to generate "sat_simplifier_params.hpp"
-- Adding component nlsat
-- Adding rule to generate "nlsat_params.hpp"
-- Adding component core_tactics
-- Adding component subpaving_tactic
-- Adding component aig_tactic
-- Adding component arith_tactics
-- Adding component solver
-- Adding rule to generate "combined_solver_params.hpp"
-- Adding rule to generate "parallel_params.hpp"
-- Adding component cmd_context
-- Adding component extra_cmds
-- Adding component smt2parser
-- Adding component solver_assertions
-- Adding component pattern
-- Adding component lp
-- Adding component sat_smt
-- Adding component sat_tactic
-- Adding component nlsat_tactic
-- Adding component ackermannization
-- Adding rule to generate "ackermannization_params.hpp"
-- Adding rule to generate "ackermannize_bv_tactic_params.hpp"
-- Adding component proofs
-- Adding component fpa
-- Adding component proto_model
-- Adding component smt
-- Adding component bv_tactics
-- Adding component smt_tactic
-- Adding component sls_tactic
-- Adding component qe
-- Adding component muz
-- Adding rule to generate "fp_params.hpp"
-- Adding component dataflow
-- Adding component transforms
-- Adding component rel
-- Adding component clp
-- Adding component tab
-- Adding component bmc
-- Adding component ddnf
-- Adding component spacer
-- Adding component fp
-- Adding component ufbv_tactic
-- Adding component sat_solver
-- Adding component smtlogic_tactics
-- Adding rule to generate "qfufbv_tactic_params.hpp"
-- Adding component fpa_tactics
-- Adding component fd_solver
-- Adding component portfolio
-- Adding component opt
-- Adding rule to generate "opt_params.hpp"
-- Adding component api
-- Adding component api_dll
-- Adding component fuzzing
-- Building documentation disabled
-- Configuring done (9.8s)
-- Generating done (0.7s)
-- Build files have been written to: /home/pbulk/build/math/z3/work/z3-z3-4.12.5/cmake-pkgsrc-build