From nobody Thu Dec 16 03:41:30 2021 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 1663918E2FBC for ; Thu, 16 Dec 2021 03:41:31 +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 4JDyZy5wfgz4fyR; Thu, 16 Dec 2021 03:41:30 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy16.nyi.freebsd.org (beefy16.nyi.freebsd.org [IPv6:2610:1c1:1:6080::16:1f]) (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 ABD0428E28; Thu, 16 Dec 2021 03:41:30 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy16.nyi.freebsd.org (localhost [127.0.0.1]) by beefy16.nyi.freebsd.org (8.16.1/8.16.1) with ESMTP id 1BG3fUFJ030098; Thu, 16 Dec 2021 03:41:30 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by beefy16.nyi.freebsd.org (8.16.1/8.16.1/Submit) id 1BG3fUXV030097; Thu, 16 Dec 2021 03:41:30 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Thu, 16 Dec 2021 03:41:30 GMT From: pkg-fallout@FreeBSD.org Message-Id: <202112160341.1BG3fUXV030097@beefy16.nyi.freebsd.org> To: ale@FreeBSD.org Subject: [package - 130amd64-default][lang/solidity] Failed for solidity-0.8.10 in configure Cc: pkg-fallout@FreeBSD.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1639626090; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc; bh=nINIpjTBUEXSrOzkKYIcTXyq41i75b1TziQy81sq/PE=; b=msTRc9BU/8HDAK0o5Y4Y4mHTEYwz/aTDud81/msbb3hjkNCeA/0OqdvtF4tp4TFNE/usdo 4LiH/603ovbVv8mzXbFE98XtS9e8ompjYQ/j9ZaNv4ZmydKYEqIlHoUZRo67wa/igG3ZZo xdk/tsfDL8NzqF3w0jQUkzqHMqwbsICYfLA+pd5hIWJQdKSHRY98u1BV4rgdo4SQI9sc3o rPxfuaoT2aF5PAyXUbjRW9b1Af1lmuaP6Gb+mQgRgvBZUBcJZCvERuMxF14t27qz2Ku672 IVxPlx9jPd2au4YvvQYUdirDES88jo8udY6PQt+0SM79cdiqcz18PlI8OW+JjA== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1639626090; a=rsa-sha256; cv=none; b=ZL2nVnQIuAgk2tQ2RbrdAJusrNe0dvstL7fzs74YKkkmve/3hO9PHhNEYix26Gzkbj9e2e t4xfqftJRdmF3UlP8mn1m7LF0sjE3J5evjYp/3fcrY4KeKEfG0AzB91zgyB2bJGtn5Wkx/ bz1NU5Pbv1Og6zusP6BEtBFavaYPIZMZ/MtmxWSL8/Z4PoYtSx6Zo0yC37hud0j44U2HAN jAYcMckQ148bjJR5FIg+Ez+p6+w4SRufDiNycuJKWTiizXukeejJ4I9PvBNQe9wIFzPphc WjSM9m31oQdosw+dGy4aBQR7xXH1OITuhqT/B0XTnV0mgTscIxPMB79OCQyJDw== 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: ale@FreeBSD.org Log URL: http://beefy16.nyi.freebsd.org/data/130amd64-default/753e6f25c4b3/logs/solidity-0.8.10.log Build URL: http://beefy16.nyi.freebsd.org/build.html?mastername=130amd64-default&build=753e6f25c4b3 Log: =>> Building lang/solidity build started at Thu Dec 16 03:41:18 UTC 2021 port directory: /usr/ports/lang/solidity package name: solidity-0.8.10 building for: FreeBSD 130amd64-default-job-10 13.0-RELEASE-p5 FreeBSD 13.0-RELEASE-p5 amd64 maintained by: ale@FreeBSD.org Makefile ident: Poudriere version: 3.2.8-21-g883afb07 Host OSVERSION: 1400008 Jail OSVERSION: 1300139 Job Id: 10 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1300139 UNAME_v=FreeBSD 13.0-RELEASE-p5 UNAME_r=13.0-RELEASE-p5 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 USER=root LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.2.8-21-g883afb07 MASTERMNT=/usr/local/poudriere/data/.m/130amd64-default/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= PWD=/usr/local/poudriere/data/.m/130amd64-default/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=130amd64-default SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/130amd64-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= DEPENDS_ARGS= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ===> The following configuration options are available for solidity-0.8.10: CVC4=on: SMT Checker via CVC4 Z3=on: SMT Checker via Z3 ===> Use 'make config' to modify these settings ---End OPTIONS List--- --MAINTAINER-- ale@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/lang/solidity/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/lang/solidity/work XDG_CACHE_HOME=/wrkdirs/usr/ports/lang/solidity/work/.cache HOME=/wrkdirs/usr/ports/lang/solidity/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/lang/solidity/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- NINJA_STATUS="[%p %s/%t] " XDG_DATA_HOME=/wrkdirs/usr/ports/lang/solidity/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/lang/solidity/work XDG_CACHE_HOME=/wrkdirs/usr/ports/lang/solidity/work/.cache HOME=/wrkdirs/usr/ports/lang/solidity/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/lang/solidity/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES DESTDIR=/wrkdirs/usr/ports/lang/solidity/work/stage PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" -fstack-protector-strong " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -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-- CMAKE_BUILD_TYPE="release" OSREL=13.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/solidity" EXAMPLESDIR="share/examples/solidity" DATADIR="share/solidity" WWWDIR="www/solidity" ETCDIR="etc/solidity" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/solidity DOCSDIR=/usr/local/share/doc/solidity EXAMPLESDIR=/usr/local/share/examples/solidity WWWDIR=/usr/local/www/solidity ETCDIR=/usr/local/etc/solidity --End SUB_LIST-- ---Begin make.conf--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### /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_921dbbb2=FreeBSD clang version 11.0.1 (git@github.com:llvm/llvm-project.git llvmorg-11.0.1-0-g43ff75f2c3fe) Target: x86_64-unknown-freebsd13.0 Thread model: posix InstalledDir: /usr/bin _ALTCCVERSION_921dbbb2=none _CXXINTERNAL_acaad9ca=FreeBSD clang version 11.0.1 (git@github.com:llvm/llvm-project.git llvmorg-11.0.1-0-g43ff75f2c3fe) Target: x86_64-unknown-freebsd13.0 Thread model: posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--hash-style=both" "--enable-new-dtags" "-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_921dbbb2_58173849=yes CC_OUTPUT_921dbbb2_9bdba57c=yes CC_OUTPUT_921dbbb2_6a4fe7f5=yes CC_OUTPUT_921dbbb2_6bcac02b=yes CC_OUTPUT_921dbbb2_67d20829=yes CC_OUTPUT_921dbbb2_bfa62e83=yes CC_OUTPUT_921dbbb2_f0b4d593=yes CC_OUTPUT_921dbbb2_308abb44=yes CC_OUTPUT_921dbbb2_f00456e5=yes CC_OUTPUT_921dbbb2_65ad290d=yes CC_OUTPUT_921dbbb2_f2776b26=yes CC_OUTPUT_921dbbb2_b2657cc3=yes CC_OUTPUT_921dbbb2_380987f7=yes CC_OUTPUT_921dbbb2_160933ec=yes CC_OUTPUT_921dbbb2_fb62803b=yes _OBJC_CCVERSION_921dbbb2=FreeBSD clang version 11.0.1 (git@github.com:llvm/llvm-project.git llvmorg-11.0.1-0-g43ff75f2c3fe) Target: x86_64-unknown-freebsd13.0 Thread model: posix InstalledDir: /usr/bin _OBJC_ALTCCVERSION_921dbbb2=none ARCH=amd64 OPSYS=FreeBSD _OSRELEASE=13.0-RELEASE-p5 OSREL=13.0 OSVERSION=1300139 PYTHONBASE=/usr/local HAVE_COMPAT_IA32_KERN=YES CONFIGURE_MAX_CMD_LEN=524288 HAVE_PORTS_ENV=1 #### Misc Poudriere #### GID=0 UID=0 DISABLE_MAKE_JOBS=poudriere ---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) 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 GPLv3 accepted by the user =========================================================================== =================================================== ===> solidity-0.8.10 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.17.5.pkg [130amd64-default-job-10] Installing pkg-1.17.5... [130amd64-default-job-10] Extracting pkg-1.17.5: .......... done ===> solidity-0.8.10 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of solidity-0.8.10 =========================================================================== =================================================== =========================================================================== =================================================== ===> License GPLv3 accepted by the user ===> Fetching all distfiles required by solidity-0.8.10 for building =========================================================================== =================================================== ===> License GPLv3 accepted by the user ===> Fetching all distfiles required by solidity-0.8.10 for building => SHA256 Checksum OK for solidity_0.8.10.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> License GPLv3 accepted by the user ===> Fetching all distfiles required by solidity-0.8.10 for building ===> Extracting for solidity-0.8.10 => SHA256 Checksum OK for solidity_0.8.10.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for solidity-0.8.10 ===> Applying FreeBSD patches for solidity-0.8.10 from /usr/ports/lang/solidity/files =========================================================================== =================================================== ===> solidity-0.8.10 depends on package: boost-libs>=0 - not found ===> Installing existing package /packages/All/boost-libs-1.72.0_6.pkg [130amd64-default-job-10] Installing boost-libs-1.72.0_6... [130amd64-default-job-10] `-- Installing icu-70.1_1,1... [130amd64-default-job-10] `-- Extracting icu-70.1_1,1: .......... done [130amd64-default-job-10] Extracting boost-libs-1.72.0_6: .......... done ===== Message from boost-libs-1.72.0_6: -- You have built the Boost library with thread support. Don't forget to add -pthread to your linker options when ===> solidity-0.8.10 depends on package: libfmt>=0 - not found ===> Installing existing package /packages/All/libfmt-8.0.1.pkg [130amd64-default-job-10] Installing libfmt-8.0.1... [130amd64-default-job-10] Extracting libfmt-8.0.1: .......... done ===> solidity-0.8.10 depends on package: libfmt>=0 - found ===> Returning to build of solidity-0.8.10 ===> solidity-0.8.10 depends on package: range-v3>=0 - not found ===> Installing existing package /packages/All/range-v3-0.11.0_1.pkg [130amd64-default-job-10] Installing range-v3-0.11.0_1... [130amd64-default-job-10] Extracting range-v3-0.11.0_1: .......... done ===> solidity-0.8.10 depends on package: range-v3>=0 - found ===> Returning to build of solidity-0.8.10 ===> solidity-0.8.10 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-3.22.1.pkg [130amd64-default-job-10] Installing cmake-3.22.1... [130amd64-default-job-10] `-- Installing curl-7.80.0... [130amd64-default-job-10] | `-- Installing ca_root_nss-3.71... [130amd64-default-job-10] | `-- Extracting ca_root_nss-3.71: ........ done [130amd64-default-job-10] | `-- Installing libnghttp2-1.46.0... [130amd64-default-job-10] | `-- Extracting libnghttp2-1.46.0: .......... done [130amd64-default-job-10] | `-- Installing libssh2-1.9.0_3,3... [130amd64-default-job-10] | `-- Extracting libssh2-1.9.0_3,3: .......... done [130amd64-default-job-10] `-- Extracting curl-7.80.0: .......... done [130amd64-default-job-10] `-- Installing expat-2.4.1... [130amd64-default-job-10] `-- Extracting expat-2.4.1: .......... done [130amd64-default-job-10] `-- Installing jsoncpp-1.9.5... [130amd64-default-job-10] `-- Extracting jsoncpp-1.9.5: .......... done [130amd64-default-job-10] `-- Installing libarchive-3.5.2,1... [130amd64-default-job-10] | `-- Installing liblz4-1.9.3,1... [130amd64-default-job-10] | `-- Extracting liblz4-1.9.3,1: .......... done [130amd64-default-job-10] | `-- Installing zstd-1.5.0... [130amd64-default-job-10] | `-- Extracting zstd-1.5.0: .......... done [130amd64-default-job-10] `-- Extracting libarchive-3.5.2,1: .......... done [130amd64-default-job-10] `-- Installing libuv-1.42.0... [130amd64-default-job-10] `-- Extracting libuv-1.42.0: .......... done [130amd64-default-job-10] `-- Installing rhash-1.4.2... [130amd64-default-job-10] | `-- Installing gettext-runtime-0.21... [130amd64-default-job-10] | | `-- Installing indexinfo-0.3.1... [130amd64-default-job-10] | | `-- Extracting indexinfo-0.3.1: .... done [130amd64-default-job-10] | `-- Extracting gettext-runtime-0.21: .......... done [130amd64-default-job-10] `-- Extracting rhash-1.4.2: .......... done [130amd64-default-job-10] Extracting cmake-3.22.1: .......... done ===== Message from ca_root_nss-3.71: -- 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 ===> solidity-0.8.10 depends on file: /usr/local/bin/cmake - found ===> Returning to build of solidity-0.8.10 ===> solidity-0.8.10 depends on executable: ninja - not found ===> Installing existing package /packages/All/ninja-1.10.2,2.pkg [130amd64-default-job-10] Installing ninja-1.10.2,2... [130amd64-default-job-10] `-- Installing python38-3.8.12_1... [130amd64-default-job-10] | `-- Installing libffi-3.3_1... [130amd64-default-job-10] | `-- Extracting libffi-3.3_1: .......... done [130amd64-default-job-10] | `-- Installing mpdecimal-2.5.1... [130amd64-default-job-10] | `-- Extracting mpdecimal-2.5.1: .......... done [130amd64-default-job-10] | `-- Installing readline-8.1.1... [130amd64-default-job-10] | `-- Extracting readline-8.1.1: .......... done [130amd64-default-job-10] `-- Extracting python38-3.8.12_1: .......... done [130amd64-default-job-10] Extracting ninja-1.10.2,2: ........ done ===== Message from python38-3.8.12_1: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py38-gdbm databases/py-gdbm@py38 py38-sqlite3 databases/py-sqlite3@py38 py38-tkinter x11-toolkits/py-tkinter@py38 ===> solidity-0.8.10 depends on executable: ninja - found ===> Returning to build of solidity-0.8.10 =========================================================================== =================================================== ===> solidity-0.8.10 depends on shared library: libjsoncpp.so - found (/usr/local/lib/libjsoncpp.so) ===> solidity-0.8.10 depends on shared library: libcvc4.so - not found ===> Installing existing package /packages/All/cvc4-1.7_4.pkg [130amd64-default-job-10] Installing cvc4-1.7_4... [130amd64-default-job-10] `-- Installing cryptominisat-5.8.0... [130amd64-default-job-10] | `-- Installing M4RI-20200125... [130amd64-default-job-10] | | `-- Installing png-1.6.37_1... [130amd64-default-job-10] | | `-- Extracting png-1.6.37_1: .......... done [130amd64-default-job-10] | `-- Extracting M4RI-20200125: .......... done [130amd64-default-job-10] `-- Extracting cryptominisat-5.8.0: .......... done [130amd64-default-job-10] `-- Installing gmp-6.2.1... [130amd64-default-job-10] `-- Extracting gmp-6.2.1: .......... done [130amd64-default-job-10] `-- Installing libantlr3c-3.4_1... [130amd64-default-job-10] `-- Extracting libantlr3c-3.4_1: .......... done [130amd64-default-job-10] Extracting cvc4-1.7_4: .......... done ===> solidity-0.8.10 depends on shared library: libcvc4.so - found (/usr/local/lib/libcvc4.so) ===> Returning to build of solidity-0.8.10 ===> solidity-0.8.10 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> solidity-0.8.10 depends on shared library: libz3.so - not found ===> Installing existing package /packages/All/z3-4.8.13.pkg [130amd64-default-job-10] Installing z3-4.8.13... [130amd64-default-job-10] Extracting z3-4.8.13: .......... done ===> solidity-0.8.10 depends on shared library: libz3.so - found (/usr/local/lib/libz3.so) ===> Returning to build of solidity-0.8.10 =========================================================================== =================================================== ===> Configuring for solidity-0.8.10 ===> Performing out-of-source build /bin/mkdir -p /wrkdirs/usr/ports/lang/solidity/work/.build -- The C compiler identification is Clang 11.0.1 -- The CXX compiler identification is Clang 11.0.1 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/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/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Found Boost headers in -- Found Boost::filesystem at /usr/local/lib/libboost_filesystem.a -- Found Boost::unit_test_framework at /usr/local/lib/libboost_unit_test_framework.a -- Found Boost::program_options at /usr/local/lib/libboost_program_options.a -- Found Boost::system at /usr/local/lib/libboost_system.a -- Looking for pthread.h -- Looking for pthread.h - found -- Found Threads: TRUE -- Performing Test fstack-protector-strong -- Performing Test fstack-protector-strong - Success -- Performing Test Wimplicit-fallthrough -- Performing Test Wimplicit-fallthrough - Success -- Performing Test fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.10=/solidity -- Performing Test fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.8.10=/solidity - Success -- Performing Test Wpessimizing-move -- Performing Test Wpessimizing-move - Success -- Performing Test Wredundant-move -- Performing Test Wredundant-move - Success -- Performing Test Wextra-semi -- Performing Test Wextra-semi - Success -- Performing Test Wfinal-dtor-non-final-class -- Performing Test Wfinal-dtor-non-final-class - Success -- Performing Test Wnewline-eof -- Performing Test Wnewline-eof - Success -- Performing Test Wsuggest-destructor-override -- Performing Test Wsuggest-destructor-override - Success -- Performing Test Wduplicated-cond -- Performing Test Wduplicated-cond - Failed -- Performing Test Wduplicate-enum -- Performing Test Wduplicate-enum - Success -- Performing Test Wlogical-op -- Performing Test Wlogical-op - Failed -- Performing Test Wno-unknown-attributes -- Performing Test Wno-unknown-attributes - Success ------------------------------------------------------------------------ -- Configuring solidity 0.8.10 ------------------------------------------------------------------------ -- CMake Version 3.22.1 -- CMAKE_BUILD_TYPE Build type Release -- TARGET_PLATFORM Target platform FreeBSD --------------------------------------------------------------- features -- COVERAGE Coverage support OFF ------------------------------------------------------------- components -- TESTS Build tests OFF ------------------------------------------------------------------ flags -- OSSFUZZ OFF ------------------------------------------------------------------------ -- Found Z3: /usr/local/lib/libz3.so (found version "4.8.13") CMake Error at CMakeLists.txt:73 (message): SMTChecker tests require Z3 4.8.12 for all tests to pass. Build with -DSTRICT_Z3_VERSION=OFF if you want to use a different version. You can also use -DUSE_Z3=OFF to build without Z3. In both cases use --no-smt when running tests. -- Configuring incomplete, errors occurred! See also "/wrkdirs/usr/ports/lang/solidity/work/.build/CMakeFiles/CMakeOutput.log". See also "/wrkdirs/usr/ports/lang/solidity/work/.build/CMakeFiles/CMakeError.log". *** Error code 1 Stop. make: stopped in /usr/ports/lang/solidity