------------------------------------------------------------------------------- -- Phase: Environment ------------------------------------------------------------------------------- NO_DEPENDS=1 UNAME_r=6.5 UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=unknown UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 LANG=C HOME=/root USER=root TERM=dumb SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: showconfig ------------------------------------------------------------------------------- ===> The following configuration options are available for solidity-0.8.20: CVC4=off: SMT Checker via CVC4 Z3=on: SMT Checker via Z3 ===> Use 'make config' to modify these settings SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/lang/solidity XDG_CONFIG_HOME=/construction/lang/solidity XDG_CACHE_HOME=/construction/lang/solidity/.cache HOME=/construction/lang/solidity TMPDIR="/tmp" PATH=/construction/lang/solidity/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/lang/solidity/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ARGS ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/lang/solidity XDG_CONFIG_HOME=/construction/lang/solidity XDG_CACHE_HOME=/construction/lang/solidity/.cache HOME=/construction/lang/solidity TMPDIR="/tmp" PATH=/construction/lang/solidity/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/lang/solidity/.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 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="clang15" CFLAGS="-pipe -O2 -fno-strict-aliasing " CPP="clang-cpp15" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="clang++15" CXXFLAGS=" -pipe -O2 -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" SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: MAKE_ARGS ------------------------------------------------------------------------------- DESTDIR=/construction/lang/solidity/stage SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: PLIST_SUB ------------------------------------------------------------------------------- CMAKE_BUILD_TYPE="release" OSREL=6.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/solidity" EXAMPLESDIR="share/examples/solidity" DATADIR="share/solidity" WWWDIR="www/solidity" ETCDIR="etc/solidity" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: 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 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: /etc/make.conf ------------------------------------------------------------------------------- DPORTS_BUILDER=yes DISABLE_LICENSES=yes DEFAULT_VERSIONS=ssl=openssl FORCE_PACKAGE=yes DEVELOPER=yes DFLY_STING_XFAIL=yes USE_PACKAGE_DEPENDS_ONLY=yes PORTSDIR=/xports PORT_DBDIR=/options PKG_DBDIR=/var/db/pkg PKG_CACHEDIR=/var/cache/pkg PKG_COMPRESSION_FORMAT=.tgz DEVELOPER=1 WITH_CCACHE_BUILD=yes CCACHE_DIR=/ccache UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=600503 OSVERSION=9999999 OSREL=6.5 _OSRELEASE=6.5-SYNTH DISTDIR=/distfiles WRKDIRPREFIX=/construction BATCH=yes PACKAGE_BUILDING=yes PKG_CREATE_VERBOSE=yes MAKE_JOBS_NUMBER=13 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/icu-73.2,1.pkg Installing /packages/All/boost-libs-1.82.0_1.pkg ===== Message from boost-libs-1.82.0_1: -- You have built the Boost library with thread support. Don't forget to add -pthread to your linker options when linking your code. Installing /packages/All/libfmt-9.1.0.pkg Installing /packages/All/range-v3-0.12.0.pkg ===== Message from range-v3-0.12.0: -- ===> NOTICE: The range-v3 port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://docs.freebsd.org/en/articles/contributing/#ports-contributing Installing /packages/All/expat-2.5.0.pkg Installing /packages/All/libuv-1.46.0.pkg Installing /packages/All/indexinfo-0.3.1.pkg Installing /packages/All/gettext-runtime-0.21.1.pkg Installing /packages/All/openssl-1.1.1u,1.pkg Installing /packages/All/rhash-1.4.3.pkg Installing /packages/All/pkg-1.19.2.pkg Installing /packages/All/liblz4-1.9.4,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/zstd-1.5.5.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/libarchive-3.6.2,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/ncurses-6.4.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required ===== Message from ncurses-6.4: -- To get the terminfo database please install the terminfo-db package: pkg install terminfo-db Installing /packages/All/cmake-core-3.26.1_1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required UNFLAVORED devel/llvm15 -> use devel/llvm15@default Installing /packages/All/libffi-3.4.4.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/mpdecimal-2.5.1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/readline-8.2.1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/python39-3.9.17.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required ===== Message from python39-3.9.17: -- 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 Installing /packages/All/py39-zipp-3.15.0.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-importlib-metadata-6.7.0.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-markdown-3.3.7_1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-setuptools-63.1.0_1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-sphinx-markdown-tables-0.0.15,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-future-0.18.3.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-CommonMark-0.9.1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-docutils-0.19,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-sphinxcontrib-applehelp-1.0.2.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-sphinxcontrib-devhelp-1.0.2.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-sphinxcontrib-jsmath-1.0.1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-sphinxcontrib-htmlhelp-2.0.0.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-sphinxcontrib-serializinghtml-1.1.5.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-sphinxcontrib-qthelp-1.0.3.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-markupsafe-2.1.3.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-pytz-2023.3,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-Babel-2.12.1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-Jinja2-3.1.2.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-pygments-2.15.1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-pystemmer-2.0.1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-snowballstemmer-2.2.0.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-alabaster-0.7.13.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-imagesize-1.4.1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-certifi-2023.5.7.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-charset-normalizer-3.1.0.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-idna-3.4_1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-pysocks-1.7.1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-pycparser-2.21.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-cffi-1.15.1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-cryptography-3.4.8_1,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-six-1.16.0.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-openssl-21.0.0,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-urllib3-1.26.16,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required ===== Message from py39-urllib3-1.26.16,1: -- Since version 1.25 HTTPS connections are now verified by default which is done via "cert_reqs = 'CERT_REQUIRED'". While certificate verification can be disabled via "cert_reqs = 'CERT_NONE'", it's highly recommended to leave it on. Various consumers of net/py-urllib3 already have implemented routines that either explicitly enable or disable HTTPS certificate verification (e.g. via configuration settings, CLI arguments, etc.). Yet it may happen that there are still some consumers which don't explicitly enable/disable certificate verification for HTTPS connections which could then lead to errors (as is often the case with self-signed certificates). In case of an error one should try first to temporarily disable certificate verification of the problematic urllib3 consumer to see if that approach will remedy the issue. Installing /packages/All/py39-requests-2.31.0.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-packaging-23.1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/ca_root_nss-3.89.1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required ===== Message from ca_root_nss-3.89.1: -- 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 Installing /packages/All/py39-sphinx-5.3.0_1,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-recommonmark-0.5.0_2.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/binutils-2.40_4,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/perl5-5.32.1_3.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/ccache-3.7.12_4.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required 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 gcc create symlink for gcc (world) create symlink for g++ create symlink for g++ (world) ===== Message from ccache-3.7.12_4: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. Installing /packages/All/llvm15-15.0.7_5.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required create symlink for clang15 create symlink for clang15 (world) create symlink for clang++15 create symlink for clang++15 (world) Installing /packages/All/jsoncpp-1.9.5.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/z3-4.8.13.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required UNFLAVORED devel/llvm15 -> use devel/llvm15@default SUCCEEDED 00:00:37 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> solidity-0.8.20 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> solidity-0.8.20 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by solidity-0.8.20 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> solidity-0.8.20 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by solidity-0.8.20 for building => SHA256 Checksum OK for solidity_0.8.20.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> solidity-0.8.20 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by solidity-0.8.20 for building ===> Extracting for solidity-0.8.20 ===> solidity-0.8.20 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by solidity-0.8.20 for building => SHA256 Checksum OK for solidity_0.8.20.tar.gz. Extracted Memory Use: 47.27M SUCCEEDED 00:00:03 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for solidity-0.8.20 ===> Applying ports patches for solidity-0.8.20 from /xports/lang/solidity/files /usr/bin/env WRKSRC=/construction/lang/solidity/solidity_0.8.20 REWARNFILE=/construction/lang/solidity/reinplace_warnings.txt /bin/sh /xports/Mk/Scripts/sed_checked.sh -e '/add_compile_options(-Werror)/d' /construction/lang/solidity/solidity_0.8.20/cmake/EthCompilerSettings.cmake /usr/bin/env WRKSRC=/construction/lang/solidity/solidity_0.8.20 REWARNFILE=/construction/lang/solidity/reinplace_warnings.txt /bin/sh /xports/Mk/Scripts/sed_checked.sh -e '/add_compile_options(-Qunused-arguments)/d' /construction/lang/solidity/solidity_0.8.20/cmake/EthCompilerSettings.cmake SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> solidity-0.8.20 depends on package: boost-libs>=0 - found ===> solidity-0.8.20 depends on package: libfmt>=0 - found ===> solidity-0.8.20 depends on package: range-v3>=0 - found ===> solidity-0.8.20 depends on file: /usr/local/bin/cmake - found ===> solidity-0.8.20 depends on executable: clang15 - found ===> solidity-0.8.20 depends on file: /usr/local/bin/ccache - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- ===> solidity-0.8.20 depends on shared library: libjsoncpp.so - found (/usr/local/lib/libjsoncpp.so) ===> solidity-0.8.20 depends on shared library: libz3.so - found (/usr/local/lib/libz3.so) SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> solidity-0.8.20 depends on package: boost-libs>=0 - found ===> solidity-0.8.20 depends on package: libfmt>=0 - found ===> solidity-0.8.20 depends on package: range-v3>=0 - found ===> solidity-0.8.20 depends on file: /usr/local/bin/cmake - found ===> solidity-0.8.20 depends on executable: clang15 - found ===> solidity-0.8.20 depends on file: /usr/local/bin/ccache - found ===> solidity-0.8.20 depends on shared library: libjsoncpp.so - found (/usr/local/lib/libjsoncpp.so) ===> solidity-0.8.20 depends on shared library: libz3.so - found (/usr/local/lib/libz3.so) ===> Configuring for solidity-0.8.20 ===> Performing out-of-source build /bin/mkdir -p /construction/lang/solidity/.build CMake Warning: Ignoring extra path from command line: "/construction/lang/solidity/.build/USE_CVC4" -- The C compiler identification is Clang 15.0.7 -- The CXX compiler identification is Clang 15.0.7 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/local/libexec/ccache/clang15 - 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/clang++15 - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done CMake Warning at /usr/local/share/cmake/Modules/FindBoost.cmake:1390 (message): New Boost version may have incorrect or missing dependencies and imported targets Call Stack (most recent call first): /usr/local/share/cmake/Modules/FindBoost.cmake:1514 (_Boost_COMPONENT_DEPENDENCIES) /usr/local/share/cmake/Modules/FindBoost.cmake:2125 (_Boost_MISSING_DEPENDENCIES) cmake/EthDependencies.cmake:40 (find_package) CMakeLists.txt:44 (include) CMake Warning at /usr/local/share/cmake/Modules/FindBoost.cmake:1390 (message): New Boost version may have incorrect or missing dependencies and imported targets Call Stack (most recent call first): /usr/local/share/cmake/Modules/FindBoost.cmake:1514 (_Boost_COMPONENT_DEPENDENCIES) /usr/local/share/cmake/Modules/FindBoost.cmake:2125 (_Boost_MISSING_DEPENDENCIES) cmake/EthDependencies.cmake:40 (find_package) CMakeLists.txt:44 (include) CMake Warning at /usr/local/share/cmake/Modules/FindBoost.cmake:1390 (message): New Boost version may have incorrect or missing dependencies and imported targets Call Stack (most recent call first): /usr/local/share/cmake/Modules/FindBoost.cmake:1514 (_Boost_COMPONENT_DEPENDENCIES) /usr/local/share/cmake/Modules/FindBoost.cmake:2125 (_Boost_MISSING_DEPENDENCIES) cmake/EthDependencies.cmake:40 (find_package) CMakeLists.txt:44 (include) CMake Warning at /usr/local/share/cmake/Modules/FindBoost.cmake:1390 (message): New Boost version may have incorrect or missing dependencies and imported targets Call Stack (most recent call first): /usr/local/share/cmake/Modules/FindBoost.cmake:1514 (_Boost_COMPONENT_DEPENDENCIES) /usr/local/share/cmake/Modules/FindBoost.cmake:2125 (_Boost_MISSING_DEPENDENCIES) cmake/EthDependencies.cmake:40 (find_package) CMakeLists.txt:44 (include) -- 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 -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed -- Looking for pthread_create in pthreads -- Looking for pthread_create in pthreads - not found -- Looking for pthread_create in pthread -- Looking for pthread_create in pthread - 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=/construction/lang/solidity/solidity_0.8.20=/solidity -- Performing Test fmacro-prefix-map=/construction/lang/solidity/solidity_0.8.20=/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 WNO_DANGLING_REFERENCE -- Performing Test WNO_DANGLING_REFERENCE - Failed -- 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.20 ------------------------------------------------------------------------ -- CMake Version 3.26.1 -- CMAKE_BUILD_TYPE Build type Release -- TARGET_PLATFORM Target platform DragonFly --------------------------------------------------------------- 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:92 (message): Solidity requires Z3 4.8.16 or newer. You can also use -DUSE_Z3=OFF to build without Z3. -- Configuring incomplete, errors occurred! *** Error code 1 Stop. make[1]: stopped in /xports/lang/solidity *** Error code 1 Stop. make: stopped in /xports/lang/solidity FAILED 00:00:13