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: a...@freebsd.org Last committer: a...@freebsd.org Ident: $FreeBSD: head/lang/solidity/Makefile 530974 2020-04-07 12:29:16Z ale $ Log URL: http://beefy10.nyi.freebsd.org/data/113i386-default/531468/logs/solidity-0.6.5.log Build URL: http://beefy10.nyi.freebsd.org/build.html?mastername=113i386-default&build=531468 Log: =>> Building lang/solidity build started at Sun Apr 12 20:47:56 UTC 2020 port directory: /usr/ports/lang/solidity package name: solidity-0.6.5 building for: FreeBSD 113i386-default-job-03 11.3-RELEASE-p7 FreeBSD 11.3-RELEASE-p7 i386 maintained by: a...@freebsd.org Makefile ident: $FreeBSD: head/lang/solidity/Makefile 530974 2020-04-07 12:29:16Z ale $ Poudriere version: 3.2.8-5-gc81843e5 Host OSVERSION: 1300076 Jail OSVERSION: 1103000 Job Id: 03 ---Begin Environment--- SHELL=/bin/csh UNAME_p=i386 UNAME_m=i386 OSVERSION=1103000 UNAME_v=FreeBSD 11.3-RELEASE-p7 UNAME_r=11.3-RELEASE-p7 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/113i386-default/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= PWD=/usr/local/poudriere/data/.m/113i386-default/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=113i386-default SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/113i386-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.6.5: CVC4=on: SMT Checker via CVC4 Z3=on: SMT Checker via Z3 ===> Use 'make config' to modify these settings ---End OPTIONS List--- --MAINTAINER-- a...@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=11.3 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 #### /usr/ports/Mk/Scripts/ports_env.sh #### _CCVERSION_921dbbb2=FreeBSD clang version 8.0.0 (tags/RELEASE_800/final 356365) (based on LLVM 8.0.0) Target: i386-unknown-freebsd11.3 Thread model: posix InstalledDir: /usr/bin _ALTCCVERSION_921dbbb2=none _CXXINTERNAL_acaad9ca=FreeBSD clang version 8.0.0 (tags/RELEASE_800/final 356365) (based on LLVM 8.0.0) Target: i386-unknown-freebsd11.3 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 8.0.0 (tags/RELEASE_800/final 356365) (based on LLVM 8.0.0) Target: i386-unknown-freebsd11.3 Thread model: posix InstalledDir: /usr/bin _OBJC_ALTCCVERSION_921dbbb2=none ARCH=i386 OPSYS=FreeBSD _OSRELEASE=11.3-RELEASE-p7 OSREL=11.3 OSVERSION=1103000 PYTHONBASE=/usr/local CONFIGURE_MAX_CMD_LEN=524288 HAVE_PORTS_ENV=1 #### Misc Poudriere #### GID=0 UID=0 DISABLE_MAKE_JOBS=poudriere ---End make.conf--- --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-- =======================<phase: check-sanity >============================ ===> License GPLv3 accepted by the user =========================================================================== =======================<phase: pkg-depends >============================ ===> solidity-0.6.5 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.14.2.txz [113i386-default-job-03] Installing pkg-1.14.2... [113i386-default-job-03] Extracting pkg-1.14.2: .......... done ===> solidity-0.6.5 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of solidity-0.6.5 =========================================================================== =======================<phase: fetch-depends >============================ =========================================================================== =======================<phase: fetch >============================ ===> License GPLv3 accepted by the user ===> Fetching all distfiles required by solidity-0.6.5 for building =========================================================================== =======================<phase: checksum >============================ ===> License GPLv3 accepted by the user ===> Fetching all distfiles required by solidity-0.6.5 for building => SHA256 Checksum OK for solidity_0.6.5.tar.gz. =========================================================================== =======================<phase: extract-depends>============================ =========================================================================== =======================<phase: extract >============================ ===> License GPLv3 accepted by the user ===> Fetching all distfiles required by solidity-0.6.5 for building ===> Extracting for solidity-0.6.5 => SHA256 Checksum OK for solidity_0.6.5.tar.gz. =========================================================================== =======================<phase: patch-depends >============================ =========================================================================== =======================<phase: patch >============================ ===> Patching for solidity-0.6.5 ===> Applying FreeBSD patches for solidity-0.6.5 =========================================================================== =======================<phase: build-depends >============================ ===> solidity-0.6.5 depends on package: boost-libs>=0 - not found ===> Installing existing package /packages/All/boost-libs-1.72.0_1.txz [113i386-default-job-03] Installing boost-libs-1.72.0_1... [113i386-default-job-03] `-- Installing icu-66.1,1... [113i386-default-job-03] `-- Extracting icu-66.1,1: .......... done [113i386-default-job-03] Extracting boost-libs-1.72.0_1: .......... done ===== Message from boost-libs-1.72.0_1: -- You have built the Boost library with thread support. <snip> =======================<phase: configure >============================ ===> Configuring for solidity-0.6.5 ===> Performing out-of-source build /bin/mkdir -p /wrkdirs/usr/ports/lang/solidity/work/.build -- The C compiler identification is Clang 8.0.0 -- The CXX compiler identification is Clang 8.0.0 -- Check for working C compiler: /usr/bin/cc -- Check for working C compiler: /usr/bin/cc - works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- 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 sys/types.h -- Looking for sys/types.h - found -- Looking for stdint.h -- Looking for stdint.h - found -- Looking for stddef.h -- Looking for stddef.h - found -- Check size of unsigned short -- Check size of unsigned short - done -- Searching 16 bit integer - Using unsigned short -- Check if the system is big endian - little endian -- 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.6.5=/solidity -- Performing Test fmacro-prefix-map=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5=/solidity - Failed -- Performing Test Wpessimizing-move -- Performing Test Wpessimizing-move - Success -- Performing Test Wredundant-move -- Performing Test Wredundant-move - Success ------------------------------------------------------------------------ -- Configuring solidity 0.6.5 ------------------------------------------------------------------------ -- CMake Version 3.17.0 -- 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 suitable version "4.8.7", minimum required is "4.6.0") Z3 SMT solver found. This enables optional SMT checking with Z3. 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_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 =========================================================================== =======================<phase: build >============================ ===> Building for solidity-0.6.5 [1/213] cd /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 && /usr/local/bin/cmake -DETH_SOURCE_DIR=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -DETH_BUILDINFO_IN=/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/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.6.5/cmake -DETH_BUILD_TYPE="Release" -DETH_BUILD_OS="FreeBSD" -DETH_BUILD_COMPILER="clang" -DETH_BUILD_PLATFORM="FreeBSD.clang" -DPROJECT_VERSION="0.6.5" -DPROJECT_VERSION_MAJOR="0" -DPROJECT_VERSION_MINOR="6" -DPROJECT_VERSION_PATCH="5" -P /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/cmake/scripts/buildinfo.cmake [2/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/ExpressionSplitter.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/ExpressionSplitter.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/ExpressionSplitter.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libyul/optimiser/ExpressionSplitter.cpp [3/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/ForLoopConditionIntoBody.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/ForLoopConditionIntoBody.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/ForLoopConditionIntoBody.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libyul/optimiser/ForLoopConditionIntoBody.cpp [4/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/ForLoopConditionOutOfBody.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/ForLoopConditionOutOfBody.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/ForLoopConditionOutOfBody.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libyul/optimiser/ForLoopConditionOutOfBody.cpp [5/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/ForLoopInitRewriter.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/ForLoopInitRewriter.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/ForLoopInitRewriter.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libyul/optimiser/ForLoopInitRewriter.cpp [6/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/FullInliner.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/FullInliner.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/FullInliner.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libyul/optimiser/FullInliner.cpp [7/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/FunctionGrouper.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/FunctionGrouper.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/FunctionGrouper.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libyul/optimiser/FunctionGrouper.cpp [8/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/FunctionHoister.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/FunctionHoister.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/FunctionHoister.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libyul/optimiser/FunctionHoister.cpp [9/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/InlinableExpressionFunctionFinder.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/InlinableExpressionFunctionFinder.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/InlinableExpressionFunctionFinder.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libyul/optimiser/InlinableExpressionFunctionFinder.cpp [10/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/KnowledgeBase.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/KnowledgeBase.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/KnowledgeBase.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libyul/optimiser/KnowledgeBase.cpp [11/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/LoadResolver.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/LoadResolver.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/LoadResolver.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libyul/optimiser/LoadResolver.cpp [12/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/LoopInvariantCodeMotion.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/LoopInvariantCodeMotion.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/LoopInvariantCodeMotion.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libyul/optimiser/LoopInvariantCodeMotion.cpp [13/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/MainFunction.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/MainFunction.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/MainFunction.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libyul/optimiser/MainFunction.cpp [14/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libyul/optimiser/Metrics.cpp [15/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libyul/optimiser/NameCollector.cpp [16/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libyul/optimiser/NameDispenser.cpp [17/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/ModelChecker.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/ModelChecker.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/ModelChecker.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/formal/ModelChecker.cpp [18/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/formal/SMTPortfolio.cpp [19/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/SMTEncoder.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/SMTEncoder.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/SMTEncoder.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/formal/SMTEncoder.cpp [20/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/formal/SMTLib2Interface.cpp [21/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/VariableUsage.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/VariableUsage.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/VariableUsage.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/formal/VariableUsage.cpp [22/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/Sorts.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/Sorts.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/Sorts.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/formal/Sorts.cpp [23/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/SSAVariable.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/SSAVariable.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/SSAVariable.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/formal/SSAVariable.cpp [24/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/SymbolicTypes.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/SymbolicTypes.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/SymbolicTypes.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/formal/SymbolicTypes.cpp [25/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/SymbolicVariables.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/SymbolicVariables.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/SymbolicVariables.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/formal/SymbolicVariables.cpp [26/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/interface/GasEstimator.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/interface/GasEstimator.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/interface/GasEstimator.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/interface/GasEstimator.cpp [27/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/interface/ABI.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/interface/ABI.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/interface/ABI.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/interface/ABI.cpp [28/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/interface/CompilerStack.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/interface/CompilerStack.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/interface/CompilerStack.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/interface/CompilerStack.cpp [29/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/interface/Natspec.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/interface/Natspec.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/interface/Natspec.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/interface/Natspec.cpp [30/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/interface/StorageLayout.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/interface/StorageLayout.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/interface/StorageLayout.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/interface/StorageLayout.cpp [31/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/interface/StandardCompiler.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/interface/StandardCompiler.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/interface/StandardCompiler.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/interface/StandardCompiler.cpp [32/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/interface/Version.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/interface/Version.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/interface/Version.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/interface/Version.cpp [33/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/parsing/Parser.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/parsing/Parser.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/parsing/Parser.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/parsing/Parser.cpp [34/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/parsing/DocStringParser.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/parsing/DocStringParser.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/parsing/DocStringParser.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/parsing/DocStringParser.cpp [35/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/Z3Interface.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/Z3Interface.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/Z3Interface.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/formal/Z3Interface.cpp [36/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/Z3CHCInterface.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/Z3CHCInterface.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/Z3CHCInterface.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/formal/Z3CHCInterface.cpp [37/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/CVC4Interface.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/CVC4Interface.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/CVC4Interface.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/formal/CVC4Interface.cpp [38/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/SyntacticalEquality.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/SyntacticalEquality.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/SyntacticalEquality.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libyul/optimiser/SyntacticalEquality.cpp [39/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/TypeInfo.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/TypeInfo.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/TypeInfo.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libyul/optimiser/TypeInfo.cpp [40/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/UnusedPruner.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/UnusedPruner.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/UnusedPruner.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libyul/optimiser/UnusedPruner.cpp [41/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/VarDeclInitializer.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/VarDeclInitializer.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/VarDeclInitializer.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libyul/optimiser/VarDeclInitializer.cpp [42/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libyul/CMakeFiles/yul.dir/optimiser/VarNameCleaner.cpp.o -MF libyul/CMakeFiles/yul.dir/optimiser/VarNameCleaner.cpp.o.d -o libyul/CMakeFiles/yul.dir/optimiser/VarNameCleaner.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libyul/optimiser/VarNameCleaner.cpp [43/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/analysis/ConstantEvaluator.cpp [44/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/analysis/ContractLevelChecker.cpp [45/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/analysis/ControlFlowAnalyzer.cpp [46/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/analysis/ControlFlowBuilder.cpp [47/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/analysis/ControlFlowGraph.cpp [48/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/analysis/DeclarationContainer.cpp [49/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/analysis/DocStringAnalyser.cpp [50/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/ImmutableValidator.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/ImmutableValidator.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/ImmutableValidator.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/analysis/ImmutableValidator.cpp [51/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/analysis/GlobalContext.cpp [52/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/analysis/NameAndTypeResolver.cpp [53/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/analysis/OverrideChecker.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/analysis/OverrideChecker.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/analysis/OverrideChecker.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/analysis/OverrideChecker.cpp [54/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/ast/ASTAnnotations.cpp [55/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/analysis/PostTypeChecker.cpp [56/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/analysis/ReferencesResolver.cpp [57/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/analysis/StaticAnalyzer.cpp [58/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/analysis/SyntaxChecker.cpp [59/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/analysis/TypeChecker.cpp [60/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/ast/AST.cpp [61/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/analysis/ViewPureChecker.cpp [62/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/Upgrade060.cpp.o -MF tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/Upgrade060.cpp.o.d -o tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/Upgrade060.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/tools/solidityUpgrade/Upgrade060.cpp [63/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/SourceUpgrade.cpp.o -MF tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/SourceUpgrade.cpp.o.d -o tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/SourceUpgrade.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/tools/solidityUpgrade/SourceUpgrade.cpp [64/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT solc/CMakeFiles/solc.dir/CommandLineInterface.cpp.o -MF solc/CMakeFiles/solc.dir/CommandLineInterface.cpp.o.d -o solc/CMakeFiles/solc.dir/CommandLineInterface.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/solc/CommandLineInterface.cpp [65/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT solc/CMakeFiles/solc.dir/main.cpp.o -MF solc/CMakeFiles/solc.dir/main.cpp.o.d -o solc/CMakeFiles/solc.dir/main.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/solc/main.cpp [66/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/codegen/CompilerUtils.cpp [67/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/ast/AsmJsonImporter.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/ast/AsmJsonImporter.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/ast/AsmJsonImporter.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/ast/AsmJsonImporter.cpp [68/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/ast/ASTJsonConverter.cpp [69/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/ast/ASTUtils.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/ast/ASTUtils.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/ast/ASTUtils.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/ast/ASTUtils.cpp [70/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonImporter.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonImporter.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonImporter.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/ast/ASTJsonImporter.cpp [71/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/ast/Types.cpp [72/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/ast/TypeProvider.cpp [73/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/codegen/ABIFunctions.cpp [74/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/codegen/ArrayUtils.cpp [75/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/codegen/Compiler.cpp [76/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/codegen/CompilerContext.cpp [77/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/codegen/ExpressionCompiler.cpp [78/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/codegen/ContractCompiler.cpp [79/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/codegen/LValue.cpp [80/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/codegen/YulUtilFunctions.cpp [81/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/codegen/MultiUseYulFunctionCollector.cpp [82/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/codegen/ir/IRGenerator.cpp [83/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/codegen/ir/IRGeneratorForStatements.cpp [84/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/codegen/ir/IRGenerationContext.cpp [85/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRVariable.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRVariable.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRVariable.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/codegen/ir/IRVariable.cpp [86/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -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.6.5/libsolidity/formal/EncodingContext.cpp [87/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/BMC.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/BMC.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/BMC.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/formal/BMC.cpp [88/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/CHC.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/CHC.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/CHC.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/formal/CHC.cpp [89/213] /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolidity/CMakeFiles/solidity.dir/formal/CHCSmtLib2Interface.cpp.o -MF libsolidity/CMakeFiles/solidity.dir/formal/CHCSmtLib2Interface.cpp.o.d -o libsolidity/CMakeFiles/solidity.dir/formal/CHCSmtLib2Interface.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolidity/formal/CHCSmtLib2Interface.cpp [90/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolutil/CMakeFiles/solutil.dir/CommonData.cpp.o -MF libsolutil/CMakeFiles/solutil.dir/CommonData.cpp.o.d -o libsolutil/CMakeFiles/solutil.dir/CommonData.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolutil/CommonData.cpp [91/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolutil/CMakeFiles/solutil.dir/Keccak256.cpp.o -MF libsolutil/CMakeFiles/solutil.dir/Keccak256.cpp.o.d -o libsolutil/CMakeFiles/solutil.dir/Keccak256.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolutil/Keccak256.cpp [92/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolutil/CMakeFiles/solutil.dir/CommonIO.cpp.o -MF libsolutil/CMakeFiles/solutil.dir/CommonIO.cpp.o.d -o libsolutil/CMakeFiles/solutil.dir/CommonIO.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolutil/CommonIO.cpp [93/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolutil/CMakeFiles/solutil.dir/Exceptions.cpp.o -MF libsolutil/CMakeFiles/solutil.dir/Exceptions.cpp.o.d -o libsolutil/CMakeFiles/solutil.dir/Exceptions.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolutil/Exceptions.cpp [94/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolutil/CMakeFiles/solutil.dir/IndentedWriter.cpp.o -MF libsolutil/CMakeFiles/solutil.dir/IndentedWriter.cpp.o.d -o libsolutil/CMakeFiles/solutil.dir/IndentedWriter.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolutil/IndentedWriter.cpp [95/213] /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolutil/CMakeFiles/solutil.dir/IpfsHash.cpp.o -MF libsolutil/CMakeFiles/solutil.dir/IpfsHash.cpp.o.d -o libsolutil/CMakeFiles/solutil.dir/IpfsHash.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolutil/IpfsHash.cpp FAILED: libsolutil/CMakeFiles/solutil.dir/IpfsHash.cpp.o /usr/bin/c++ -Iinclude -I/wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -Wpessimizing-move -Wredundant-move -Wall -Wextra -pedantic -Wno-unknown-pragmas -std=c++17 -MD -MT libsolutil/CMakeFiles/solutil.dir/IpfsHash.cpp.o -MF libsolutil/CMakeFiles/solutil.dir/IpfsHash.cpp.o.d -o libsolutil/CMakeFiles/solutil.dir/IpfsHash.cpp.o -c /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolutil/IpfsHash.cpp /wrkdirs/usr/ports/lang/solidity/work/solidity_0.6.5/libsolutil/IpfsHash.cpp:166:44: error: no matching function for call to 'min' _data.substr(chunkIndex * maxChunkSize, min(maxChunkSize, _data.length() - chunkIndex * maxChunkSize)) ^~~ /usr/include/c++/v1/algorithm:2462:1: note: candidate template ignored: deduced conflicting types for parameter '_Tp' ('unsigned int' vs. 'unsigned long') min(const _Tp& __a, const _Tp& __b) ^ /usr/include/c++/v1/algorithm:2472:1: note: candidate template ignored: could not match 'initializer_list<type-parameter-0-0>' against 'unsigned int' min(initializer_list<_Tp> __t, _Compare __comp) ^ /usr/include/c++/v1/algorithm:2454:1: note: candidate function template not viable: requires 3 arguments, but 2 were provided min(const _Tp& __a, const _Tp& __b, _Compare __comp) ^ /usr/include/c++/v1/algorithm:2480:1: note: candidate function template not viable: requires single argument '__t', but 2 arguments were provided min(initializer_list<_Tp> __t) ^ 1 error generated. ninja: build stopped: subcommand failed. *** Error code 1 Stop. make: stopped in /usr/ports/lang/solidity _______________________________________________ freebsd-pkg-fallout@freebsd.org mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-pkg-fallout To unsubscribe, send any mail to "freebsd-pkg-fallout-unsubscr...@freebsd.org"
