From nobody Tue Jul 05 17:42:59 2022 X-Original-To: pkg-fallout@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id C417A1D1AB93 for ; Tue, 5 Jul 2022 17:42:59 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4Lcql73ngLz4rK7 for ; Tue, 5 Jul 2022 17:42:59 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy7.nyi.freebsd.org (beefy7.nyi.freebsd.org [IPv6:2610:1c1:1:6080::16:16]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 61E1120B4 for ; Tue, 5 Jul 2022 17:42:59 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy7.nyi.freebsd.org (localhost [127.0.0.1]) by beefy7.nyi.freebsd.org (8.16.1/8.16.1) with ESMTP id 265HgxYi095057 for ; Tue, 5 Jul 2022 17:42:59 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by beefy7.nyi.freebsd.org (8.16.1/8.16.1/Submit) id 265HgxIs095056; Tue, 5 Jul 2022 17:42:59 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Tue, 5 Jul 2022 17:42:59 GMT From: pkg-fallout@FreeBSD.org Message-Id: <202207051742.265HgxIs095056@beefy7.nyi.freebsd.org> To: pkg-fallout@FreeBSD.org Subject: [package - main-riscv64-default][math/py-z3-solver] Failed for py39-z3-solver-4.8.17 in build ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1657042979; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc; bh=WB69r4NEzAnZaQg6a/mZFJVpXv52mXkA3Roq3TLGl04=; b=NTWXWihWAgtZJJTIyA/Ykvxob7z9zIogqXBvswvjKZmfu6ApmtA83r/6s9R1068o0aeoU8 001LMUoNOk3rK/H3XDyYey1kF9ps4wcxp50E2hXbrKMZHM0up1HYGq6P4saMob1wfdr5IS IsQkzWj/t4zFKvIjDeoIsB899sE9vJ52NSH3CB6dmL9a/B71jF8U/jk/ewA1jm2hGcGjMx IOnmvNI1gXiumiFrE9RhuEUT4wXfWEG5acW1VGbO9bjJ/UUDhJsSaMmprs8BVuPk2dxgUq guUsvKiNhGf0CukRu0zijfhtRQtMz+8nGRzYyL6mXjzlfBeV4y6QFRFXKQDbTQ== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1657042979; a=rsa-sha256; cv=none; b=umLxYNczyKQTudMtBcdx+BMD3H9/z4TybPO2eQ/zuW1s9zKNgY2Q3urOXQ8ML3J4YIpvKG CpwW3Z7huOeG8kMeWEjWKfLEHae8ReAd0M/X7v0vja6WsjCXOg76TDpnVDW5qz1tVIOWbn RBpyB+rQJMA4vshd/kF/9CNTfayTtjD1SU6VyXx704YrtgCmJ8KcWBIZLMIf2pX/YEn7bm +r4QC4CCAV2jKy2xclSzSFLxZKsgEe3tKBIbufIgMGdUJ3wkWGKf8ewaO/ofyvHgrmowcu cXcuO+GZHzsXj2KSto9xaIrH9X3JLgizffNMdo9fgo2GMQsg14V3w9dRLJv5Gw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none X-ThisMailContainsUnwantedMimeParts: N List-Id: Fallout logs from package building List-Archive: https://lists.freebsd.org/archives/freebsd-pkg-fallout List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-pkg-fallout@freebsd.org 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/pd128a409234d_sec32fc2af5/logs/py39-z3-solver-4.8.17.log Build URL: http://beefy7.nyi.freebsd.org/build.html?mastername=main-riscv64-default&build=pd128a409234d_sec32fc2af5 Log: =>> Building math/py-z3-solver build started at Tue Jul 5 17:41:57 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-10 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: 10 ---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-- =================================================== ===> License MIT accepted by the user =========================================================================== =================================================== ===> 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-10] Installing pkg-1.18.3... [main-riscv64-default-job-10] 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 =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by py39-z3-solver-4.8.17 for building =========================================================================== =================================================== ===> 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. =========================================================================== =================================================== =========================================================================== =================================================== ===> 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. =========================================================================== =================================================== =========================================================================== =================================================== ===> 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 =========================================================================== =================================================== ===> 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-10] Installing cmake-3.23.2... [main-riscv64-default-job-10] `-- Installing curl-7.84.0... [main-riscv64-default-job-10] | `-- Installing ca_root_nss-3.78... [main-riscv64-default-job-10] | `-- Extracting ca_root_nss-3.78: .......... done [main-riscv64-default-job-10] | `-- Installing libnghttp2-1.48.0... [main-riscv64-default-job-10] | `-- Extracting libnghttp2-1.48.0: .......... done [main-riscv64-default-job-10] | `-- Installing libpsl-0.21.1_4... [main-riscv64-default-job-10] | | `-- Installing gettext-runtime-0.21... [main-riscv64-default-job-10] | | `-- Installing indexinfo-0.3.1... [main-riscv64-default-job-10] | | `-- Extracting indexinfo-0.3.1: .... done [main-riscv64-default-job-10] | | `-- Extracting gettext-runtime-0.21: .......... done [main-riscv64-default-job-10] | | `-- Installing libidn2-2.3.2... [main-riscv64-default-job-10] | | `-- Installing libunistring-1.0... [main-riscv64-default-job-10] | | `-- Extracting libunistring-1.0: .......... done [main-riscv64-default-job-10] | | `-- Extracting libidn2-2.3.2: .......... done [main-riscv64-default-job-10] | `-- Extracting libpsl-0.21.1_4: .......... done [main-riscv64-default-job-10] | `-- Installing libssh2-1.10.0,3... [main-riscv64-default-job-10] | `-- Extracting libssh2-1.10.0,3: .......... done [main-riscv64-default-job-10] `-- Extracting curl-7.84.0: .......... done [main-riscv64-default-job-10] `-- Installing expat-2.4.8... [main-riscv64-default-job-10] `-- Extracting expat-2.4.8: .......... done [main-riscv64-default-job-10] `-- Installing jsoncpp-1.9.5... [main-riscv64-default-job-10] `-- Extracting jsoncpp-1.9.5: .......... done [main-riscv64-default-job-10] `-- Installing libarchive-3.6.1,1... [main-riscv64-default-job-10] | `-- Installing liblz4-1.9.3,1... [main-riscv64-default-job-10] | `-- Extracting liblz4-1.9.3,1: .......... done [main-riscv64-default-job-10] | `-- Installing zstd-1.5.2... [main-riscv64-default-job-10] | `-- Extracting zstd-1.5.2: .......... done [main-riscv64-default-job-10] `-- Extracting libarchive-3.6.1,1: .......... done [main-riscv64-default-job-10] `-- Installing libuv-1.42.0... [main-riscv64-default-job-10] `-- Extracting libuv-1.42.0: .......... done [main-riscv64-default-job-10] `-- Installing rhash-1.4.3... [main-riscv64-default-job-10] `-- Extracting rhash-1.4.3: .......... done [main-riscv64-default-job-10] 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-10] Installing py39-setuptools-62.1.0_1... [main-riscv64-default-job-10] `-- Installing python39-3.9.13... [main-riscv64-default-job-10] | `-- Installing libffi-3.4.2... [main-riscv64-default-job-10] | `-- Extracting libffi-3.4.2: .......... done [main-riscv64-default-job-10] | `-- Installing mpdecimal-2.5.1... [main-riscv64-default-job-10] | `-- Extracting mpdecimal-2.5.1: .......... done [main-riscv64-default-job-10] | `-- Installing readline-8.1.2... [main-riscv64-default-job-10] | `-- Extracting readline-8.1.2: .......... done [main-riscv64-default-job-10] `-- Extracting python39-3.9.13: .......... done [main-riscv64-default-job-10] 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 =========================================================================== =================================================== =========================================================================== =================================================== ===> Configuring for py39-z3-solver-4.8.17 running config =========================================================================== =================================================== ===> 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