From owner-freebsd-pkg-fallout@freebsd.org Sun Aug 4 02:02:01 2019 Return-Path: Delivered-To: freebsd-pkg-fallout@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id CB162C15A8 for ; Sun, 4 Aug 2019 02:02:01 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mailman.nyi.freebsd.org (unknown [127.0.1.3]) by mx1.freebsd.org (Postfix) with ESMTP id 461PKP5pZmz3y81 for ; Sun, 4 Aug 2019 02:02:01 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: by mailman.nyi.freebsd.org (Postfix) id C75BBC15A7; Sun, 4 Aug 2019 02:02:01 +0000 (UTC) Delivered-To: pkg-fallout@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id C7158C15A5 for ; Sun, 4 Aug 2019 02:02:01 +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) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 461PKP5hQrz3y80; Sun, 4 Aug 2019 02:02:01 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy5.nyi.freebsd.org (beefy5.nyi.freebsd.org [IPv6:2610:1c1:1:6080::16:e8]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id A4F0B24367; Sun, 4 Aug 2019 02:02:01 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy5.nyi.freebsd.org (localhost [127.0.0.1]) by beefy5.nyi.freebsd.org (8.15.2/8.15.2) with ESMTP id x74221Q2071487; Sun, 4 Aug 2019 02:02:01 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by beefy5.nyi.freebsd.org (8.15.2/8.15.2/Submit) id x74221r7071481; Sun, 4 Aug 2019 02:02:01 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Sun, 4 Aug 2019 02:02:01 GMT From: pkg-fallout@FreeBSD.org Message-Id: <201908040202.x74221r7071481@beefy5.nyi.freebsd.org> To: ale@FreeBSD.org Subject: [package - 120i386-default][lang/solidity] Failed for solidity-0.5.10_1 in build Cc: pkg-fallout@FreeBSD.org X-BeenThere: freebsd-pkg-fallout@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Fallout logs from package building List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 04 Aug 2019 02:02:01 -0000 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 Last committer: gerald@FreeBSD.org Ident: $FreeBSD: head/lang/solidity/Makefile 507372 2019-07-26 20:46:53Z gerald $ Log URL: http://beefy5.nyi.freebsd.org/data/120i386-default/508041/logs/solidity-0.5.10_1.log Build URL: http://beefy5.nyi.freebsd.org/build.html?mastername=120i386-default&build=508041 Log: =>> Building lang/solidity build started at Sun Aug 4 01:42:36 UTC 2019 port directory: /usr/ports/lang/solidity package name: solidity-0.5.10_1 building for: FreeBSD 120i386-default-job-22 12.0-RELEASE-p8 FreeBSD 12.0-RELEASE-p8 i386 maintained by: ale@FreeBSD.org Makefile ident: $FreeBSD: head/lang/solidity/Makefile 507372 2019-07-26 20:46:53Z gerald $ Poudriere version: 3.2.8-5-gc81843e5 Host OSVERSION: 1300031 Jail OSVERSION: 1200086 Job Id: 22 ---Begin Environment--- SHELL=/bin/csh UNAME_p=i386 UNAME_m=i386 OSVERSION=1200086 UNAME_v=FreeBSD 12.0-RELEASE-p8 UNAME_r=12.0-RELEASE-p8 BLOCKSIZE=K MAIL=/var/mail/root 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-5-gc81843e5 MASTERMNT=/usr/local/poudriere/data/.m/120i386-default/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= PWD=/usr/local/poudriere/data/.m/120i386-default/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=120i386-default SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/120i386-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.5.10_1: CVC4=on: SMT Checker via CVC4 Z3=off: 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 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-- XDG_DATA_HOME=/wrkdirs/usr/ports/lang/solidity/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/lang/solidity/work 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=12.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 MACHINE=i386 MACHINE_ARCH=i386 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 # stable/10 includes src.conf too late but make.conf is in sys.mk .if ${.CURDIR:M/poudriere/jails/10*/usr/src/usr.bin/xlint*} # Disable build of llib now that head no longer has lint(1) LINT= true .endif #### /usr/ports/Mk/Scripts/ports_env.sh #### _CCVERSION_921dbbb2=FreeBSD clang version 6.0.1 (tags/RELEASE_601/final 335540) (based on LLVM 6.0.1) Target: i386-unknown-freebsd12.0 Thread model: posix InstalledDir: /usr/bin _ALTCCVERSION_921dbbb2=none _CXXINTERNAL_acaad9ca=FreeBSD clang version 6.0.1 (tags/RELEASE_601/final 335540) (based on LLVM 6.0.1) Target: i386-unknown-freebsd12.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" "-m" "elf_i386_fbsd" "-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 6.0.1 (tags/RELEASE_601/final 335540) (based on LLVM 6.0.1) Target: i386-unknown-freebsd12.0 Thread model: posix InstalledDir: /usr/bin _OBJC_ALTCCVERSION_921dbbb2=none ARCH=i386 OPSYS=FreeBSD _OSRELEASE=12.0-RELEASE-p8 OSREL=12.0 OSVERSION=1200086 PYTHONBASE=/usr/local CONFIGURE_MAX_CMD_LEN=262144 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) 524288 stack size (kbytes, -s) 65536 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.5.10_1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.11.1.txz [120i386-default-job-22] Installing pkg-1.11.1... [120i386-default-job-22] Extracting pkg-1.11.1: .......... done ===> solidity-0.5.10_1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of solidity-0.5.10_1 =========================================================================== =================================================== =========================================================================== =================================================== ===> License GPLv3 accepted by the user ===> Fetching all distfiles required by solidity-0.5.10_1 for building =========================================================================== =================================================== ===> License GPLv3 accepted by the user ===> Fetching all distfiles required by solidity-0.5.10_1 for building => SHA256 Checksum OK for solidity_0.5.10.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> License GPLv3 accepted by the user ===> Fetching all distfiles required by solidity-0.5.10_1 for building ===> Extracting for solidity-0.5.10_1 => SHA256 Checksum OK for solidity_0.5.10.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for solidity-0.5.10_1 ===> Applying FreeBSD patches for solidity-0.5.10_1 =========================================================================== =================================================== ===> solidity-0.5.10_1 depends on package: boost-libs>=0 - not found ===> Installing existing package /packages/All/boost-libs-1.70.0_2.txz [120i386-default-job-22] Installing boost-libs-1.70.0_2... [120i386-default-job-22] `-- Installing icu-64.2,1... [120i386-default-job-22] `-- Extracting icu-64.2,1: .......... done 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.5.10_1 depends on file: /usr/local/bin/cmake - found ===> Returning to build of solidity-0.5.10_1 ===> solidity-0.5.10_1 depends on executable: ninja - not found ===> Installing existing package /packages/All/ninja-1.9.0,2.txz [120i386-default-job-22] Installing ninja-1.9.0,2... [120i386-default-job-22] `-- Installing python36-3.6.9... [120i386-default-job-22] | `-- Installing gettext-runtime-0.20.1... [120i386-default-job-22] | | `-- Installing indexinfo-0.3.1... [120i386-default-job-22] | | `-- Extracting indexinfo-0.3.1: .... done [120i386-default-job-22] | `-- Extracting gettext-runtime-0.20.1: .......... done [120i386-default-job-22] | `-- Installing libffi-3.2.1_3... [120i386-default-job-22] | `-- Extracting libffi-3.2.1_3: .......... done [120i386-default-job-22] | `-- Installing readline-8.0.0... [120i386-default-job-22] | `-- Extracting readline-8.0.0: .......... done [120i386-default-job-22] `-- Extracting python36-3.6.9: .......... done [120i386-default-job-22] Extracting ninja-1.9.0,2: ......... done Message from python36-3.6.9: =========================================================================== Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py36-gdbm databases/py-gdbm@py36 py36-sqlite3 databases/py-sqlite3@py36 py36-tkinter x11-toolkits/py-tkinter@py36 =========================================================================== ===> solidity-0.5.10_1 depends on executable: ninja - found ===> Returning to build of solidity-0.5.10_1 =========================================================================== =================================================== ===> solidity-0.5.10_1 depends on shared library: libjsoncpp.so - found (/usr/local/lib/libjsoncpp.so) ===> solidity-0.5.10_1 depends on shared library: libcvc4.so - not found ===> Installing existing package /packages/All/cvc4-1.7.txz [120i386-default-job-22] Installing cvc4-1.7... [120i386-default-job-22] `-- Installing cryptominisat-5.6.8_2... [120i386-default-job-22] `-- Extracting cryptominisat-5.6.8_2: .......... done [120i386-default-job-22] `-- Installing gmp-6.1.2_1... [120i386-default-job-22] `-- Extracting gmp-6.1.2_1: .......... done [120i386-default-job-22] `-- Installing libantlr3c-3.4_1... [120i386-default-job-22] `-- Extracting libantlr3c-3.4_1: .......... done [120i386-default-job-22] Extracting cvc4-1.7: .......... done ===> solidity-0.5.10_1 depends on shared library: libcvc4.so - found (/usr/local/lib/libcvc4.so) ===> Returning to build of solidity-0.5.10_1 ===> solidity-0.5.10_1 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) =========================================================================== =================================================== ===> Configuring for solidity-0.5.10_1 ===> Performing out-of-source build /bin/mkdir -p /wrkdirs/usr/ports/lang/solidity/work/.build -- The CXX compiler identification is Clang 6.0.1 -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Check if the system is big endian -- Searching 16 bit integer -- Looking for C++ include sys/types.h -- Looking for C++ include sys/types.h - found -- Looking for C++ include stdint.h -- Looking for C++ include stdint.h - found -- Looking for C++ include stddef.h -- Looking for C++ include stddef.h - found -- Check size of unsigned short -- Check size of unsigned short - done -- Using unsigned short -- Check if the system is big endian - little endian -- Found Boost headers in /usr/local/include -- Found Boost::regex at /usr/local/lib/libboost_regex.a -- 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 C++ include pthread.h -- Looking for C++ include 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 ------------------------------------------------------------------------ -- Configuring solidity 0.5.10 ------------------------------------------------------------------------ -- CMake Version 3.14.5 -- CMAKE_BUILD_TYPE Build type Release -- TARGET_PLATFORM Target platform FreeBSD --------------------------------------------------------------- features -- COVERAGE Coverage support OFF ------------------------------------------------------------- components -- TESTS Build tests OFF ------------------------------------------------------------------ flags -- OSSFUZZ OFF -- LLL OFF ------------------------------------------------------------------------ -- Could NOT find Z3 (missing: Z3_LIBRARY Z3_INCLUDE_DIR) (Required is at least version "4.6.0") CVC4 SMT solver found. This enables optional SMT checking with CVC4. -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_COLOR_MAKEFILE CMAKE_C_FLAGS CMAKE_C_FLAGS_DEBUG CMAKE_C_FLAGS_RELEASE CMAKE_MODULE_LINKER_FLAGS CMAKE_SHARED_LINKER_FLAGS CMAKE_VERBOSE_MAKEFILE -- Build files have been written to: /wrkdirs/usr/ports/lang/solidity/work/.build =========================================================================== =================================================== ===> Building for solidity-0.5.10_1 [1/168] cd /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 && /usr/local/bin/cmake -DETH_SOURCE_DIR=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -DETH_BUILDINFO_IN=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/cmake/templates/BuildInfo.h.in -DETH_DST_DIR=/wrkdirs/usr/ports/lang/solidity/work/.build/include/solidity -DETH_CMAKE_DIR=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/cmake -DETH_BUILD_TYPE="Release" -DETH_BUILD_OS="FreeBSD" -DETH_BUILD_COMPILER="clang" -DETH_BUILD_PLATFORM="FreeBSD.clang" -DPROJECT_VERSION="0.5.10" -DPROJECT_VERSION_MAJOR="0" -DPROJECT_VERSION_MINOR="5" -DPROJECT_VERSION_PATCH="10" -P /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/cmake/scripts/buildinfo.cmake [2/168] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/Metrics.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/Metrics.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/Metrics.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libyul/optimiser/Metrics.cpp [3/168] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/NameCollector.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/NameCollector.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/NameCollector.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libyul/optimiser/NameCollector.cpp [4/168] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/NameDispenser.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/NameDispenser.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/NameDispenser.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libyul/optimiser/NameDispenser.cpp [5/168] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/NameDisplacer.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/NameDisplacer.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/NameDisplacer.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libyul/optimiser/NameDisplacer.cpp [6/168] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/OptimizerUtilities.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/OptimizerUtilities.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/OptimizerUtilities.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libyul/optimiser/OptimizerUtilities.cpp [7/168] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/RedundantAssignEliminator.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/RedundantAssignEliminator.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/RedundantAssignEliminator.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libyul/optimiser/RedundantAssignEliminator.cpp [8/168] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/Rematerialiser.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/Rematerialiser.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/Rematerialiser.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libyul/optimiser/Rematerialiser.cpp [9/168] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/SSAReverser.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/SSAReverser.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/SSAReverser.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libyul/optimiser/SSAReverser.cpp [10/168] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/SSATransform.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/SSATransform.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/SSATransform.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libyul/optimiser/SSATransform.cpp [11/168] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/SSAValueTracker.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/SSAValueTracker.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/SSAValueTracker.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libyul/optimiser/SSAValueTracker.cpp [12/168] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/Semantics.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/Semantics.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/Semantics.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libyul/optimiser/Semantics.cpp [13/168] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/SimplificationRules.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/SimplificationRules.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/SimplificationRules.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libyul/optimiser/SimplificationRules.cpp [14/168] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/StackCompressor.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/StackCompressor.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/StackCompressor.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libyul/optimiser/StackCompressor.cpp [15/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/ConstantEvaluator.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/ConstantEvaluator.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/ConstantEvaluator.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/analysis/ConstantEvaluator.cpp [16/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/ContractLevelChecker.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/ContractLevelChecker.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/ContractLevelChecker.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/analysis/ContractLevelChecker.cpp [17/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowAnalyzer.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowAnalyzer.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowAnalyzer.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/analysis/ControlFlowAnalyzer.cpp [18/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowBuilder.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowBuilder.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowBuilder.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/analysis/ControlFlowBuilder.cpp [19/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowGraph.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowGraph.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowGraph.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/analysis/ControlFlowGraph.cpp [20/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/DeclarationContainer.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/DeclarationContainer.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/DeclarationContainer.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/analysis/DeclarationContainer.cpp [21/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/DocStringAnalyser.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/DocStringAnalyser.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/DocStringAnalyser.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/analysis/DocStringAnalyser.cpp [22/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/GlobalContext.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/GlobalContext.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/GlobalContext.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/analysis/GlobalContext.cpp [23/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/NameAndTypeResolver.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/NameAndTypeResolver.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/NameAndTypeResolver.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/analysis/NameAndTypeResolver.cpp [24/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/ast/ASTPrinter.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/ast/ASTPrinter.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/ast/ASTPrinter.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/ast/ASTPrinter.cpp [25/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/PostTypeChecker.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/PostTypeChecker.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/PostTypeChecker.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/analysis/PostTypeChecker.cpp [26/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/ReferencesResolver.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/ReferencesResolver.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/ReferencesResolver.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/analysis/ReferencesResolver.cpp [27/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/StaticAnalyzer.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/StaticAnalyzer.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/StaticAnalyzer.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/analysis/StaticAnalyzer.cpp [28/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/SyntaxChecker.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/SyntaxChecker.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/SyntaxChecker.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/analysis/SyntaxChecker.cpp [29/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/TypeChecker.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/TypeChecker.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/TypeChecker.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/analysis/TypeChecker.cpp [30/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/ViewPureChecker.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/ViewPureChecker.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/ViewPureChecker.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/analysis/ViewPureChecker.cpp [31/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/ast/AST.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/ast/AST.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/ast/AST.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/ast/AST.cpp [32/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/ast/ASTAnnotations.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/ast/ASTAnnotations.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/ast/ASTAnnotations.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/ast/ASTAnnotations.cpp [33/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonConverter.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonConverter.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonConverter.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/ast/ASTJsonConverter.cpp [34/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/ast/Types.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/ast/Types.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/ast/Types.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/ast/Types.cpp [35/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/ast/TypeProvider.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/ast/TypeProvider.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/ast/TypeProvider.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/ast/TypeProvider.cpp [36/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/ABIFunctions.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/ABIFunctions.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/ABIFunctions.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/codegen/ABIFunctions.cpp [37/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/ArrayUtils.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/ArrayUtils.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/ArrayUtils.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/codegen/ArrayUtils.cpp [38/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/Compiler.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/Compiler.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/Compiler.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/codegen/Compiler.cpp [39/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/CompilerContext.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/CompilerContext.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/CompilerContext.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/codegen/CompilerContext.cpp [40/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/CompilerUtils.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/CompilerUtils.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/CompilerUtils.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/codegen/CompilerUtils.cpp [41/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/ContractCompiler.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/ContractCompiler.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/ContractCompiler.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/codegen/ContractCompiler.cpp [42/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/ExpressionCompiler.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/ExpressionCompiler.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/ExpressionCompiler.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/codegen/ExpressionCompiler.cpp [43/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/LValue.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/LValue.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/LValue.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/codegen/LValue.cpp [44/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/MultiUseYulFunctionCollector.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/MultiUseYulFunctionCollector.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/MultiUseYulFunctionCollector.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/codegen/MultiUseYulFunctionCollector.cpp [45/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/YulUtilFunctions.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/YulUtilFunctions.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/YulUtilFunctions.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/codegen/YulUtilFunctions.cpp [46/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGenerator.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGenerator.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGenerator.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/codegen/ir/IRGenerator.cpp [47/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGeneratorForStatements.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGeneratorForStatements.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGeneratorForStatements.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/codegen/ir/IRGeneratorForStatements.cpp [48/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGenerationContext.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGenerationContext.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGenerationContext.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/codegen/ir/IRGenerationContext.cpp [49/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRLValue.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRLValue.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRLValue.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/codegen/ir/IRLValue.cpp [50/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/EncodingContext.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/EncodingContext.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/EncodingContext.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/formal/EncodingContext.cpp [51/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/SMTChecker.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/SMTChecker.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/SMTChecker.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/formal/SMTChecker.cpp [52/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/SMTLib2Interface.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/SMTLib2Interface.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/SMTLib2Interface.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/formal/SMTLib2Interface.cpp [53/168] /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/SMTPortfolio.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/SMTPortfolio.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/SMTPortfolio.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/formal/SMTPortfolio.cpp FAILED: libsolidity/CMakeFiles/solidity.dir/formal/SMTPortfolio.cpp.o /usr/bin/c++ -DHAVE_CVC4 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wall -Wextra -pthread -std=c++14 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/SMTPortfolio.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/SMTPortfolio.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/SMTPortfolio.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/formal/SMTPortfolio.cpp In file included from /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/formal/SMTPortfolio.cpp:24: In file included from /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/formal/CVC4Interface.h:30: In file included from /usr/local/include/cvc4/cvc4.h:21: /usr/local/include/cvc4/base/configuration.h:19:10: fatal error: 'cvc4_public.h' file not found #include "cvc4_public.h" ^~~~~~~~~~~~~~~ 1 error generated. ninja: build stopped: subcommand failed. *** Error code 1 Stop. make: stopped in /usr/ports/lang/solidity