=>> Building math/py-z3-solver build started at Sun Nov 9 03:42:50 EST 2025 port directory: /usr/ports/math/py-z3-solver package name: py311-z3-solver-4.14.1_1 building for: FreeBSD pkg.DaveG.ca 15.0-ALPHA3 FreeBSD 15.0-ALPHA3 1500064 amd64 maintained by: yuri@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 1248 Sep 22 04:12 /usr/ports/math/py-z3-solver/Makefile Ports top last git commit: ec159283c191 Ports top unclean checkout: no Port dir last git commit: 3c05ad1d2a4f Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1500068 Jail OSVERSION: 1500064 Job Id: 07 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1500064 UNAME_v=FreeBSD 15.0-ALPHA3 1500064 UNAME_r=15.0-ALPHA3 BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin MAKE_OBJDIR_CHECK_WRITABLE=0 LOCALBASE=/usr/local USER=root POUDRIERE_NAME=poudriere-git LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.4.2 MASTERMNT=/usr/local/poudriere/data/.m/freebsd_15_c_x64-HEAD-ALL/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=tmux-256color OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/freebsd_15_c_x64-HEAD-ALL/07/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=freebsd_15_c_x64-HEAD-ALL SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/freebsd_15_c_x64-HEAD-ALL/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.2 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR=py311 MAKE_ARGS= FLAVOR=py311 ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ---End OPTIONS List--- --MAINTAINER-- yuri@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- PYTHON="/usr/local/bin/python3.11" XDG_DATA_HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py311 XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py311 XDG_CACHE_HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py311/.cache HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py311 TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/py-z3-solver/work-py311/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/py-z3-solver/work-py311/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- NINJA_STATUS="[%p %s/%t] " XDG_DATA_HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py311 XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py311 XDG_CACHE_HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py311/.cache HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py311 TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/py-z3-solver/work-py311/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/py-z3-solver/work-py311/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES DESTDIR=/wrkdirs/usr/ports/math/py-z3-solver/work-py311/stage PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- CMAKE_BUILD_TYPE="release" PYTHON_INCLUDEDIR=include/python3.11 PYTHON_LIBDIR=lib/python3.11 PYTHON_PLATFORM=freebsd15 PYTHON_SITELIBDIR=lib/python3.11/site-packages PYTHON_SUFFIX=311 PYTHON_BASESUFFIX=311 PYTHON_TAG=.cpython-311 PYTHON_SOABI=.cpython-311 PYTHON_VER=3.11 PYTHON_BASEVER=3.11 PYTHON_VERSION=python3.11 PYTHON2="@comment " PYTHON3="" OSREL=15.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/z3-solver" EXAMPLESDIR="share/examples/z3-solver" DATADIR="share/z3-solver" WWWDIR="www/z3-solver" ETCDIR="etc/z3-solver" --End PLIST_SUB-- --SUB_LIST-- PYTHON_INCLUDEDIR=/usr/local/include/python3.11 PYTHON_LIBDIR=/usr/local/lib/python3.11 PYTHON_PLATFORM=freebsd15 PYTHON_SITELIBDIR=/usr/local/lib/python3.11/site-packages PYTHON_SUFFIX=311 PYTHON_BASESUFFIX=311 PYTHON_TAG=.cpython-311 PYTHON_SOABI=.cpython-311 PYTHON_VER=3.11 PYTHON_BASEVER=3.11 PYTHON_VERSION=python3.11 PYTHON2="@comment " PYTHON3="" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/z3-solver DOCSDIR=/usr/local/share/doc/z3-solver EXAMPLESDIR=/usr/local/share/examples/z3-solver WWWDIR=/usr/local/www/z3-solver ETCDIR=/usr/local/etc/z3-solver --End SUB_LIST-- ---Begin make.conf--- DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles FORCE_PACKAGE=yes PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### #### DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 WITH_CCACHE_BUILD=yes CCACHE_DIR=/root/.ccache #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 8192 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited pipebuf (-y) unlimited --End resource limits-- =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> py311-z3-solver-4.14.1_1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.4.2_1.pkg [pkg.DaveG.ca] Installing pkg-2.4.2_1... [pkg.DaveG.ca] Extracting pkg-2.4.2_1: .......... done ===> py311-z3-solver-4.14.1_1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of py311-z3-solver-4.14.1_1 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by py311-z3-solver-4.14.1_1 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by py311-z3-solver-4.14.1_1 for building => SHA256 Checksum OK for Z3Prover-z3-z3-4.14.1_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by py311-z3-solver-4.14.1_1 for building ===> Extracting for py311-z3-solver-4.14.1_1 => SHA256 Checksum OK for Z3Prover-z3-z3-4.14.1_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Patching for py311-z3-solver-4.14.1_1 ===> Applying FreeBSD patches for py311-z3-solver-4.14.1_1 from /usr/ports/math/py-z3-solver/files =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> py311-z3-solver-4.14.1_1 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-core-3.31.9.pkg [pkg.DaveG.ca] Installing cmake-core-3.31.9... [pkg.DaveG.ca] `-- Installing expat-2.7.3... [pkg.DaveG.ca] `-- Extracting expat-2.7.3: .......... done [pkg.DaveG.ca] `-- Installing jsoncpp-1.9.6_1... [pkg.DaveG.ca] `-- Extracting jsoncpp-1.9.6_1: .......... done [pkg.DaveG.ca] `-- Installing libidn2-2.3.8... [pkg.DaveG.ca] | `-- Installing indexinfo-0.3.1_1... [pkg.DaveG.ca] | `-- Extracting indexinfo-0.3.1_1: . done [pkg.DaveG.ca] | `-- Installing libunistring-1.4.1... [pkg.DaveG.ca] | `-- Extracting libunistring-1.4.1: .......... done [pkg.DaveG.ca] `-- Extracting libidn2-2.3.8: .......... done [pkg.DaveG.ca] `-- Installing libuv-1.51.0... [pkg.DaveG.ca] `-- Extracting libuv-1.51.0: .......... done [pkg.DaveG.ca] `-- Installing rhash-1.4.4_1... [pkg.DaveG.ca] | `-- Installing gettext-runtime-0.23.1... [pkg.DaveG.ca] | `-- Extracting gettext-runtime-0.23.1: .......... done [pkg.DaveG.ca] `-- Extracting rhash-1.4.4_1: .......... done [pkg.DaveG.ca] Extracting cmake-core-3.31.9: .......... done ===> py311-z3-solver-4.14.1_1 depends on file: /usr/local/bin/cmake - found ===> Returning to build of py311-z3-solver-4.14.1_1 ===> py311-z3-solver-4.14.1_1 depends on executable: ninja - not found ===> Installing existing package /packages/All/ninja-1.13.1,4.pkg [pkg.DaveG.ca] Installing ninja-1.13.1,4... [pkg.DaveG.ca] `-- Installing python311-3.11.14... [pkg.DaveG.ca] | `-- Installing libffi-3.5.1... [pkg.DaveG.ca] | `-- Extracting libffi-3.5.1: .......... done [pkg.DaveG.ca] | `-- Installing mpdecimal-4.0.1... [pkg.DaveG.ca] | `-- Extracting mpdecimal-4.0.1: .......... done [pkg.DaveG.ca] | `-- Installing readline-8.3.1... [pkg.DaveG.ca] | `-- Extracting readline-8.3.1: .......... done [pkg.DaveG.ca] `-- Extracting python311-3.11.14: .......... done [pkg.DaveG.ca] Extracting ninja-1.13.1,4: ..... done ===== Message from python311-3.11.14: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py311-gdbm databases/py-gdbm@py311 py311-sqlite3 databases/py-sqlite3@py311 py311-tkinter x11-toolkits/py-tkinter@py311 ===> py311-z3-solver-4.14.1_1 depends on executable: ninja - found ===> Returning to build of py311-z3-solver-4.14.1_1 ===> py311-z3-solver-4.14.1_1 depends on file: /usr/local/bin/python3.11 - found ===> py311-z3-solver-4.14.1_1 depends on file: /usr/local/bin/ccache - not found ===> Installing existing package /packages/All/ccache-3.7.12_8.pkg [pkg.DaveG.ca] Installing ccache-3.7.12_8... [pkg.DaveG.ca] Extracting ccache-3.7.12_8: ......... done Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for clang create symlink for clang (world) create symlink for clang++ create symlink for clang++ (world) ===== Message from ccache-3.7.12_8: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. ===> py311-z3-solver-4.14.1_1 depends on file: /usr/local/bin/ccache - found ===> Returning to build of py311-z3-solver-4.14.1_1 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> py311-z3-solver-4.14.1_1 depends on shared library: libz3.so - not found ===> Installing existing package /packages/All/z3-4.15.3.0.pkg [pkg.DaveG.ca] Installing z3-4.15.3.0... [pkg.DaveG.ca] Extracting z3-4.15.3.0: .......... done ===> py311-z3-solver-4.14.1_1 depends on shared library: libz3.so - found (/usr/local/lib/libz3.so) ===> Returning to build of py311-z3-solver-4.14.1_1 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for py311-z3-solver-4.14.1_1 ===> Performing out-of-source build /bin/mkdir -p /wrkdirs/usr/ports/math/py-z3-solver/work-py311/.build CMake Warning (dev) in CMakeLists.txt: No project() command is present. The top-level CMakeLists.txt file must contain a literal, direct call to the project() command. Add a line of code such as project(ProjectName) near the top of the file, but after cmake_minimum_required(). CMake is pretending there is a "project(Project)" command on the first line. This warning is for project developers. Use -Wno-dev to suppress it. CMake Warning (dev) in CMakeLists.txt: cmake_minimum_required() should be called prior to this top-level project() call. Please see the cmake-commands(7) manual for usage documentation of both commands. This warning is for project developers. Use -Wno-dev to suppress it. -- The C compiler identification is Clang 19.1.7 -- The CXX compiler identification is Clang 19.1.7 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/local/libexec/ccache/cc - 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: /usr/local/libexec/ccache/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Emitting rules to build Z3 python bindings -- Emitting rules to install Z3 python bindings -- CMAKE_INSTALL_PYTHON_PKG_DIR not set. Trying to guess -- Detected Python package directory: "/usr/local/lib/python3.11/site-packages" -- Python bindings will be installed to "/usr/local/lib/python3.11/site-packages" CMake Warning (dev) in CMakeLists.txt: No cmake_minimum_required command is present. A line of code such as cmake_minimum_required(VERSION 3.31) should be added at the top of the file. The version specified may be lower if you wish to support older CMake versions for this project. For more information run "cmake --help-policy CMP0000". This warning is for project developers. Use -Wno-dev to suppress it. -- Configuring done (11.8s) CMake Warning (dev): Policy CMP0058 is not set: Ninja requires custom command byproducts to be explicit. Run "cmake --help-policy CMP0058" for policy details. Use the cmake_policy command to set the policy and suppress this warning. This project specifies custom command DEPENDS on files in the build tree that are not specified as the OUTPUT or BYPRODUCTS of any add_custom_command or add_custom_target: libz3 For compatibility with versions of CMake that did not have the BYPRODUCTS option, CMake is generating phony rules for such files to convince 'ninja' to build. Project authors should add the missing BYPRODUCTS or OUTPUT options to the custom commands that produce these files. This warning is for project developers. Use -Wno-dev to suppress it. -- Generating done (0.2s) CMake Warning: Manually-specified variables were not used by the project: BOOST_PYTHON_SUFFIX CMAKE_AUTOGEN_PARALLEL CMAKE_COLOR_MAKEFILE CMAKE_CXX_FLAGS_RELEASE CMAKE_C_FLAGS_RELEASE CMAKE_EXE_LINKER_FLAGS CMAKE_INSTALL_RPATH_USE_LINK_PATH CMAKE_MODULE_LINKER_FLAGS CMAKE_SHARED_LINKER_FLAGS CMAKE_VERBOSE_MAKEFILE FETCHCONTENT_FULLY_DISCONNECTED Python_ADDITIONAL_VERSIONS Python_EXECUTABLE THREADS_HAVE_PTHREAD_ARG -- Build files have been written to: /wrkdirs/usr/ports/math/py-z3-solver/work-py311/.build =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for py311-z3-solver-4.14.1_1 [ 0% 4/12] cd /wrkdirs/usr/ports/math/py-z3-solver/work-py311/.build && /usr/local/bin/python3.11 /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/scripts/mk_consts_files.py /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/api/z3_api.h /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/api/z3_ast_containers.h /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/api/z3_algebraic.h /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/api/z3_polynomial.h /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/api/z3_rcf.h /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/api/z3_fixedpoint.h /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/api/z3_optimization.h /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/api/z3_fpa.h /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/api/z3_spacer.h --z3py-output-dir /wrkdirs/usr/ports/math/py-z3-solver/work-py311/.build/python INFO:root:Generated "/wrkdirs/usr/ports/math/py-z3-solver/work-py311/.build/python/z3/z3consts.py" [ 83% 11/12] cd /wrkdirs/usr/ports/math/py-z3-solver/work-py311/.build && /usr/local/bin/cmake -E copy /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/z3test.py /wrkdirs/usr/ports/math/py-z3-solver/work-py311/.build/python/z3test.py [ 91% 12/12] cd /wrkdirs/usr/ports/math/py-z3-solver/work-py311/.build && /usr/local/bin/python3.11 /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/scripts/update_api.py /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/api/z3_api.h /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/api/z3_ast_containers.h /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/api/z3_algebraic.h /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/api/z3_polynomial.h /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/api/z3_rcf.h /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/api/z3_fixedpoint.h /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/api/z3_optimization.h /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/api/z3_fpa.h /wrkdirs/usr/ports/math/py-z3-solver/work-py311/z3-z3-4.14.1/src/api/python/api/z3_spacer.h --z3py-output-dir /wrkdirs/usr/ports/math/py-z3-solver/work-py311/.build/python Faking emission of 'api_log_macros.h' Faking emission of 'api_log_macros.cpp' Faking emission of 'api_commands.cpp' Generated '3' Generated '4' Generated '5' Generated '/wrkdirs/usr/ports/math/py-z3-solver/work-py311/.build/python/z3/z3core.py' =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> py311-z3-solver-4.14.1_1 depends on file: /usr/local/bin/python3.11 - found =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for py311-z3-solver-4.14.1_1 ===> Generating temporary packing list [ 50% 1/2] cd /wrkdirs/usr/ports/math/py-z3-solver/work-py311/.build && /usr/local/bin/cmake -E create_symlink /wrkdirs/usr/ports/math/py-z3-solver/work-py311/.build/libz3.so /wrkdirs/usr/ports/math/py-z3-solver/work-py311/.build/python/libz3.so [ 50% 2/2] cd /wrkdirs/usr/ports/math/py-z3-solver/work-py311/.build && /usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /wrkdirs/usr/ports/math/py-z3-solver/work-py311/stage/usr/local/lib/python3.11/site-packages/z3/__init__.py -- Installing: /wrkdirs/usr/ports/math/py-z3-solver/work-py311/stage/usr/local/lib/python3.11/site-packages/z3/z3.py -- Installing: /wrkdirs/usr/ports/math/py-z3-solver/work-py311/stage/usr/local/lib/python3.11/site-packages/z3/z3num.py -- Installing: /wrkdirs/usr/ports/math/py-z3-solver/work-py311/stage/usr/local/lib/python3.11/site-packages/z3/z3poly.py -- Installing: /wrkdirs/usr/ports/math/py-z3-solver/work-py311/stage/usr/local/lib/python3.11/site-packages/z3/z3printer.py -- Installing: /wrkdirs/usr/ports/math/py-z3-solver/work-py311/stage/usr/local/lib/python3.11/site-packages/z3/z3rcf.py -- Installing: /wrkdirs/usr/ports/math/py-z3-solver/work-py311/stage/usr/local/lib/python3.11/site-packages/z3/z3test.py -- Installing: /wrkdirs/usr/ports/math/py-z3-solver/work-py311/stage/usr/local/lib/python3.11/site-packages/z3/z3types.py -- Installing: /wrkdirs/usr/ports/math/py-z3-solver/work-py311/stage/usr/local/lib/python3.11/site-packages/z3/z3util.py -- Installing: /wrkdirs/usr/ports/math/py-z3-solver/work-py311/stage/usr/local/lib/python3.11/site-packages/z3/z3core.py -- Installing: /wrkdirs/usr/ports/math/py-z3-solver/work-py311/stage/usr/local/lib/python3.11/site-packages/z3/z3consts.py ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===== env: 'PKG_NOTES=build_timestamp ports_top_git_hash ports_top_checkout_unclean port_git_hash port_checkout_unclean built_by' 'PKG_NOTE_build_timestamp=2025-11-09T08:42:50+0000' 'PKG_NOTE_ports_top_git_hash=ec159283c191' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=3c05ad1d2a4f' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.2' NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building packages for py311-z3-solver-4.14.1_1 ===> Building py311-z3-solver-4.14.1_1 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for py311-z3-solver-4.14.1_1 build of math/py-z3-solver@py311 | py311-z3-solver-4.14.1_1 ended at Sun Nov 9 03:44:12 EST 2025 build time: 00:01:26