[package - main-riscv64-default][math/py-z3-solver] Failed for py39-z3-solver-4.8.17 in build

From: <pkg-fallout_at_FreeBSD.org>
Date: Tue, 12 Jul 2022 03:43:24 UTC
You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.

Maintainer:     yuri@FreeBSD.org
Log URL:        http://beefy7.nyi.freebsd.org/data/main-riscv64-default/p2f8a7d1d15ce_s2b766d5e5a/logs/py39-z3-solver-4.8.17.log
Build URL:      http://beefy7.nyi.freebsd.org/build.html?mastername=main-riscv64-default&build=p2f8a7d1d15ce_s2b766d5e5a
Log:

=>> Building math/py-z3-solver
build started at Tue Jul 12 03:42:20 UTC 2022
port directory: /usr/ports/math/py-z3-solver
package name: py39-z3-solver-4.8.17
building for: FreeBSD main-riscv64-default-job-11 14.0-CURRENT FreeBSD 14.0-CURRENT 1400063 riscv
maintained by: yuri@FreeBSD.org
Makefile ident: 
Poudriere version: 3.2.8-21-g883afb07
Host OSVERSION: 1400063
Jail OSVERSION: 1400063
Job Id: 11

---Begin Environment---
SHELL=/bin/sh
UNAME_p=riscv64
UNAME_m=riscv
ABI_FILE=/usr/lib/crt1.o
OSVERSION=1400063
UNAME_v=FreeBSD 14.0-CURRENT 1400063
UNAME_r=14.0-CURRENT
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
LOCALBASE=/usr/local
QEMU_EMULATING=1
USER=root
LIBEXECPREFIX=/usr/local/libexec/poudriere
POUDRIERE_VERSION=3.2.8-21-g883afb07
MASTERMNT=/usr/local/poudriere/data/.m/main-riscv64-default/ref
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
PWD=/usr/local/poudriere/data/.m/main-riscv64-default/ref/.p/pool
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
MASTERNAME=main-riscv64-default
SCRIPTPREFIX=/usr/local/share/poudriere
OLDPWD=/usr/local/poudriere/data/.m/main-riscv64-default/ref/.p
SCRIPTPATH=/usr/local/share/poudriere/bulk.sh
POUDRIEREPATH=/usr/local/bin/poudriere
---End Environment---

---Begin Poudriere Port Flags/Env---
PORT_FLAGS=
PKGENV=
FLAVOR=py39
DEPENDS_ARGS=
MAKE_ARGS= FLAVOR=py39
---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.9" XDG_DATA_HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py39  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py39  XDG_CACHE_HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py39/.cache  HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py39 TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/py-z3-solver/work-py39/.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-py39/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh
--End CONFIGURE_ENV--

--MAKE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py39  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py39  XDG_CACHE_HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py39/.cache  HOME=/wrkdirs/usr/ports/math/py-z3-solver/work-py39 TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/py-z3-solver/work-py39/.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-py39/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/libdata/pkgconfig NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES LDSHARED="/nxb-bin/usr/bin/cc -shared" PYTHONDONTWRITEBYTECODE= PYTHONOPTIMIZE= PREFIX=/usr/local  LOCALBASE=/usr/local  CC="/nxb-bin/usr/bin/cc" CFLAGS="-O2 -pipe -march=rv64imafdc -mabi=lp64d  -fstack-protector-strong -fno-strict-aliasing "  CPP="/nxb-bin/usr/bin/cpp" CPPFLAGS=""  LDFLAGS=" -fstack-protector-strong " LIBS=""  CXX="/nxb-bin/usr/bin/c++" CXXFLAGS="-O2 -pipe -march=rv64imafdc -mabi=lp6
 4d -fstack-protector-strong -fno-strict-aliasing  "  MANPREFIX="/usr/local" 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--
PYTHON_INCLUDEDIR=include/python3.9  PYTHON_LIBDIR=lib/python3.9  PYTHON_PLATFORM=freebsd14  PYTHON_SITELIBDIR=lib/python3.9/site-packages  PYTHON_SUFFIX=39  PYTHON_EXT_SUFFIX=.cpython-39  PYTHON_VER=3.9  PYTHON_VERSION=python3.9 PYTHON2="@comment " PYTHON3="" OSREL=14.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--
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---
.sinclude "/etc/make.nxb.conf"
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
PACKAGE_BUILDING=yes
PACKAGE_BUILDING_FLAVORS=yes
MACHINE=riscv
MACHINE_ARCH=riscv64
ARCH=${MACHINE_ARCH}
#### /usr/local/etc/poudriere.d/make.conf ####
# XXX: We really need this but cannot use it while 'make checksum' does not
# try the next mirror on checksum failure.  It currently retries the same
# failed mirror and then fails rather then trying another.  It *does*
# try the next if the size is mismatched though.
#MASTER_SITE_FREEBSD=yes
# Build ALLOW_MAKE_JOBS_PACKAGES with 2 jobs
MAKE_JOBS_NUMBER=2
#### /usr/ports/Mk/Scripts/ports_env.sh ####
_CCVERSION_9d218390=FreeBSD clang version 14.0.5 (https://github.com/llvm/llvm-project.git llvmorg-14.0.5-0-gc12386ae247c) Target: riscv64-unknown-freebsd14.0 Thread model: posix InstalledDir: /nxb-bin/usr/bin
_ALTCCVERSION_9d218390=none
_CXXINTERNAL_9c45a5b1=FreeBSD clang version 14.0.5 (https://github.com/llvm/llvm-project.git llvmorg-14.0.5-0-gc12386ae247c) Target: riscv64-unknown-freebsd14.0 Thread model: posix InstalledDir: /nxb-bin/usr/bin "/nxb-bin/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--enable-new-dtags" "-m" "elf64lriscv" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o"
CC_OUTPUT_9d218390_58173849=yes
CC_OUTPUT_9d218390_9bdba57c=yes
CC_OUTPUT_9d218390_6a4fe7f5=yes
CC_OUTPUT_9d218390_6bcac02b=yes
CC_OUTPUT_9d218390_67d20829=yes
CC_OUTPUT_9d218390_bfa62e83=yes
CC_OUTPUT_9d218390_f0b4d593=yes
CC_OUTPUT_9d218390_308abb44=yes
CC_OUTPUT_9d218390_f00456e5=yes
CC_OUTPUT_9d218390_65ad290d=yes
CC_OUTPUT_9d218390_f2776b26=yes
CC_OUTPUT_9d218390_b2657cc3=yes
CC_OUTPUT_9d218390_380987f7=yes
CC_OUTPUT_9d218390_160933ec=yes
CC_OUTPUT_9d218390_fb62803b=yes
_OBJC_CCVERSION_9d218390=FreeBSD clang version 14.0.5 (https://github.com/llvm/llvm-project.git llvmorg-14.0.5-0-gc12386ae247c) Target: riscv64-unknown-freebsd14.0 Thread model: posix InstalledDir: /nxb-bin/usr/bin
_OBJC_ALTCCVERSION_9d218390=none
ARCH=riscv64
OPSYS=FreeBSD
_OSRELEASE=14.0-CURRENT
OSREL=14.0
OSVERSION=1400063
PYTHONBASE=/usr/local
CONFIGURE_MAX_CMD_LEN=524288
HAVE_PORTS_ENV=1
#### Misc Poudriere ####
GID=0
UID=0
DISABLE_MAKE_JOBS=poudriere
---End make.conf---
---Begin make.nxb.conf---
CC=/nxb-bin/usr/bin/cc
CPP=/nxb-bin/usr/bin/cpp
CXX=/nxb-bin/usr/bin/c++
NM=/nxb-bin/usr/bin/nm
LD=/nxb-bin/usr/bin/ld
OBJCOPY=/nxb-bin/usr/bin/objcopy
SIZE=/nxb-bin/usr/bin/size
STRIPBIN=/nxb-bin/usr/bin/strip
SED=/nxb-bin/usr/bin/sed
RANLIB=/nxb-bin/usr/bin/ranlib
YACC=/nxb-bin/usr/bin/yacc
MAKE=/nxb-bin/usr/bin/make
STRINGS=/nxb-bin/usr/bin/strings
AWK=/nxb-bin/usr/bin/awk
FLEX=/nxb-bin/usr/bin/flex
---End make.nxb.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)  1024
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
--End resource limits--
=======================<phase: check-sanity   >============================
===>  License MIT accepted by the user
===========================================================================
=======================<phase: pkg-depends    >============================
===>   py39-z3-solver-4.8.17 depends on file: /usr/local/sbin/pkg - not found
===>   Installing existing package /packages/All/pkg-1.18.3.pkg
pkg-static: Warning: Major OS version upgrade detected.  Running "pkg bootstrap -f" recommended
[main-riscv64-default-job-11] Installing pkg-1.18.3...
[main-riscv64-default-job-11] Extracting pkg-1.18.3: .......... done
===>   py39-z3-solver-4.8.17 depends on file: /usr/local/sbin/pkg - found
===>   Returning to build of py39-z3-solver-4.8.17
===========================================================================
=======================<phase: fetch-depends  >============================
===========================================================================
=======================<phase: fetch          >============================
===>  License MIT accepted by the user
===> Fetching all distfiles required by py39-z3-solver-4.8.17 for building
===========================================================================
=======================<phase: checksum       >============================
===>  License MIT accepted by the user
===> Fetching all distfiles required by py39-z3-solver-4.8.17 for building
=> SHA256 Checksum OK for Z3Prover-z3-z3-4.8.17_GH0.tar.gz.
===========================================================================
=======================<phase: extract-depends>============================
===========================================================================
=======================<phase: extract        >============================
===>  License MIT accepted by the user
===> Fetching all distfiles required by py39-z3-solver-4.8.17 for building
===>  Extracting for py39-z3-solver-4.8.17
=> SHA256 Checksum OK for Z3Prover-z3-z3-4.8.17_GH0.tar.gz.
===========================================================================
=======================<phase: patch-depends  >============================
===========================================================================
=======================<phase: patch          >============================
===>  Patching for py39-z3-solver-4.8.17
===>  Applying FreeBSD patches for py39-z3-solver-4.8.17 from /usr/ports/math/py-z3-solver/files
===========================================================================
=======================<phase: build-depends  >============================
===>   py39-z3-solver-4.8.17 depends on executable: cmake - not found
===>   Installing existing package /packages/All/cmake-3.23.2.pkg
pkg-static: Warning: Major OS version upgrade detected.  Running "pkg bootstrap -f" recommended
[main-riscv64-default-job-11] Installing cmake-3.23.2...
[main-riscv64-default-job-11] `-- Installing curl-7.84.0...
[main-riscv64-default-job-11] |   `-- Installing ca_root_nss-3.78...
[main-riscv64-default-job-11] |   `-- Extracting ca_root_nss-3.78: .......... done
[main-riscv64-default-job-11] |   `-- Installing libnghttp2-1.48.0...
[main-riscv64-default-job-11] |   `-- Extracting libnghttp2-1.48.0: .......... done
[main-riscv64-default-job-11] |   `-- Installing libpsl-0.21.1_4...
[main-riscv64-default-job-11] |   | `-- Installing gettext-runtime-0.21...
[main-riscv64-default-job-11] |   |   `-- Installing indexinfo-0.3.1...
[main-riscv64-default-job-11] |   |   `-- Extracting indexinfo-0.3.1: .... done
[main-riscv64-default-job-11] |   | `-- Extracting gettext-runtime-0.21: .......... done
[main-riscv64-default-job-11] |   | `-- Installing libidn2-2.3.2...
[main-riscv64-default-job-11] |   |   `-- Installing libunistring-1.0...
[main-riscv64-default-job-11] |   |   `-- Extracting libunistring-1.0: .......... done
[main-riscv64-default-job-11] |   | `-- Extracting libidn2-2.3.2: .......... done
[main-riscv64-default-job-11] |   `-- Extracting libpsl-0.21.1_4: .......... done
[main-riscv64-default-job-11] |   `-- Installing libssh2-1.10.0,3...
[main-riscv64-default-job-11] |   `-- Extracting libssh2-1.10.0,3: .......... done
[main-riscv64-default-job-11] `-- Extracting curl-7.84.0: .......... done
[main-riscv64-default-job-11] `-- Installing expat-2.4.8...
[main-riscv64-default-job-11] `-- Extracting expat-2.4.8: .......... done
[main-riscv64-default-job-11] `-- Installing jsoncpp-1.9.5...
[main-riscv64-default-job-11] `-- Extracting jsoncpp-1.9.5: .......... done
[main-riscv64-default-job-11] `-- Installing libarchive-3.6.1,1...
[main-riscv64-default-job-11] |   `-- Installing liblz4-1.9.3,1...
[main-riscv64-default-job-11] |   `-- Extracting liblz4-1.9.3,1: .......... done
[main-riscv64-default-job-11] |   `-- Installing zstd-1.5.2...
[main-riscv64-default-job-11] |   `-- Extracting zstd-1.5.2: .......... done
[main-riscv64-default-job-11] `-- Extracting libarchive-3.6.1,1: .......... done
[main-riscv64-default-job-11] `-- Installing libuv-1.42.0...
[main-riscv64-default-job-11] `-- Extracting libuv-1.42.0: .......... done
[main-riscv64-default-job-11] `-- Installing rhash-1.4.3...
[main-riscv64-default-job-11] `-- Extracting rhash-1.4.3: .......... done
[main-riscv64-default-job-11] Extracting cmake-3.23.2: .......... done
=====
Message from ca_root_nss-3.78:

--
FreeBSD does not, and can not warrant that the certification authorities
whose certificates are included in this package have in any way been
audited for trustworthiness or RFC 3647 compliance.

Assessment and verification of trust is the complete responsibility of the
system administrator.


This package installs symlinks to support root certificates discovery by
default for software that uses OpenSSL.

This enables SSL Certificate Verification by client software without manual
intervention.

If you prefer to do this manually, replace the following symlinks with
either an empty file or your site-local certificate bundle.

  * /etc/ssl/cert.pem
  * /usr/local/etc/ssl/cert.pem
  * /usr/local/openssl/cert.pem
===>   py39-z3-solver-4.8.17 depends on executable: cmake - found
===>   Returning to build of py39-z3-solver-4.8.17
===>   py39-z3-solver-4.8.17 depends on package: py39-setuptools>=62.1.0 - not found
===>   Installing existing package /packages/All/py39-setuptools-62.1.0_1.pkg
pkg-static: Warning: Major OS version upgrade detected.  Running "pkg bootstrap -f" recommended
[main-riscv64-default-job-11] Installing py39-setuptools-62.1.0_1...
[main-riscv64-default-job-11] `-- Installing python39-3.9.13...
[main-riscv64-default-job-11] |   `-- Installing libffi-3.4.2...
[main-riscv64-default-job-11] |   `-- Extracting libffi-3.4.2: .......... done
[main-riscv64-default-job-11] |   `-- Installing mpdecimal-2.5.1...
[main-riscv64-default-job-11] |   `-- Extracting mpdecimal-2.5.1: .......... done
[main-riscv64-default-job-11] |   `-- Installing readline-8.1.2...
[main-riscv64-default-job-11] |   `-- Extracting readline-8.1.2: .......... done
[main-riscv64-default-job-11] `-- Extracting python39-3.9.13: .......... done
[main-riscv64-default-job-11] Extracting py39-setuptools-62.1.0_1: .......... done
=====
Message from python39-3.9.13:

--
Note that some standard Python modules are provided as separate ports
as they require additional dependencies. They are available as:

py39-gdbm       databases/py-gdbm@py39
py39-sqlite3    databases/py-sqlite3@py39
py39-tkinter    x11-toolkits/py-tkinter@py39
===>   py39-z3-solver-4.8.17 depends on package: py39-setuptools>=62.1.0 - found
===>   Returning to build of py39-z3-solver-4.8.17
===>   py39-z3-solver-4.8.17 depends on file: /usr/local/bin/python3.9 - found
===========================================================================
=======================<phase: lib-depends    >============================
===========================================================================
=======================<phase: configure      >============================
===>  Configuring for py39-z3-solver-4.8.17
running config
===========================================================================
=======================<phase: build          >============================
===>  Building for py39-z3-solver-4.8.17
running build
Configuring Z3
-- The CXX compiler identification is Clang 14.0.5
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /nxb-bin/usr/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Z3 version 4.8.17.0
-- Failed to find git directory.
CMake Warning at CMakeLists.txt:51 (message):
  Disabling Z3_INCLUDE_GIT_DESCRIBE
Call Stack (most recent call first):
  CMakeLists.txt:100 (disable_git_describe)


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


-- CMake generator: Unix Makefiles
-- Build type: Release
-- Found PythonInterp: /usr/local/bin/python3.9 (found version "3.9.13") 
-- PYTHON_EXECUTABLE: /usr/local/bin/python3.9
-- Detected target architecture: unknown
-- Platform: FreeBSD
-- Not using libgmp
-- Not using Z3_API_LOG_SYNC
-- Thread-safe build
-- Looking for C++ include pthread.h
-- Looking for C++ include pthread.h - found
-- 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_delete_non_virtual_dtor
-- Performing Test HAS__Werror_delete_non_virtual_dtor - Success
-- C++ compiler supports -Werror=delete-non-virtual-dtor
-- Performing Test HAS__Werror_overloaded_virtual
-- Performing Test HAS__Werror_overloaded_virtual - Success
-- C++ compiler supports -Werror=overloaded-virtual
-- Performing Test HAS__Werror_non_virtual_dtor
-- Performing Test HAS__Werror_non_virtual_dtor - Success
-- C++ compiler supports -Werror=non-virtual-dtor
-- Performing Test HAS__Werror_null_dereference
-- Performing Test HAS__Werror_null_dereference - Success
-- C++ compiler supports -Werror=null-dereference
-- Performing Test HAS__Werror_no_unreachable_code_return
-- Performing Test HAS__Werror_no_unreachable_code_return - Failed
-- C++ compiler does not support -Werror=no-unreachable-code-return
-- Performing Test HAS__fvisibility_hidden
-- Performing Test HAS__fvisibility_hidden - Success
-- C++ compiler supports -fvisibility=hidden
-- Performing Test HAS__fvisibility_inlines_hidden
-- Performing Test HAS__fvisibility_inlines_hidden - Success
-- C++ compiler supports -fvisibility-inlines-hidden
-- Performing Test HAS__fPIC
-- Performing Test HAS__fPIC - Success
-- C++ compiler supports -fPIC
-- LTO enabled
-- Performing Test HAS_LTO
-- Performing Test HAS_LTO - Failed
CMake Error at cmake/compiler_lto.cmake:34 (message):
  Compiler does not support LTO
Call Stack (most recent call first):
  CMakeLists.txt:387 (include)


-- Configuring incomplete, errors occurred!
See also "/wrkdirs/usr/ports/math/py-z3-solver/work-py39/z3-z3-4.8.17/build/CMakeFiles/CMakeOutput.log".
See also "/wrkdirs/usr/ports/math/py-z3-solver/work-py39/z3-z3-4.8.17/build/CMakeFiles/CMakeError.log".
error: Unable to configure Z3.
*** Error code 1

Stop.
make: stopped in /usr/ports/math/py-z3-solver