------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/icu-66.1,1.txz Installing /packages/All/boost-libs-1.72.0_1.txz ===== Message from boost-libs-1.72.0_1: -- You have built the Boost library with thread support. Don't forget to add -pthread to your linker options when linking your code. Installing /packages/All/libnghttp2-1.40.0.txz Installing /packages/All/ca_root_nss-3.51.txz ===== Message from ca_root_nss-3.51: -- FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem Installing /packages/All/openssl-1.1.1d,1.txz Installing /packages/All/curl-7.68.0.txz Installing /packages/All/expat-2.2.8.txz Installing /packages/All/jsoncpp-1.9.2.txz Installing /packages/All/libuv-1.35.0.txz Installing /packages/All/rhash-1.3.5.txz Installing /packages/All/liblz4-1.9.2_1,1.txz Installing /packages/All/lzo2-2.10_1.txz Installing /packages/All/libarchive-3.4.2,1.txz Installing /packages/All/ncurses-6.1.20190525.txz Installing /packages/All/cmake-3.16.5.txz Installing /packages/All/libantlr3c-3.4_1.txz Installing /packages/All/cryptominisat-5.6.8_5.txz Installing /packages/All/indexinfo-0.3.1.txz Installing /packages/All/gmp-6.2.0.txz Installing /packages/All/readline-8.0.4.txz Installing /packages/All/cvc4-1.7_3.txz Installing /packages/All/z3-4.8.7.txz SUCCEEDED 00:00:20 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> solidity-0.6.3 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> solidity-0.6.3 depends on file: /usr/local/sbin/pkg - found => solidity_0.6.3.tar.gz doesn't seem to exist in /distfiles/. => Attempting to fetch https://github.com/ethereum/solidity/releases/download/v0.6.3/solidity_0.6.3.tar.gz solidity_0.6.3.tar.gz 0% of 1948 kB 0 Bps solidity_0.6.3.tar.gz 7% of 1948 kB 603 kBps solidity_0.6.3.tar.gz 49% of 1948 kB 824 kBps solidity_0.6.3.tar.gz 91% of 1948 kB 826 kBps 03s solidity_0.6.3.tar.gz 1948 kB 814 kBps 03s ===> Fetching all distfiles required by solidity-0.6.3 for building SUCCEEDED 00:00:04 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> solidity-0.6.3 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by solidity-0.6.3 for building => SHA256 Checksum OK for solidity_0.6.3.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> solidity-0.6.3 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by solidity-0.6.3 for building ===> Extracting for solidity-0.6.3 ===> solidity-0.6.3 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by solidity-0.6.3 for building => SHA256 Checksum OK for solidity_0.6.3.tar.gz. Extracted Memory Use: 21.96M SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for solidity-0.6.3 ===> Applying ports patches for solidity-0.6.3 /usr/bin/env WRKSRC=/construction/lang/solidity/solidity_0.6.3 REWARNFILE=/construction/lang/solidity/reinplace_warnings.txt /xports/Tools/scripts/sed_checked.sh -e '/add_compile_options(-Werror)/d' /construction/lang/solidity/solidity_0.6.3/cmake/EthCompilerSettings.cmake SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> solidity-0.6.3 depends on package: boost-libs>=0 - found ===> solidity-0.6.3 depends on file: /usr/local/bin/cmake - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- ===> solidity-0.6.3 depends on shared library: libjsoncpp.so - found (/usr/local/lib/libjsoncpp.so) ===> solidity-0.6.3 depends on shared library: libcvc4.so - found (/usr/local/lib/libcvc4.so) ===> solidity-0.6.3 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> solidity-0.6.3 depends on shared library: libz3.so - found (/usr/local/lib/libz3.so) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> solidity-0.6.3 depends on package: boost-libs>=0 - found ===> solidity-0.6.3 depends on file: /usr/local/bin/cmake - found ===> solidity-0.6.3 depends on shared library: libjsoncpp.so - found (/usr/local/lib/libjsoncpp.so) ===> solidity-0.6.3 depends on shared library: libcvc4.so - found (/usr/local/lib/libcvc4.so) ===> solidity-0.6.3 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> solidity-0.6.3 depends on shared library: libz3.so - found (/usr/local/lib/libz3.so) ===> Configuring for solidity-0.6.3 ===> Performing out-of-source build /bin/mkdir -p /construction/lang/solidity/.build -- The C compiler identification is GNU 8.3.0 -- The CXX compiler identification is GNU 8.3.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 -- 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=/construction/lang/solidity/solidity_0.6.3=/solidity -- Performing Test fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity - Success ------------------------------------------------------------------------ -- Configuring solidity 0.6.3 ------------------------------------------------------------------------ -- CMake Version 3.16.5 -- CMAKE_BUILD_TYPE Build type Release -- TARGET_PLATFORM Target platform DragonFly --------------------------------------------------------------- features -- COVERAGE Coverage support OFF ------------------------------------------------------------- components -- TESTS Build tests OFF ------------------------------------------------------------------ flags -- OSSFUZZ OFF ------------------------------------------------------------------------ -- Found Z3: /usr/local/lib/libz3.so (found 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_C_FLAGS_RELEASE CMAKE_MODULE_LINKER_FLAGS CMAKE_SHARED_LINKER_FLAGS -- Build files have been written to: /construction/lang/solidity/.build SUCCEEDED 00:00:05 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for solidity-0.6.3 /usr/local/bin/cmake -S/construction/lang/solidity/solidity_0.6.3 -B/construction/lang/solidity/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/lang/solidity/.build/CMakeFiles /construction/lang/solidity/.build/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all --- CMakeFiles/solidity_BuildInfo.h.dir/all --- /usr/bin/make -f CMakeFiles/solidity_BuildInfo.h.dir/build.make CMakeFiles/solidity_BuildInfo.h.dir/depend --- CMakeFiles/solidity_BuildInfo.h.dir/depend --- cd /construction/lang/solidity/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/.build /construction/lang/solidity/.build /construction/lang/solidity/.build/CMakeFiles/solidity_BuildInfo.h.dir/DependInfo.cmake Scanning dependencies of target solidity_BuildInfo.h /usr/bin/make -f CMakeFiles/solidity_BuildInfo.h.dir/build.make CMakeFiles/solidity_BuildInfo.h.dir/build --- CMakeFiles/solidity_BuildInfo.h --- cd /construction/lang/solidity/solidity_0.6.3 && /usr/local/bin/cmake -DETH_SOURCE_DIR=/construction/lang/solidity/solidity_0.6.3 -DETH_BUILDINFO_IN=/construction/lang/solidity/solidity_0.6.3/cmake/templates/BuildInfo.h.in -DETH_DST_DIR=/construction/lang/solidity/.build/include/solidity -DETH_CMAKE_DIR=/construction/lang/solidity/solidity_0.6.3/cmake -DETH_BUILD_TYPE="Release" -DETH_BUILD_OS="DragonFly" -DETH_BUILD_COMPILER="g++" -DETH_BUILD_PLATFORM="DragonFly.g++" -DPROJECT_VERSION="0.6.3" -DPROJECT_VERSION_MAJOR="0" -DPROJECT_VERSION_MINOR="6" -DPROJECT_VERSION_PATCH="3" -P /construction/lang/solidity/solidity_0.6.3/cmake/scripts/buildinfo.cmake [ 0%] Built target solidity_BuildInfo.h --- libsolutil/CMakeFiles/solutil.dir/all --- /usr/bin/make -f libsolutil/CMakeFiles/solutil.dir/build.make libsolutil/CMakeFiles/solutil.dir/depend --- libsolutil/CMakeFiles/solutil.dir/depend --- cd /construction/lang/solidity/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/solidity_0.6.3/libsolutil /construction/lang/solidity/.build /construction/lang/solidity/.build/libsolutil /construction/lang/solidity/.build/libsolutil/CMakeFiles/solutil.dir/DependInfo.cmake Scanning dependencies of target solutil /usr/bin/make -f libsolutil/CMakeFiles/solutil.dir/build.make libsolutil/CMakeFiles/solutil.dir/build --- libsolutil/CMakeFiles/solutil.dir/CommonData.cpp.o --- --- libsolutil/CMakeFiles/solutil.dir/CommonIO.cpp.o --- --- libsolutil/CMakeFiles/solutil.dir/Exceptions.cpp.o --- --- libsolutil/CMakeFiles/solutil.dir/IndentedWriter.cpp.o --- --- libsolutil/CMakeFiles/solutil.dir/IpfsHash.cpp.o --- --- libsolutil/CMakeFiles/solutil.dir/JSON.cpp.o --- --- libsolutil/CMakeFiles/solutil.dir/Keccak256.cpp.o --- --- libsolutil/CMakeFiles/solutil.dir/StringUtils.cpp.o --- --- libsolutil/CMakeFiles/solutil.dir/SwarmHash.cpp.o --- --- libsolutil/CMakeFiles/solutil.dir/UTF8.cpp.o --- --- libsolutil/CMakeFiles/solutil.dir/CommonIO.cpp.o --- [ 0%] Building CXX object libsolutil/CMakeFiles/solutil.dir/CommonIO.cpp.o cd /construction/lang/solidity/.build/libsolutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solutil.dir/CommonIO.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolutil/CommonIO.cpp --- libsolutil/CMakeFiles/solutil.dir/JSON.cpp.o --- [ 1%] Building CXX object libsolutil/CMakeFiles/solutil.dir/JSON.cpp.o cd /construction/lang/solidity/.build/libsolutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solutil.dir/JSON.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolutil/JSON.cpp --- libsolutil/CMakeFiles/solutil.dir/Keccak256.cpp.o --- [ 1%] Building CXX object libsolutil/CMakeFiles/solutil.dir/Keccak256.cpp.o cd /construction/lang/solidity/.build/libsolutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solutil.dir/Keccak256.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolutil/Keccak256.cpp --- libsolutil/CMakeFiles/solutil.dir/CommonData.cpp.o --- [ 2%] Building CXX object libsolutil/CMakeFiles/solutil.dir/CommonData.cpp.o cd /construction/lang/solidity/.build/libsolutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solutil.dir/CommonData.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolutil/CommonData.cpp --- libsolutil/CMakeFiles/solutil.dir/StringUtils.cpp.o --- [ 2%] Building CXX object libsolutil/CMakeFiles/solutil.dir/StringUtils.cpp.o cd /construction/lang/solidity/.build/libsolutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solutil.dir/StringUtils.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolutil/StringUtils.cpp --- libsolutil/CMakeFiles/solutil.dir/IpfsHash.cpp.o --- [ 3%] Building CXX object libsolutil/CMakeFiles/solutil.dir/IpfsHash.cpp.o cd /construction/lang/solidity/.build/libsolutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solutil.dir/IpfsHash.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolutil/IpfsHash.cpp --- libsolutil/CMakeFiles/solutil.dir/UTF8.cpp.o --- [ 3%] Building CXX object libsolutil/CMakeFiles/solutil.dir/UTF8.cpp.o cd /construction/lang/solidity/.build/libsolutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solutil.dir/UTF8.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolutil/UTF8.cpp --- libsolutil/CMakeFiles/solutil.dir/IndentedWriter.cpp.o --- [ 3%] Building CXX object libsolutil/CMakeFiles/solutil.dir/IndentedWriter.cpp.o cd /construction/lang/solidity/.build/libsolutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solutil.dir/IndentedWriter.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolutil/IndentedWriter.cpp --- libsolutil/CMakeFiles/solutil.dir/Exceptions.cpp.o --- [ 4%] Building CXX object libsolutil/CMakeFiles/solutil.dir/Exceptions.cpp.o cd /construction/lang/solidity/.build/libsolutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solutil.dir/Exceptions.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolutil/Exceptions.cpp --- libsolutil/CMakeFiles/solutil.dir/SwarmHash.cpp.o --- [ 5%] Building CXX object libsolutil/CMakeFiles/solutil.dir/SwarmHash.cpp.o cd /construction/lang/solidity/.build/libsolutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solutil.dir/SwarmHash.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolutil/SwarmHash.cpp --- libsolutil/CMakeFiles/solutil.dir/Whiskers.cpp.o --- [ 6%] Building CXX object libsolutil/CMakeFiles/solutil.dir/Whiskers.cpp.o cd /construction/lang/solidity/.build/libsolutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solutil.dir/Whiskers.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolutil/Whiskers.cpp --- libsolutil/libsolutil.a --- [ 6%] Linking CXX static library libsolutil.a cd /construction/lang/solidity/.build/libsolutil && /usr/local/bin/cmake -P CMakeFiles/solutil.dir/cmake_clean_target.cmake cd /construction/lang/solidity/.build/libsolutil && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/solutil.dir/link.txt --verbose=1 /usr/bin/ar qc libsolutil.a CMakeFiles/solutil.dir/CommonData.cpp.o CMakeFiles/solutil.dir/CommonIO.cpp.o CMakeFiles/solutil.dir/Exceptions.cpp.o CMakeFiles/solutil.dir/IndentedWriter.cpp.o CMakeFiles/solutil.dir/IpfsHash.cpp.o CMakeFiles/solutil.dir/JSON.cpp.o CMakeFiles/solutil.dir/Keccak256.cpp.o CMakeFiles/solutil.dir/StringUtils.cpp.o CMakeFiles/solutil.dir/SwarmHash.cpp.o CMakeFiles/solutil.dir/UTF8.cpp.o CMakeFiles/solutil.dir/Whiskers.cpp.o /usr/bin/ranlib libsolutil.a [ 6%] Built target solutil --- liblangutil/CMakeFiles/langutil.dir/all --- --- libevmasm/CMakeFiles/evmasm.dir/all --- --- liblangutil/CMakeFiles/langutil.dir/all --- /usr/bin/make -f liblangutil/CMakeFiles/langutil.dir/build.make liblangutil/CMakeFiles/langutil.dir/depend --- libevmasm/CMakeFiles/evmasm.dir/all --- /usr/bin/make -f libevmasm/CMakeFiles/evmasm.dir/build.make libevmasm/CMakeFiles/evmasm.dir/depend --- liblangutil/CMakeFiles/langutil.dir/all --- --- liblangutil/CMakeFiles/langutil.dir/depend --- --- libevmasm/CMakeFiles/evmasm.dir/all --- --- libevmasm/CMakeFiles/evmasm.dir/depend --- --- liblangutil/CMakeFiles/langutil.dir/all --- cd /construction/lang/solidity/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/solidity_0.6.3/liblangutil /construction/lang/solidity/.build /construction/lang/solidity/.build/liblangutil /construction/lang/solidity/.build/liblangutil/CMakeFiles/langutil.dir/DependInfo.cmake --- libevmasm/CMakeFiles/evmasm.dir/all --- cd /construction/lang/solidity/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/solidity_0.6.3/libevmasm /construction/lang/solidity/.build /construction/lang/solidity/.build/libevmasm /construction/lang/solidity/.build/libevmasm/CMakeFiles/evmasm.dir/DependInfo.cmake Scanning dependencies of target evmasm /usr/bin/make -f libevmasm/CMakeFiles/evmasm.dir/build.make libevmasm/CMakeFiles/evmasm.dir/build --- libevmasm/CMakeFiles/evmasm.dir/Assembly.cpp.o --- --- libevmasm/CMakeFiles/evmasm.dir/AssemblyItem.cpp.o --- --- libevmasm/CMakeFiles/evmasm.dir/BlockDeduplicator.cpp.o --- --- libevmasm/CMakeFiles/evmasm.dir/CommonSubexpressionEliminator.cpp.o --- --- libevmasm/CMakeFiles/evmasm.dir/ConstantOptimiser.cpp.o --- --- libevmasm/CMakeFiles/evmasm.dir/ControlFlowGraph.cpp.o --- --- libevmasm/CMakeFiles/evmasm.dir/ExpressionClasses.cpp.o --- --- libevmasm/CMakeFiles/evmasm.dir/GasMeter.cpp.o --- --- libevmasm/CMakeFiles/evmasm.dir/Instruction.cpp.o --- --- libevmasm/CMakeFiles/evmasm.dir/Assembly.cpp.o --- [ 6%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/Assembly.cpp.o cd /construction/lang/solidity/.build/libevmasm && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/evmasm.dir/Assembly.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libevmasm/Assembly.cpp --- libevmasm/CMakeFiles/evmasm.dir/AssemblyItem.cpp.o --- [ 6%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/AssemblyItem.cpp.o cd /construction/lang/solidity/.build/libevmasm && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/evmasm.dir/AssemblyItem.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libevmasm/AssemblyItem.cpp --- libevmasm/CMakeFiles/evmasm.dir/CommonSubexpressionEliminator.cpp.o --- [ 6%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/CommonSubexpressionEliminator.cpp.o cd /construction/lang/solidity/.build/libevmasm && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/evmasm.dir/CommonSubexpressionEliminator.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libevmasm/CommonSubexpressionEliminator.cpp --- libevmasm/CMakeFiles/evmasm.dir/BlockDeduplicator.cpp.o --- [ 7%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/BlockDeduplicator.cpp.o --- libevmasm/CMakeFiles/evmasm.dir/ConstantOptimiser.cpp.o --- [ 8%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/ConstantOptimiser.cpp.o --- libevmasm/CMakeFiles/evmasm.dir/BlockDeduplicator.cpp.o --- cd /construction/lang/solidity/.build/libevmasm && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/evmasm.dir/BlockDeduplicator.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libevmasm/BlockDeduplicator.cpp --- libevmasm/CMakeFiles/evmasm.dir/ConstantOptimiser.cpp.o --- cd /construction/lang/solidity/.build/libevmasm && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/evmasm.dir/ConstantOptimiser.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libevmasm/ConstantOptimiser.cpp --- libevmasm/CMakeFiles/evmasm.dir/ExpressionClasses.cpp.o --- [ 9%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/ExpressionClasses.cpp.o --- libevmasm/CMakeFiles/evmasm.dir/GasMeter.cpp.o --- [ 9%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/GasMeter.cpp.o --- libevmasm/CMakeFiles/evmasm.dir/ExpressionClasses.cpp.o --- cd /construction/lang/solidity/.build/libevmasm && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/evmasm.dir/ExpressionClasses.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libevmasm/ExpressionClasses.cpp --- libevmasm/CMakeFiles/evmasm.dir/GasMeter.cpp.o --- cd /construction/lang/solidity/.build/libevmasm && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/evmasm.dir/GasMeter.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libevmasm/GasMeter.cpp --- libevmasm/CMakeFiles/evmasm.dir/ControlFlowGraph.cpp.o --- [ 9%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/ControlFlowGraph.cpp.o cd /construction/lang/solidity/.build/libevmasm && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/evmasm.dir/ControlFlowGraph.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libevmasm/ControlFlowGraph.cpp --- libevmasm/CMakeFiles/evmasm.dir/Instruction.cpp.o --- [ 10%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/Instruction.cpp.o cd /construction/lang/solidity/.build/libevmasm && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/evmasm.dir/Instruction.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libevmasm/Instruction.cpp --- liblangutil/CMakeFiles/langutil.dir/all --- Scanning dependencies of target langutil /usr/bin/make -f liblangutil/CMakeFiles/langutil.dir/build.make liblangutil/CMakeFiles/langutil.dir/build --- liblangutil/CMakeFiles/langutil.dir/CharStream.cpp.o --- [ 10%] Building CXX object liblangutil/CMakeFiles/langutil.dir/CharStream.cpp.o cd /construction/lang/solidity/.build/liblangutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/langutil.dir/CharStream.cpp.o -c /construction/lang/solidity/solidity_0.6.3/liblangutil/CharStream.cpp --- liblangutil/CMakeFiles/langutil.dir/ErrorReporter.cpp.o --- [ 11%] Building CXX object liblangutil/CMakeFiles/langutil.dir/ErrorReporter.cpp.o cd /construction/lang/solidity/.build/liblangutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/langutil.dir/ErrorReporter.cpp.o -c /construction/lang/solidity/solidity_0.6.3/liblangutil/ErrorReporter.cpp --- libevmasm/CMakeFiles/evmasm.dir/all --- --- libevmasm/CMakeFiles/evmasm.dir/JumpdestRemover.cpp.o --- [ 11%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/JumpdestRemover.cpp.o cd /construction/lang/solidity/.build/libevmasm && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/evmasm.dir/JumpdestRemover.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libevmasm/JumpdestRemover.cpp --- libevmasm/CMakeFiles/evmasm.dir/KnownState.cpp.o --- [ 12%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/KnownState.cpp.o cd /construction/lang/solidity/.build/libevmasm && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/evmasm.dir/KnownState.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libevmasm/KnownState.cpp --- libevmasm/CMakeFiles/evmasm.dir/LinkerObject.cpp.o --- [ 12%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/LinkerObject.cpp.o cd /construction/lang/solidity/.build/libevmasm && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/evmasm.dir/LinkerObject.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libevmasm/LinkerObject.cpp --- libevmasm/CMakeFiles/evmasm.dir/PathGasMeter.cpp.o --- [ 13%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/PathGasMeter.cpp.o cd /construction/lang/solidity/.build/libevmasm && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/evmasm.dir/PathGasMeter.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libevmasm/PathGasMeter.cpp --- libevmasm/CMakeFiles/evmasm.dir/PeepholeOptimiser.cpp.o --- [ 13%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/PeepholeOptimiser.cpp.o cd /construction/lang/solidity/.build/libevmasm && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/evmasm.dir/PeepholeOptimiser.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libevmasm/PeepholeOptimiser.cpp --- libevmasm/CMakeFiles/evmasm.dir/SemanticInformation.cpp.o --- [ 14%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/SemanticInformation.cpp.o cd /construction/lang/solidity/.build/libevmasm && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/evmasm.dir/SemanticInformation.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libevmasm/SemanticInformation.cpp --- libevmasm/CMakeFiles/evmasm.dir/SimplificationRules.cpp.o --- [ 14%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/SimplificationRules.cpp.o cd /construction/lang/solidity/.build/libevmasm && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/evmasm.dir/SimplificationRules.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libevmasm/SimplificationRules.cpp --- liblangutil/CMakeFiles/langutil.dir/all --- --- liblangutil/CMakeFiles/langutil.dir/EVMVersion.cpp.o --- [ 14%] Building CXX object liblangutil/CMakeFiles/langutil.dir/EVMVersion.cpp.o cd /construction/lang/solidity/.build/liblangutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/langutil.dir/EVMVersion.cpp.o -c /construction/lang/solidity/solidity_0.6.3/liblangutil/EVMVersion.cpp --- liblangutil/CMakeFiles/langutil.dir/Exceptions.cpp.o --- [ 15%] Building CXX object liblangutil/CMakeFiles/langutil.dir/Exceptions.cpp.o cd /construction/lang/solidity/.build/liblangutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/langutil.dir/Exceptions.cpp.o -c /construction/lang/solidity/solidity_0.6.3/liblangutil/Exceptions.cpp --- liblangutil/CMakeFiles/langutil.dir/ParserBase.cpp.o --- [ 15%] Building CXX object liblangutil/CMakeFiles/langutil.dir/ParserBase.cpp.o cd /construction/lang/solidity/.build/liblangutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/langutil.dir/ParserBase.cpp.o -c /construction/lang/solidity/solidity_0.6.3/liblangutil/ParserBase.cpp --- liblangutil/CMakeFiles/langutil.dir/Scanner.cpp.o --- [ 16%] Building CXX object liblangutil/CMakeFiles/langutil.dir/Scanner.cpp.o cd /construction/lang/solidity/.build/liblangutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/langutil.dir/Scanner.cpp.o -c /construction/lang/solidity/solidity_0.6.3/liblangutil/Scanner.cpp --- liblangutil/CMakeFiles/langutil.dir/SemVerHandler.cpp.o --- [ 16%] Building CXX object liblangutil/CMakeFiles/langutil.dir/SemVerHandler.cpp.o cd /construction/lang/solidity/.build/liblangutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/langutil.dir/SemVerHandler.cpp.o -c /construction/lang/solidity/solidity_0.6.3/liblangutil/SemVerHandler.cpp --- liblangutil/CMakeFiles/langutil.dir/SourceLocation.cpp.o --- [ 17%] Building CXX object liblangutil/CMakeFiles/langutil.dir/SourceLocation.cpp.o cd /construction/lang/solidity/.build/liblangutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/langutil.dir/SourceLocation.cpp.o -c /construction/lang/solidity/solidity_0.6.3/liblangutil/SourceLocation.cpp --- liblangutil/CMakeFiles/langutil.dir/SourceReferenceExtractor.cpp.o --- [ 17%] Building CXX object liblangutil/CMakeFiles/langutil.dir/SourceReferenceExtractor.cpp.o cd /construction/lang/solidity/.build/liblangutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/langutil.dir/SourceReferenceExtractor.cpp.o -c /construction/lang/solidity/solidity_0.6.3/liblangutil/SourceReferenceExtractor.cpp --- liblangutil/CMakeFiles/langutil.dir/SourceReferenceFormatter.cpp.o --- [ 18%] Building CXX object liblangutil/CMakeFiles/langutil.dir/SourceReferenceFormatter.cpp.o cd /construction/lang/solidity/.build/liblangutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/langutil.dir/SourceReferenceFormatter.cpp.o -c /construction/lang/solidity/solidity_0.6.3/liblangutil/SourceReferenceFormatter.cpp --- liblangutil/CMakeFiles/langutil.dir/SourceReferenceFormatterHuman.cpp.o --- [ 18%] Building CXX object liblangutil/CMakeFiles/langutil.dir/SourceReferenceFormatterHuman.cpp.o cd /construction/lang/solidity/.build/liblangutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/langutil.dir/SourceReferenceFormatterHuman.cpp.o -c /construction/lang/solidity/solidity_0.6.3/liblangutil/SourceReferenceFormatterHuman.cpp --- liblangutil/CMakeFiles/langutil.dir/Token.cpp.o --- [ 19%] Building CXX object liblangutil/CMakeFiles/langutil.dir/Token.cpp.o cd /construction/lang/solidity/.build/liblangutil && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/langutil.dir/Token.cpp.o -c /construction/lang/solidity/solidity_0.6.3/liblangutil/Token.cpp --- liblangutil/liblangutil.a --- [ 19%] Linking CXX static library liblangutil.a cd /construction/lang/solidity/.build/liblangutil && /usr/local/bin/cmake -P CMakeFiles/langutil.dir/cmake_clean_target.cmake cd /construction/lang/solidity/.build/liblangutil && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/langutil.dir/link.txt --verbose=1 /usr/bin/ar qc liblangutil.a CMakeFiles/langutil.dir/CharStream.cpp.o CMakeFiles/langutil.dir/ErrorReporter.cpp.o CMakeFiles/langutil.dir/EVMVersion.cpp.o CMakeFiles/langutil.dir/Exceptions.cpp.o CMakeFiles/langutil.dir/ParserBase.cpp.o CMakeFiles/langutil.dir/Scanner.cpp.o CMakeFiles/langutil.dir/SemVerHandler.cpp.o CMakeFiles/langutil.dir/SourceLocation.cpp.o CMakeFiles/langutil.dir/SourceReferenceExtractor.cpp.o CMakeFiles/langutil.dir/SourceReferenceFormatter.cpp.o CMakeFiles/langutil.dir/SourceReferenceFormatterHuman.cpp.o CMakeFiles/langutil.dir/Token.cpp.o /usr/bin/ranlib liblangutil.a [ 19%] Built target langutil --- libevmasm/CMakeFiles/evmasm.dir/all --- --- libevmasm/libevmasm.a --- [ 20%] Linking CXX static library libevmasm.a cd /construction/lang/solidity/.build/libevmasm && /usr/local/bin/cmake -P CMakeFiles/evmasm.dir/cmake_clean_target.cmake cd /construction/lang/solidity/.build/libevmasm && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/evmasm.dir/link.txt --verbose=1 /usr/bin/ar qc libevmasm.a CMakeFiles/evmasm.dir/Assembly.cpp.o CMakeFiles/evmasm.dir/AssemblyItem.cpp.o CMakeFiles/evmasm.dir/BlockDeduplicator.cpp.o CMakeFiles/evmasm.dir/CommonSubexpressionEliminator.cpp.o CMakeFiles/evmasm.dir/ConstantOptimiser.cpp.o CMakeFiles/evmasm.dir/ControlFlowGraph.cpp.o CMakeFiles/evmasm.dir/ExpressionClasses.cpp.o CMakeFiles/evmasm.dir/GasMeter.cpp.o CMakeFiles/evmasm.dir/Instruction.cpp.o CMakeFiles/evmasm.dir/JumpdestRemover.cpp.o CMakeFiles/evmasm.dir/KnownState.cpp.o CMakeFiles/evmasm.dir/LinkerObject.cpp.o CMakeFiles/evmasm.dir/PathGasMeter.cpp.o CMakeFiles/evmasm.dir/PeepholeOptimiser.cpp.o CMakeFiles/evmasm.dir/SemanticInformation.cpp.o CMakeFiles/evmasm.dir/SimplificationRules.cpp.o /usr/bin/ranlib libevmasm.a [ 20%] Built target evmasm --- libyul/CMakeFiles/yul.dir/all --- /usr/bin/make -f libyul/CMakeFiles/yul.dir/build.make libyul/CMakeFiles/yul.dir/depend --- libyul/CMakeFiles/yul.dir/depend --- cd /construction/lang/solidity/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/solidity_0.6.3/libyul /construction/lang/solidity/.build /construction/lang/solidity/.build/libyul /construction/lang/solidity/.build/libyul/CMakeFiles/yul.dir/DependInfo.cmake Scanning dependencies of target yul /usr/bin/make -f libyul/CMakeFiles/yul.dir/build.make libyul/CMakeFiles/yul.dir/build --- libyul/CMakeFiles/yul.dir/AsmAnalysis.cpp.o --- --- libyul/CMakeFiles/yul.dir/AsmJsonConverter.cpp.o --- --- libyul/CMakeFiles/yul.dir/AsmParser.cpp.o --- --- libyul/CMakeFiles/yul.dir/AsmPrinter.cpp.o --- --- libyul/CMakeFiles/yul.dir/AsmScope.cpp.o --- --- libyul/CMakeFiles/yul.dir/AsmScopeFiller.cpp.o --- --- libyul/CMakeFiles/yul.dir/AssemblyStack.cpp.o --- --- libyul/CMakeFiles/yul.dir/CompilabilityChecker.cpp.o --- --- libyul/CMakeFiles/yul.dir/Dialect.cpp.o --- --- libyul/CMakeFiles/yul.dir/Object.cpp.o --- --- libyul/CMakeFiles/yul.dir/AsmAnalysis.cpp.o --- [ 23%] Building CXX object libyul/CMakeFiles/yul.dir/AsmAnalysis.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/AsmAnalysis.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/AsmAnalysis.cpp --- libyul/CMakeFiles/yul.dir/AsmJsonConverter.cpp.o --- [ 20%] Building CXX object libyul/CMakeFiles/yul.dir/AsmJsonConverter.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/AsmJsonConverter.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/AsmJsonConverter.cpp --- libyul/CMakeFiles/yul.dir/AsmParser.cpp.o --- [ 22%] Building CXX object libyul/CMakeFiles/yul.dir/AsmParser.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/AsmParser.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/AsmParser.cpp --- libyul/CMakeFiles/yul.dir/AsmPrinter.cpp.o --- [ 20%] Building CXX object libyul/CMakeFiles/yul.dir/AsmPrinter.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/AsmPrinter.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/AsmPrinter.cpp --- libyul/CMakeFiles/yul.dir/AsmScope.cpp.o --- [ 21%] Building CXX object libyul/CMakeFiles/yul.dir/AsmScope.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/AsmScope.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/AsmScope.cpp --- libyul/CMakeFiles/yul.dir/AsmScopeFiller.cpp.o --- [ 21%] Building CXX object libyul/CMakeFiles/yul.dir/AsmScopeFiller.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/AsmScopeFiller.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/AsmScopeFiller.cpp --- libyul/CMakeFiles/yul.dir/AssemblyStack.cpp.o --- [ 24%] Building CXX object libyul/CMakeFiles/yul.dir/AssemblyStack.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/AssemblyStack.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/AssemblyStack.cpp --- libyul/CMakeFiles/yul.dir/CompilabilityChecker.cpp.o --- [ 24%] Building CXX object libyul/CMakeFiles/yul.dir/CompilabilityChecker.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/CompilabilityChecker.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/CompilabilityChecker.cpp --- libyul/CMakeFiles/yul.dir/Dialect.cpp.o --- [ 25%] Building CXX object libyul/CMakeFiles/yul.dir/Dialect.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/Dialect.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/Dialect.cpp --- libyul/CMakeFiles/yul.dir/Object.cpp.o --- [ 25%] Building CXX object libyul/CMakeFiles/yul.dir/Object.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/Object.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/Object.cpp --- libyul/CMakeFiles/yul.dir/ObjectParser.cpp.o --- [ 26%] Building CXX object libyul/CMakeFiles/yul.dir/ObjectParser.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/ObjectParser.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/ObjectParser.cpp --- libyul/CMakeFiles/yul.dir/Utilities.cpp.o --- [ 26%] Building CXX object libyul/CMakeFiles/yul.dir/Utilities.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/Utilities.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/Utilities.cpp --- libyul/CMakeFiles/yul.dir/backends/evm/AsmCodeGen.cpp.o --- [ 27%] Building CXX object libyul/CMakeFiles/yul.dir/backends/evm/AsmCodeGen.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/backends/evm/AsmCodeGen.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/backends/evm/AsmCodeGen.cpp --- libyul/CMakeFiles/yul.dir/backends/evm/ConstantOptimiser.cpp.o --- [ 27%] Building CXX object libyul/CMakeFiles/yul.dir/backends/evm/ConstantOptimiser.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/backends/evm/ConstantOptimiser.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/backends/evm/ConstantOptimiser.cpp --- libyul/CMakeFiles/yul.dir/backends/evm/EVMAssembly.cpp.o --- [ 28%] Building CXX object libyul/CMakeFiles/yul.dir/backends/evm/EVMAssembly.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/backends/evm/EVMAssembly.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/backends/evm/EVMAssembly.cpp --- libyul/CMakeFiles/yul.dir/backends/evm/EVMCodeTransform.cpp.o --- [ 28%] Building CXX object libyul/CMakeFiles/yul.dir/backends/evm/EVMCodeTransform.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/backends/evm/EVMCodeTransform.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/backends/evm/EVMCodeTransform.cpp --- libyul/CMakeFiles/yul.dir/backends/evm/EVMDialect.cpp.o --- [ 29%] Building CXX object libyul/CMakeFiles/yul.dir/backends/evm/EVMDialect.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/backends/evm/EVMDialect.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/backends/evm/EVMDialect.cpp --- libyul/CMakeFiles/yul.dir/backends/evm/EVMObjectCompiler.cpp.o --- [ 29%] Building CXX object libyul/CMakeFiles/yul.dir/backends/evm/EVMObjectCompiler.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/backends/evm/EVMObjectCompiler.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/backends/evm/EVMObjectCompiler.cpp --- libyul/CMakeFiles/yul.dir/backends/evm/EVMMetrics.cpp.o --- [ 30%] Building CXX object libyul/CMakeFiles/yul.dir/backends/evm/EVMMetrics.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/backends/evm/EVMMetrics.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/backends/evm/EVMMetrics.cpp --- libyul/CMakeFiles/yul.dir/backends/evm/NoOutputAssembly.cpp.o --- [ 30%] Building CXX object libyul/CMakeFiles/yul.dir/backends/evm/NoOutputAssembly.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/backends/evm/NoOutputAssembly.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/backends/evm/NoOutputAssembly.cpp --- libyul/CMakeFiles/yul.dir/backends/wasm/EVMToEwasmTranslator.cpp.o --- [ 31%] Building CXX object libyul/CMakeFiles/yul.dir/backends/wasm/EVMToEwasmTranslator.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/backends/wasm/EVMToEwasmTranslator.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/backends/wasm/EVMToEwasmTranslator.cpp --- libyul/CMakeFiles/yul.dir/backends/wasm/BinaryTransform.cpp.o --- [ 31%] Building CXX object libyul/CMakeFiles/yul.dir/backends/wasm/BinaryTransform.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/backends/wasm/BinaryTransform.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/backends/wasm/BinaryTransform.cpp --- libyul/CMakeFiles/yul.dir/backends/wasm/TextTransform.cpp.o --- [ 32%] Building CXX object libyul/CMakeFiles/yul.dir/backends/wasm/TextTransform.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/backends/wasm/TextTransform.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/backends/wasm/TextTransform.cpp --- libyul/CMakeFiles/yul.dir/backends/wasm/WasmCodeTransform.cpp.o --- [ 32%] Building CXX object libyul/CMakeFiles/yul.dir/backends/wasm/WasmCodeTransform.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/backends/wasm/WasmCodeTransform.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/backends/wasm/WasmCodeTransform.cpp --- libyul/CMakeFiles/yul.dir/backends/wasm/WasmDialect.cpp.o --- [ 33%] Building CXX object libyul/CMakeFiles/yul.dir/backends/wasm/WasmDialect.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/backends/wasm/WasmDialect.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/backends/wasm/WasmDialect.cpp --- libyul/CMakeFiles/yul.dir/backends/wasm/WasmObjectCompiler.cpp.o --- [ 33%] Building CXX object libyul/CMakeFiles/yul.dir/backends/wasm/WasmObjectCompiler.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/backends/wasm/WasmObjectCompiler.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/backends/wasm/WasmObjectCompiler.cpp --- libyul/CMakeFiles/yul.dir/backends/wasm/WordSizeTransform.cpp.o --- [ 34%] Building CXX object libyul/CMakeFiles/yul.dir/backends/wasm/WordSizeTransform.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/backends/wasm/WordSizeTransform.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/backends/wasm/WordSizeTransform.cpp --- libyul/CMakeFiles/yul.dir/optimiser/ASTCopier.cpp.o --- [ 34%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/ASTCopier.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/ASTCopier.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/ASTCopier.cpp --- libyul/CMakeFiles/yul.dir/optimiser/ASTWalker.cpp.o --- [ 35%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/ASTWalker.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/ASTWalker.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/ASTWalker.cpp --- libyul/CMakeFiles/yul.dir/optimiser/BlockFlattener.cpp.o --- [ 35%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/BlockFlattener.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/BlockFlattener.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/BlockFlattener.cpp --- libyul/CMakeFiles/yul.dir/optimiser/BlockHasher.cpp.o --- [ 36%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/BlockHasher.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/BlockHasher.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/BlockHasher.cpp --- libyul/CMakeFiles/yul.dir/optimiser/CallGraphGenerator.cpp.o --- [ 36%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/CallGraphGenerator.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/CallGraphGenerator.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/CallGraphGenerator.cpp --- libyul/CMakeFiles/yul.dir/optimiser/CircularReferencesPruner.cpp.o --- [ 37%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/CircularReferencesPruner.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/CircularReferencesPruner.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/CircularReferencesPruner.cpp --- libyul/CMakeFiles/yul.dir/optimiser/CommonSubexpressionEliminator.cpp.o --- [ 37%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/CommonSubexpressionEliminator.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/CommonSubexpressionEliminator.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/CommonSubexpressionEliminator.cpp --- libyul/CMakeFiles/yul.dir/optimiser/ConditionalSimplifier.cpp.o --- [ 38%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/ConditionalSimplifier.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/ConditionalSimplifier.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/ConditionalSimplifier.cpp --- libyul/CMakeFiles/yul.dir/optimiser/ConditionalUnsimplifier.cpp.o --- [ 38%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/ConditionalUnsimplifier.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/ConditionalUnsimplifier.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/ConditionalUnsimplifier.cpp --- libyul/CMakeFiles/yul.dir/optimiser/ControlFlowSimplifier.cpp.o --- [ 38%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/ControlFlowSimplifier.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/ControlFlowSimplifier.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/ControlFlowSimplifier.cpp --- libyul/CMakeFiles/yul.dir/optimiser/DataFlowAnalyzer.cpp.o --- [ 39%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/DataFlowAnalyzer.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/DataFlowAnalyzer.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/DataFlowAnalyzer.cpp --- libyul/CMakeFiles/yul.dir/optimiser/DeadCodeEliminator.cpp.o --- [ 39%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/DeadCodeEliminator.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/DeadCodeEliminator.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/DeadCodeEliminator.cpp --- libyul/CMakeFiles/yul.dir/optimiser/Disambiguator.cpp.o --- [ 40%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/Disambiguator.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/Disambiguator.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/Disambiguator.cpp --- libyul/CMakeFiles/yul.dir/optimiser/EquivalentFunctionDetector.cpp.o --- [ 40%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/EquivalentFunctionDetector.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/EquivalentFunctionDetector.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/EquivalentFunctionDetector.cpp --- libyul/CMakeFiles/yul.dir/optimiser/EquivalentFunctionCombiner.cpp.o --- [ 41%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/EquivalentFunctionCombiner.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/EquivalentFunctionCombiner.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/EquivalentFunctionCombiner.cpp --- libyul/CMakeFiles/yul.dir/optimiser/ExpressionInliner.cpp.o --- [ 41%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/ExpressionInliner.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/ExpressionInliner.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/ExpressionInliner.cpp --- libyul/CMakeFiles/yul.dir/optimiser/ExpressionJoiner.cpp.o --- [ 42%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/ExpressionJoiner.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/ExpressionJoiner.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/ExpressionJoiner.cpp --- libyul/CMakeFiles/yul.dir/optimiser/ExpressionSimplifier.cpp.o --- --- libyul/CMakeFiles/yul.dir/optimiser/ExpressionSplitter.cpp.o --- --- libyul/CMakeFiles/yul.dir/optimiser/ExpressionSimplifier.cpp.o --- [ 42%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/ExpressionSimplifier.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/ExpressionSimplifier.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/ExpressionSimplifier.cpp --- libyul/CMakeFiles/yul.dir/optimiser/ExpressionSplitter.cpp.o --- [ 43%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/ExpressionSplitter.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/ExpressionSplitter.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/ExpressionSplitter.cpp --- libyul/CMakeFiles/yul.dir/optimiser/ForLoopConditionIntoBody.cpp.o --- [ 43%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/ForLoopConditionIntoBody.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/ForLoopConditionIntoBody.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/ForLoopConditionIntoBody.cpp --- libyul/CMakeFiles/yul.dir/optimiser/ForLoopConditionOutOfBody.cpp.o --- [ 44%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/ForLoopConditionOutOfBody.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/ForLoopConditionOutOfBody.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/ForLoopConditionOutOfBody.cpp --- libyul/CMakeFiles/yul.dir/optimiser/ForLoopInitRewriter.cpp.o --- [ 44%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/ForLoopInitRewriter.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/ForLoopInitRewriter.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/ForLoopInitRewriter.cpp --- libyul/CMakeFiles/yul.dir/optimiser/FullInliner.cpp.o --- [ 45%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/FullInliner.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/FullInliner.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/FullInliner.cpp --- libyul/CMakeFiles/yul.dir/optimiser/FunctionGrouper.cpp.o --- [ 45%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/FunctionGrouper.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/FunctionGrouper.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/FunctionGrouper.cpp --- libyul/CMakeFiles/yul.dir/optimiser/FunctionHoister.cpp.o --- [ 46%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/FunctionHoister.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/FunctionHoister.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/FunctionHoister.cpp --- libyul/CMakeFiles/yul.dir/optimiser/InlinableExpressionFunctionFinder.cpp.o --- [ 46%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/InlinableExpressionFunctionFinder.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/InlinableExpressionFunctionFinder.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/InlinableExpressionFunctionFinder.cpp --- libyul/CMakeFiles/yul.dir/optimiser/KnowledgeBase.cpp.o --- [ 47%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/KnowledgeBase.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/KnowledgeBase.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/KnowledgeBase.cpp --- libyul/CMakeFiles/yul.dir/optimiser/LoadResolver.cpp.o --- [ 47%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/LoadResolver.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/LoadResolver.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/LoadResolver.cpp --- libyul/CMakeFiles/yul.dir/optimiser/LoopInvariantCodeMotion.cpp.o --- [ 48%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/LoopInvariantCodeMotion.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/LoopInvariantCodeMotion.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/LoopInvariantCodeMotion.cpp --- libyul/CMakeFiles/yul.dir/optimiser/MainFunction.cpp.o --- [ 48%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/MainFunction.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/MainFunction.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/MainFunction.cpp --- libyul/CMakeFiles/yul.dir/optimiser/Metrics.cpp.o --- [ 49%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/Metrics.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/Metrics.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/Metrics.cpp --- libyul/CMakeFiles/yul.dir/optimiser/NameCollector.cpp.o --- [ 49%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/NameCollector.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/NameCollector.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/NameCollector.cpp --- libyul/CMakeFiles/yul.dir/optimiser/NameDispenser.cpp.o --- [ 50%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/NameDispenser.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/NameDispenser.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/NameDispenser.cpp --- libyul/CMakeFiles/yul.dir/optimiser/NameDisplacer.cpp.o --- [ 50%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/NameDisplacer.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/NameDisplacer.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/NameDisplacer.cpp --- libyul/CMakeFiles/yul.dir/optimiser/OptimizerUtilities.cpp.o --- [ 51%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/OptimizerUtilities.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/OptimizerUtilities.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/OptimizerUtilities.cpp --- libyul/CMakeFiles/yul.dir/optimiser/RedundantAssignEliminator.cpp.o --- [ 51%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/RedundantAssignEliminator.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/RedundantAssignEliminator.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/RedundantAssignEliminator.cpp --- libyul/CMakeFiles/yul.dir/optimiser/Rematerialiser.cpp.o --- [ 52%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/Rematerialiser.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/Rematerialiser.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/Rematerialiser.cpp --- libyul/CMakeFiles/yul.dir/optimiser/SSAReverser.cpp.o --- [ 52%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/SSAReverser.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/SSAReverser.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/SSAReverser.cpp --- libyul/CMakeFiles/yul.dir/optimiser/SSATransform.cpp.o --- [ 53%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/SSATransform.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/SSATransform.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/SSATransform.cpp --- libyul/CMakeFiles/yul.dir/optimiser/SSAValueTracker.cpp.o --- [ 53%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/SSAValueTracker.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/SSAValueTracker.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/SSAValueTracker.cpp --- libyul/CMakeFiles/yul.dir/optimiser/Semantics.cpp.o --- [ 54%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/Semantics.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/Semantics.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/Semantics.cpp --- libyul/CMakeFiles/yul.dir/optimiser/SimplificationRules.cpp.o --- [ 54%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/SimplificationRules.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/SimplificationRules.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/SimplificationRules.cpp --- libyul/CMakeFiles/yul.dir/optimiser/StackCompressor.cpp.o --- [ 55%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/StackCompressor.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/StackCompressor.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/StackCompressor.cpp --- libyul/CMakeFiles/yul.dir/optimiser/StructuralSimplifier.cpp.o --- [ 55%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/StructuralSimplifier.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/StructuralSimplifier.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/StructuralSimplifier.cpp --- libyul/CMakeFiles/yul.dir/optimiser/Substitution.cpp.o --- [ 56%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/Substitution.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/Substitution.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/Substitution.cpp --- libyul/CMakeFiles/yul.dir/optimiser/Suite.cpp.o --- [ 56%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/Suite.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/Suite.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/Suite.cpp --- libyul/CMakeFiles/yul.dir/optimiser/SyntacticalEquality.cpp.o --- [ 57%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/SyntacticalEquality.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/SyntacticalEquality.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/SyntacticalEquality.cpp --- libyul/CMakeFiles/yul.dir/optimiser/TypeInfo.cpp.o --- [ 57%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/TypeInfo.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/TypeInfo.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/TypeInfo.cpp --- libyul/CMakeFiles/yul.dir/optimiser/UnusedPruner.cpp.o --- [ 58%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/UnusedPruner.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/UnusedPruner.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/UnusedPruner.cpp --- libyul/CMakeFiles/yul.dir/optimiser/VarDeclInitializer.cpp.o --- [ 58%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/VarDeclInitializer.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/VarDeclInitializer.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/VarDeclInitializer.cpp --- libyul/CMakeFiles/yul.dir/optimiser/VarNameCleaner.cpp.o --- [ 59%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/VarNameCleaner.cpp.o cd /construction/lang/solidity/.build/libyul && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul.dir/optimiser/VarNameCleaner.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libyul/optimiser/VarNameCleaner.cpp --- libyul/libyul.a --- [ 59%] Linking CXX static library libyul.a cd /construction/lang/solidity/.build/libyul && /usr/local/bin/cmake -P CMakeFiles/yul.dir/cmake_clean_target.cmake cd /construction/lang/solidity/.build/libyul && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/yul.dir/link.txt --verbose=1 /usr/bin/ar qc libyul.a CMakeFiles/yul.dir/AsmAnalysis.cpp.o CMakeFiles/yul.dir/AsmJsonConverter.cpp.o CMakeFiles/yul.dir/AsmParser.cpp.o CMakeFiles/yul.dir/AsmPrinter.cpp.o CMakeFiles/yul.dir/AsmScope.cpp.o CMakeFiles/yul.dir/AsmScopeFiller.cpp.o CMakeFiles/yul.dir/AssemblyStack.cpp.o CMakeFiles/yul.dir/CompilabilityChecker.cpp.o CMakeFiles/yul.dir/Dialect.cpp.o CMakeFiles/yul.dir/Object.cpp.o CMakeFiles/yul.dir/ObjectParser.cpp.o CMakeFiles/yul.dir/Utilities.cpp.o CMakeFiles/yul.dir/backends/evm/AsmCodeGen.cpp.o CMakeFiles/yul.dir/backends/evm/ConstantOptimiser.cpp.o CMakeFiles/yul.dir/backends/evm/EVMAssembly.cpp.o CMakeFiles/yul.dir/backends/evm/EVMCodeTransform.cpp.o CMakeFiles/yul.dir/backends/evm/EVMDialect.cpp.o CMakeFiles/yul.dir/backends/evm/EVMObjectCompiler.cpp.o CMakeFiles/yul.dir/backends/evm/EVMMetrics.cpp.o CMakeFiles/yul.dir/backends/evm/NoOutputAssembly.cpp.o CMakeFiles/yul.dir/backends/wasm/EVMToEwasmTranslator.cpp.o CMakeFiles/yul.dir/backends/wasm/BinaryTransform.cpp.o CMakeFiles/yul.dir/backends/wasm/TextTransform.cpp.o CMakeFiles/yul.dir/backends/wasm/WasmCodeTransform.cpp.o CMakeFiles/yul.dir/backends/wasm/WasmDialect.cpp.o CMakeFiles/yul.dir/backends/wasm/WasmObjectCompiler.cpp.o CMakeFiles/yul.dir/backends/wasm/WordSizeTransform.cpp.o CMakeFiles/yul.dir/optimiser/ASTCopier.cpp.o CMakeFiles/yul.dir/optimiser/ASTWalker.cpp.o CMakeFiles/yul.dir/optimiser/BlockFlattener.cpp.o CMakeFiles/yul.dir/optimiser/BlockHasher.cpp.o CMakeFiles/yul.dir/optimiser/CallGraphGenerator.cpp.o CMakeFiles/yul.dir/optimiser/CircularReferencesPruner.cpp.o CMakeFiles/yul.dir/optimiser/CommonSubexpressionEliminator.cpp.o CMakeFiles/yul.dir/optimiser/ConditionalSimplifier.cpp.o CMakeFiles/yul.dir/optimiser/ConditionalUnsimplifier.cpp.o CMakeFiles/yul.dir/optimiser/ControlFlowSimplifier.cpp.o CMakeFiles/yul.dir/optimiser/DataFlowAnalyzer.cpp.o CMakeFiles/yul.dir/optimiser/DeadCodeEliminator.cpp.o CMakeFiles/yul.dir/optimiser/Disambiguator.cpp.o CMakeFiles/yul.dir/optimiser/EquivalentFunctionDetector.cpp.o CMakeFiles/yul.dir/optimiser/EquivalentFunctionCombiner.cpp.o CMakeFiles/yul.dir/optimiser/ExpressionInliner.cpp.o CMakeFiles/yul.dir/optimiser/ExpressionJoiner.cpp.o CMakeFiles/yul.dir/optimiser/ExpressionSimplifier.cpp.o CMakeFiles/yul.dir/optimiser/ExpressionSplitter.cpp.o CMakeFiles/yul.dir/optimiser/ForLoopConditionIntoBody.cpp.o CMakeFiles/yul.dir/optimiser/ForLoopConditionOutOfBody.cpp.o CMakeFiles/yul.dir/optimiser/ForLoopInitRewriter.cpp.o CMakeFiles/yul.dir/optimiser/FullInliner.cpp.o CMakeFiles/yul.dir/optimiser/FunctionGrouper.cpp.o CMakeFiles/yul.dir/optimiser/FunctionHoister.cpp.o CMakeFiles/yul.dir/optimiser/InlinableExpressionFunctionFinder.cpp.o CMakeFiles/yul.dir/optimiser/KnowledgeBase.cpp.o CMakeFiles/yul.dir/optimiser/LoadResolver.cpp.o CMakeFiles/yul.dir/optimiser/LoopInvariantCodeMotion.cpp.o CMakeFiles/yul.dir/optimiser/MainFunction.cpp.o CMakeFiles/yul.dir/optimiser/Metrics.cpp.o CMakeFiles/yul.dir/optimiser/NameCollector.cpp.o CMakeFiles/yul.dir/optimiser/NameDispenser.cpp.o CMakeFiles/yul.dir/optimiser/NameDisplacer.cpp.o CMakeFiles/yul.dir/optimiser/OptimizerUtilities.cpp.o CMakeFiles/yul.dir/optimiser/RedundantAssignEliminator.cpp.o CMakeFiles/yul.dir/optimiser/Rematerialiser.cpp.o CMakeFiles/yul.dir/optimiser/SSAReverser.cpp.o CMakeFiles/yul.dir/optimiser/SSATransform.cpp.o CMakeFiles/yul.dir/optimiser/SSAValueTracker.cpp.o CMakeFiles/yul.dir/optimiser/Semantics.cpp.o CMakeFiles/yul.dir/optimiser/SimplificationRules.cpp.o CMakeFiles/yul.dir/optimiser/StackCompressor.cpp.o CMakeFiles/yul.dir/optimiser/StructuralSimplifier.cpp.o CMakeFiles/yul.dir/optimiser/Substitution.cpp.o CMakeFiles/yul.dir/optimiser/Suite.cpp.o CMakeFiles/yul.dir/optimiser/SyntacticalEquality.cpp.o CMakeFiles/yul.dir/optimiser/TypeInfo.cpp.o CMakeFiles/yul.dir/optimiser/UnusedPruner.cpp.o CMakeFiles/yul.dir/optimiser/VarDeclInitializer.cpp.o CMakeFiles/yul.dir/optimiser/VarNameCleaner.cpp.o /usr/bin/ranlib libyul.a [ 59%] Built target yul --- libsolidity/CMakeFiles/solidity.dir/all --- /usr/bin/make -f libsolidity/CMakeFiles/solidity.dir/build.make libsolidity/CMakeFiles/solidity.dir/depend --- libsolidity/CMakeFiles/solidity.dir/depend --- cd /construction/lang/solidity/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/solidity_0.6.3/libsolidity /construction/lang/solidity/.build /construction/lang/solidity/.build/libsolidity /construction/lang/solidity/.build/libsolidity/CMakeFiles/solidity.dir/DependInfo.cmake Scanning dependencies of target solidity /usr/bin/make -f libsolidity/CMakeFiles/solidity.dir/build.make libsolidity/CMakeFiles/solidity.dir/build --- libsolidity/CMakeFiles/solidity.dir/analysis/ConstantEvaluator.cpp.o --- --- libsolidity/CMakeFiles/solidity.dir/analysis/ContractLevelChecker.cpp.o --- --- libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowAnalyzer.cpp.o --- --- libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowBuilder.cpp.o --- --- libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowGraph.cpp.o --- --- libsolidity/CMakeFiles/solidity.dir/analysis/DeclarationContainer.cpp.o --- --- libsolidity/CMakeFiles/solidity.dir/analysis/DocStringAnalyser.cpp.o --- --- libsolidity/CMakeFiles/solidity.dir/analysis/GlobalContext.cpp.o --- --- libsolidity/CMakeFiles/solidity.dir/analysis/NameAndTypeResolver.cpp.o --- --- libsolidity/CMakeFiles/solidity.dir/analysis/OverrideChecker.cpp.o --- --- libsolidity/CMakeFiles/solidity.dir/analysis/ConstantEvaluator.cpp.o --- [ 60%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/ConstantEvaluator.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/analysis/ConstantEvaluator.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/analysis/ConstantEvaluator.cpp --- libsolidity/CMakeFiles/solidity.dir/analysis/ContractLevelChecker.cpp.o --- [ 59%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/ContractLevelChecker.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/analysis/ContractLevelChecker.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/analysis/ContractLevelChecker.cpp --- libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowAnalyzer.cpp.o --- [ 61%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowAnalyzer.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/analysis/ControlFlowAnalyzer.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/analysis/ControlFlowAnalyzer.cpp --- libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowBuilder.cpp.o --- [ 61%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowBuilder.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/analysis/ControlFlowBuilder.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/analysis/ControlFlowBuilder.cpp --- libsolidity/CMakeFiles/solidity.dir/analysis/GlobalContext.cpp.o --- [ 61%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/GlobalContext.cpp.o --- libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowGraph.cpp.o --- [ 62%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowGraph.cpp.o --- libsolidity/CMakeFiles/solidity.dir/analysis/DeclarationContainer.cpp.o --- [ 62%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/DeclarationContainer.cpp.o --- libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowGraph.cpp.o --- cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/analysis/ControlFlowGraph.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/analysis/ControlFlowGraph.cpp --- libsolidity/CMakeFiles/solidity.dir/analysis/GlobalContext.cpp.o --- cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/analysis/GlobalContext.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/analysis/GlobalContext.cpp --- libsolidity/CMakeFiles/solidity.dir/analysis/DeclarationContainer.cpp.o --- cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/analysis/DeclarationContainer.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/analysis/DeclarationContainer.cpp --- libsolidity/CMakeFiles/solidity.dir/analysis/OverrideChecker.cpp.o --- [ 62%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/OverrideChecker.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/analysis/OverrideChecker.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/analysis/OverrideChecker.cpp --- libsolidity/CMakeFiles/solidity.dir/analysis/DocStringAnalyser.cpp.o --- [ 63%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/DocStringAnalyser.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/analysis/DocStringAnalyser.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/analysis/DocStringAnalyser.cpp --- libsolidity/CMakeFiles/solidity.dir/analysis/NameAndTypeResolver.cpp.o --- [ 64%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/NameAndTypeResolver.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/analysis/NameAndTypeResolver.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/analysis/NameAndTypeResolver.cpp --- libsolidity/CMakeFiles/solidity.dir/analysis/PostTypeChecker.cpp.o --- [ 65%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/PostTypeChecker.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/analysis/PostTypeChecker.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/analysis/PostTypeChecker.cpp --- libsolidity/CMakeFiles/solidity.dir/analysis/ReferencesResolver.cpp.o --- [ 65%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/ReferencesResolver.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/analysis/ReferencesResolver.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/analysis/ReferencesResolver.cpp --- libsolidity/CMakeFiles/solidity.dir/analysis/StaticAnalyzer.cpp.o --- [ 66%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/StaticAnalyzer.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/analysis/StaticAnalyzer.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/analysis/StaticAnalyzer.cpp --- libsolidity/CMakeFiles/solidity.dir/analysis/SyntaxChecker.cpp.o --- [ 66%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/SyntaxChecker.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/analysis/SyntaxChecker.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/analysis/SyntaxChecker.cpp --- libsolidity/CMakeFiles/solidity.dir/analysis/TypeChecker.cpp.o --- [ 67%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/TypeChecker.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/analysis/TypeChecker.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/analysis/TypeChecker.cpp --- libsolidity/CMakeFiles/solidity.dir/analysis/ViewPureChecker.cpp.o --- [ 67%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/ViewPureChecker.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/analysis/ViewPureChecker.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/analysis/ViewPureChecker.cpp --- libsolidity/CMakeFiles/solidity.dir/ast/AST.cpp.o --- [ 67%] Building CXX object libsolidity/CMakeFiles/solidity.dir/ast/AST.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/ast/AST.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/ast/AST.cpp --- libsolidity/CMakeFiles/solidity.dir/ast/ASTAnnotations.cpp.o --- [ 68%] Building CXX object libsolidity/CMakeFiles/solidity.dir/ast/ASTAnnotations.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/ast/ASTAnnotations.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/ast/ASTAnnotations.cpp --- libsolidity/CMakeFiles/solidity.dir/ast/AsmJsonImporter.cpp.o --- [ 68%] Building CXX object libsolidity/CMakeFiles/solidity.dir/ast/AsmJsonImporter.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/ast/AsmJsonImporter.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/ast/AsmJsonImporter.cpp --- libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonConverter.cpp.o --- [ 69%] Building CXX object libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonConverter.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/ast/ASTJsonConverter.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/ast/ASTJsonConverter.cpp --- libsolidity/CMakeFiles/solidity.dir/ast/ASTUtils.cpp.o --- [ 69%] Building CXX object libsolidity/CMakeFiles/solidity.dir/ast/ASTUtils.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/ast/ASTUtils.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/ast/ASTUtils.cpp --- libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonImporter.cpp.o --- [ 70%] Building CXX object libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonImporter.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/ast/ASTJsonImporter.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/ast/ASTJsonImporter.cpp --- libsolidity/CMakeFiles/solidity.dir/ast/Types.cpp.o --- [ 70%] Building CXX object libsolidity/CMakeFiles/solidity.dir/ast/Types.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/ast/Types.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/ast/Types.cpp --- libsolidity/CMakeFiles/solidity.dir/ast/TypeProvider.cpp.o --- [ 71%] Building CXX object libsolidity/CMakeFiles/solidity.dir/ast/TypeProvider.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/ast/TypeProvider.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/ast/TypeProvider.cpp --- libsolidity/CMakeFiles/solidity.dir/codegen/ABIFunctions.cpp.o --- [ 71%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/ABIFunctions.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/codegen/ABIFunctions.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/codegen/ABIFunctions.cpp --- libsolidity/CMakeFiles/solidity.dir/codegen/ArrayUtils.cpp.o --- [ 72%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/ArrayUtils.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/codegen/ArrayUtils.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/codegen/ArrayUtils.cpp --- libsolidity/CMakeFiles/solidity.dir/codegen/Compiler.cpp.o --- [ 72%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/Compiler.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/codegen/Compiler.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/codegen/Compiler.cpp --- libsolidity/CMakeFiles/solidity.dir/codegen/CompilerContext.cpp.o --- [ 73%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/CompilerContext.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/codegen/CompilerContext.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/codegen/CompilerContext.cpp --- libsolidity/CMakeFiles/solidity.dir/codegen/CompilerUtils.cpp.o --- [ 73%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/CompilerUtils.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/codegen/CompilerUtils.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/codegen/CompilerUtils.cpp --- libsolidity/CMakeFiles/solidity.dir/codegen/ContractCompiler.cpp.o --- [ 74%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/ContractCompiler.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/codegen/ContractCompiler.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/codegen/ContractCompiler.cpp --- libsolidity/CMakeFiles/solidity.dir/codegen/ExpressionCompiler.cpp.o --- [ 74%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/ExpressionCompiler.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/codegen/ExpressionCompiler.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/codegen/ExpressionCompiler.cpp --- libsolidity/CMakeFiles/solidity.dir/codegen/LValue.cpp.o --- [ 75%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/LValue.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/codegen/LValue.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/codegen/LValue.cpp --- libsolidity/CMakeFiles/solidity.dir/codegen/MultiUseYulFunctionCollector.cpp.o --- [ 75%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/MultiUseYulFunctionCollector.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/codegen/MultiUseYulFunctionCollector.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/codegen/MultiUseYulFunctionCollector.cpp --- libsolidity/CMakeFiles/solidity.dir/codegen/YulUtilFunctions.cpp.o --- [ 76%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/YulUtilFunctions.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/codegen/YulUtilFunctions.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/codegen/YulUtilFunctions.cpp --- libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGenerator.cpp.o --- [ 76%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGenerator.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/codegen/ir/IRGenerator.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/codegen/ir/IRGenerator.cpp --- libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGeneratorForStatements.cpp.o --- [ 77%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGeneratorForStatements.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/codegen/ir/IRGeneratorForStatements.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/codegen/ir/IRGeneratorForStatements.cpp --- libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGenerationContext.cpp.o --- [ 77%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRGenerationContext.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/codegen/ir/IRGenerationContext.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/codegen/ir/IRGenerationContext.cpp --- libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRVariable.cpp.o --- [ 78%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/ir/IRVariable.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/codegen/ir/IRVariable.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/codegen/ir/IRVariable.cpp --- libsolidity/CMakeFiles/solidity.dir/formal/BMC.cpp.o --- [ 78%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/BMC.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/formal/BMC.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/formal/BMC.cpp --- libsolidity/CMakeFiles/solidity.dir/formal/CHC.cpp.o --- [ 79%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/CHC.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/formal/CHC.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/formal/CHC.cpp --- libsolidity/CMakeFiles/solidity.dir/formal/CHCSmtLib2Interface.cpp.o --- [ 79%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/CHCSmtLib2Interface.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/formal/CHCSmtLib2Interface.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/formal/CHCSmtLib2Interface.cpp --- libsolidity/CMakeFiles/solidity.dir/formal/EncodingContext.cpp.o --- [ 80%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/EncodingContext.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/formal/EncodingContext.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/formal/EncodingContext.cpp --- libsolidity/CMakeFiles/solidity.dir/formal/ModelChecker.cpp.o --- [ 80%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/ModelChecker.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/formal/ModelChecker.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/formal/ModelChecker.cpp --- libsolidity/CMakeFiles/solidity.dir/formal/SMTEncoder.cpp.o --- [ 81%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/SMTEncoder.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/formal/SMTEncoder.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/formal/SMTEncoder.cpp --- libsolidity/CMakeFiles/solidity.dir/formal/SMTLib2Interface.cpp.o --- [ 81%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/SMTLib2Interface.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/formal/SMTLib2Interface.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/formal/SMTLib2Interface.cpp --- libsolidity/CMakeFiles/solidity.dir/formal/SMTPortfolio.cpp.o --- [ 82%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/SMTPortfolio.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/formal/SMTPortfolio.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/formal/SMTPortfolio.cpp --- libsolidity/CMakeFiles/solidity.dir/formal/SSAVariable.cpp.o --- [ 82%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/SSAVariable.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/formal/SSAVariable.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/formal/SSAVariable.cpp --- libsolidity/CMakeFiles/solidity.dir/formal/SymbolicTypes.cpp.o --- --- libsolidity/CMakeFiles/solidity.dir/formal/SymbolicVariables.cpp.o --- [ 82%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/SymbolicVariables.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/formal/SymbolicVariables.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/formal/SymbolicVariables.cpp --- libsolidity/CMakeFiles/solidity.dir/formal/SymbolicTypes.cpp.o --- [ 83%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/SymbolicTypes.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/formal/SymbolicTypes.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/formal/SymbolicTypes.cpp --- libsolidity/CMakeFiles/solidity.dir/formal/VariableUsage.cpp.o --- [ 84%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/VariableUsage.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/formal/VariableUsage.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/formal/VariableUsage.cpp --- libsolidity/CMakeFiles/solidity.dir/interface/ABI.cpp.o --- [ 84%] Building CXX object libsolidity/CMakeFiles/solidity.dir/interface/ABI.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/interface/ABI.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/interface/ABI.cpp --- libsolidity/CMakeFiles/solidity.dir/interface/CompilerStack.cpp.o --- [ 85%] Building CXX object libsolidity/CMakeFiles/solidity.dir/interface/CompilerStack.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/interface/CompilerStack.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/interface/CompilerStack.cpp --- libsolidity/CMakeFiles/solidity.dir/interface/GasEstimator.cpp.o --- [ 85%] Building CXX object libsolidity/CMakeFiles/solidity.dir/interface/GasEstimator.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/interface/GasEstimator.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/interface/GasEstimator.cpp --- libsolidity/CMakeFiles/solidity.dir/interface/Natspec.cpp.o --- [ 86%] Building CXX object libsolidity/CMakeFiles/solidity.dir/interface/Natspec.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/interface/Natspec.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/interface/Natspec.cpp --- libsolidity/CMakeFiles/solidity.dir/interface/StandardCompiler.cpp.o --- [ 86%] Building CXX object libsolidity/CMakeFiles/solidity.dir/interface/StandardCompiler.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/interface/StandardCompiler.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/interface/StandardCompiler.cpp --- libsolidity/CMakeFiles/solidity.dir/interface/StorageLayout.cpp.o --- [ 87%] Building CXX object libsolidity/CMakeFiles/solidity.dir/interface/StorageLayout.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/interface/StorageLayout.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/interface/StorageLayout.cpp --- libsolidity/CMakeFiles/solidity.dir/interface/Version.cpp.o --- [ 87%] Building CXX object libsolidity/CMakeFiles/solidity.dir/interface/Version.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/interface/Version.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/interface/Version.cpp --- libsolidity/CMakeFiles/solidity.dir/parsing/DocStringParser.cpp.o --- [ 88%] Building CXX object libsolidity/CMakeFiles/solidity.dir/parsing/DocStringParser.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/parsing/DocStringParser.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/parsing/DocStringParser.cpp --- libsolidity/CMakeFiles/solidity.dir/parsing/Parser.cpp.o --- [ 88%] Building CXX object libsolidity/CMakeFiles/solidity.dir/parsing/Parser.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/parsing/Parser.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/parsing/Parser.cpp --- libsolidity/CMakeFiles/solidity.dir/formal/Z3Interface.cpp.o --- [ 89%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/Z3Interface.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/formal/Z3Interface.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/formal/Z3Interface.cpp --- libsolidity/CMakeFiles/solidity.dir/formal/Z3CHCInterface.cpp.o --- [ 89%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/Z3CHCInterface.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/formal/Z3CHCInterface.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/formal/Z3CHCInterface.cpp --- libsolidity/CMakeFiles/solidity.dir/formal/CVC4Interface.cpp.o --- [ 90%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/CVC4Interface.cpp.o cd /construction/lang/solidity/.build/libsolidity && /usr/bin/c++ -DHAVE_CVC4 -DHAVE_Z3 -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity.dir/formal/CVC4Interface.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolidity/formal/CVC4Interface.cpp --- libsolidity/libsolidity.a --- [ 90%] Linking CXX static library libsolidity.a cd /construction/lang/solidity/.build/libsolidity && /usr/local/bin/cmake -P CMakeFiles/solidity.dir/cmake_clean_target.cmake cd /construction/lang/solidity/.build/libsolidity && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/solidity.dir/link.txt --verbose=1 /usr/bin/ar qc libsolidity.a CMakeFiles/solidity.dir/analysis/ConstantEvaluator.cpp.o CMakeFiles/solidity.dir/analysis/ContractLevelChecker.cpp.o CMakeFiles/solidity.dir/analysis/ControlFlowAnalyzer.cpp.o CMakeFiles/solidity.dir/analysis/ControlFlowBuilder.cpp.o CMakeFiles/solidity.dir/analysis/ControlFlowGraph.cpp.o CMakeFiles/solidity.dir/analysis/DeclarationContainer.cpp.o CMakeFiles/solidity.dir/analysis/DocStringAnalyser.cpp.o CMakeFiles/solidity.dir/analysis/GlobalContext.cpp.o CMakeFiles/solidity.dir/analysis/NameAndTypeResolver.cpp.o CMakeFiles/solidity.dir/analysis/OverrideChecker.cpp.o CMakeFiles/solidity.dir/analysis/PostTypeChecker.cpp.o CMakeFiles/solidity.dir/analysis/ReferencesResolver.cpp.o CMakeFiles/solidity.dir/analysis/StaticAnalyzer.cpp.o CMakeFiles/solidity.dir/analysis/SyntaxChecker.cpp.o CMakeFiles/solidity.dir/analysis/TypeChecker.cpp.o CMakeFiles/solidity.dir/analysis/ViewPureChecker.cpp.o CMakeFiles/solidity.dir/ast/AST.cpp.o CMakeFiles/solidity.dir/ast/ASTAnnotations.cpp.o CMakeFiles/solidity.dir/ast/AsmJsonImporter.cpp.o CMakeFiles/solidity.dir/ast/ASTJsonConverter.cpp.o CMakeFiles/solidity.dir/ast/ASTUtils.cpp.o CMakeFiles/solidity.dir/ast/ASTJsonImporter.cpp.o CMakeFiles/solidity.dir/ast/Types.cpp.o CMakeFiles/solidity.dir/ast/TypeProvider.cpp.o CMakeFiles/solidity.dir/codegen/ABIFunctions.cpp.o CMakeFiles/solidity.dir/codegen/ArrayUtils.cpp.o CMakeFiles/solidity.dir/codegen/Compiler.cpp.o CMakeFiles/solidity.dir/codegen/CompilerContext.cpp.o CMakeFiles/solidity.dir/codegen/CompilerUtils.cpp.o CMakeFiles/solidity.dir/codegen/ContractCompiler.cpp.o CMakeFiles/solidity.dir/codegen/ExpressionCompiler.cpp.o CMakeFiles/solidity.dir/codegen/LValue.cpp.o CMakeFiles/solidity.dir/codegen/MultiUseYulFunctionCollector.cpp.o CMakeFiles/solidity.dir/codegen/YulUtilFunctions.cpp.o CMakeFiles/solidity.dir/codegen/ir/IRGenerator.cpp.o CMakeFiles/solidity.dir/codegen/ir/IRGeneratorForStatements.cpp.o CMakeFiles/solidity.dir/codegen/ir/IRGenerationContext.cpp.o CMakeFiles/solidity.dir/codegen/ir/IRVariable.cpp.o CMakeFiles/solidity.dir/formal/BMC.cpp.o CMakeFiles/solidity.dir/formal/CHC.cpp.o CMakeFiles/solidity.dir/formal/CHCSmtLib2Interface.cpp.o CMakeFiles/solidity.dir/formal/EncodingContext.cpp.o CMakeFiles/solidity.dir/formal/ModelChecker.cpp.o CMakeFiles/solidity.dir/formal/SMTEncoder.cpp.o CMakeFiles/solidity.dir/formal/SMTLib2Interface.cpp.o CMakeFiles/solidity.dir/formal/SMTPortfolio.cpp.o CMakeFiles/solidity.dir/formal/SSAVariable.cpp.o CMakeFiles/solidity.dir/formal/SymbolicTypes.cpp.o CMakeFiles/solidity.dir/formal/SymbolicVariables.cpp.o CMakeFiles/solidity.dir/formal/VariableUsage.cpp.o CMakeFiles/solidity.dir/interface/ABI.cpp.o CMakeFiles/solidity.dir/interface/CompilerStack.cpp.o CMakeFiles/solidity.dir/interface/GasEstimator.cpp.o CMakeFiles/solidity.dir/interface/Natspec.cpp.o CMakeFiles/solidity.dir/interface/StandardCompiler.cpp.o CMakeFiles/solidity.dir/interface/StorageLayout.cpp.o CMakeFiles/solidity.dir/interface/Version.cpp.o CMakeFiles/solidity.dir/parsing/DocStringParser.cpp.o CMakeFiles/solidity.dir/parsing/Parser.cpp.o CMakeFiles/solidity.dir/formal/Z3Interface.cpp.o CMakeFiles/solidity.dir/formal/Z3CHCInterface.cpp.o CMakeFiles/solidity.dir/formal/CVC4Interface.cpp.o /usr/bin/ranlib libsolidity.a [ 90%] Built target solidity --- libsolc/CMakeFiles/libsolc.dir/all --- --- tools/CMakeFiles/yul-phaser.dir/all --- --- tools/CMakeFiles/solidity-upgrade.dir/all --- --- solc/CMakeFiles/solc.dir/all --- --- tools/CMakeFiles/yul-phaser.dir/all --- /usr/bin/make -f tools/CMakeFiles/yul-phaser.dir/build.make tools/CMakeFiles/yul-phaser.dir/depend --- libsolc/CMakeFiles/libsolc.dir/all --- /usr/bin/make -f libsolc/CMakeFiles/libsolc.dir/build.make libsolc/CMakeFiles/libsolc.dir/depend --- tools/CMakeFiles/solidity-upgrade.dir/all --- /usr/bin/make -f tools/CMakeFiles/solidity-upgrade.dir/build.make tools/CMakeFiles/solidity-upgrade.dir/depend --- solc/CMakeFiles/solc.dir/all --- /usr/bin/make -f solc/CMakeFiles/solc.dir/build.make solc/CMakeFiles/solc.dir/depend --- solc/CMakeFiles/solc.dir/depend --- --- tools/CMakeFiles/solidity-upgrade.dir/all --- --- tools/CMakeFiles/solidity-upgrade.dir/depend --- cd /construction/lang/solidity/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/solidity_0.6.3/tools /construction/lang/solidity/.build /construction/lang/solidity/.build/tools /construction/lang/solidity/.build/tools/CMakeFiles/solidity-upgrade.dir/DependInfo.cmake --- solc/CMakeFiles/solc.dir/all --- cd /construction/lang/solidity/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/solidity_0.6.3/solc /construction/lang/solidity/.build /construction/lang/solidity/.build/solc /construction/lang/solidity/.build/solc/CMakeFiles/solc.dir/DependInfo.cmake --- libsolc/CMakeFiles/libsolc.dir/all --- --- libsolc/CMakeFiles/libsolc.dir/depend --- cd /construction/lang/solidity/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/solidity_0.6.3/libsolc /construction/lang/solidity/.build /construction/lang/solidity/.build/libsolc /construction/lang/solidity/.build/libsolc/CMakeFiles/libsolc.dir/DependInfo.cmake --- tools/CMakeFiles/yul-phaser.dir/all --- --- tools/CMakeFiles/yul-phaser.dir/depend --- cd /construction/lang/solidity/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/solidity_0.6.3/tools /construction/lang/solidity/.build /construction/lang/solidity/.build/tools /construction/lang/solidity/.build/tools/CMakeFiles/yul-phaser.dir/DependInfo.cmake --- tools/CMakeFiles/solidity-upgrade.dir/all --- Scanning dependencies of target solidity-upgrade /usr/bin/make -f tools/CMakeFiles/solidity-upgrade.dir/build.make tools/CMakeFiles/solidity-upgrade.dir/build --- solc/CMakeFiles/solc.dir/all --- Scanning dependencies of target solc /usr/bin/make -f solc/CMakeFiles/solc.dir/build.make solc/CMakeFiles/solc.dir/build --- tools/CMakeFiles/solidity-upgrade.dir/all --- --- tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/main.cpp.o --- --- tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/UpgradeChange.cpp.o --- --- tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/Upgrade050.cpp.o --- --- tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/Upgrade060.cpp.o --- --- tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/SourceUpgrade.cpp.o --- --- tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/Upgrade050.cpp.o --- [ 91%] Building CXX object tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/Upgrade050.cpp.o --- tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/UpgradeChange.cpp.o --- [ 91%] Building CXX object tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/UpgradeChange.cpp.o --- tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/Upgrade050.cpp.o --- cd /construction/lang/solidity/.build/tools && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity-upgrade.dir/solidityUpgrade/Upgrade050.cpp.o -c /construction/lang/solidity/solidity_0.6.3/tools/solidityUpgrade/Upgrade050.cpp --- tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/UpgradeChange.cpp.o --- cd /construction/lang/solidity/.build/tools && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity-upgrade.dir/solidityUpgrade/UpgradeChange.cpp.o -c /construction/lang/solidity/solidity_0.6.3/tools/solidityUpgrade/UpgradeChange.cpp --- tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/Upgrade060.cpp.o --- [ 91%] Building CXX object tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/Upgrade060.cpp.o cd /construction/lang/solidity/.build/tools && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity-upgrade.dir/solidityUpgrade/Upgrade060.cpp.o -c /construction/lang/solidity/solidity_0.6.3/tools/solidityUpgrade/Upgrade060.cpp --- solc/CMakeFiles/solc.dir/all --- --- solc/CMakeFiles/solc.dir/CommandLineInterface.cpp.o --- --- solc/CMakeFiles/solc.dir/main.cpp.o --- --- tools/CMakeFiles/solidity-upgrade.dir/all --- --- tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/SourceUpgrade.cpp.o --- [ 91%] Building CXX object tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/SourceUpgrade.cpp.o cd /construction/lang/solidity/.build/tools && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity-upgrade.dir/solidityUpgrade/SourceUpgrade.cpp.o -c /construction/lang/solidity/solidity_0.6.3/tools/solidityUpgrade/SourceUpgrade.cpp --- tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/main.cpp.o --- [ 92%] Building CXX object tools/CMakeFiles/solidity-upgrade.dir/solidityUpgrade/main.cpp.o cd /construction/lang/solidity/.build/tools && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solidity-upgrade.dir/solidityUpgrade/main.cpp.o -c /construction/lang/solidity/solidity_0.6.3/tools/solidityUpgrade/main.cpp --- tools/CMakeFiles/yul-phaser.dir/all --- Scanning dependencies of target yul-phaser /usr/bin/make -f tools/CMakeFiles/yul-phaser.dir/build.make tools/CMakeFiles/yul-phaser.dir/build --- solc/CMakeFiles/solc.dir/all --- --- solc/CMakeFiles/solc.dir/CommandLineInterface.cpp.o --- [ 93%] Building CXX object solc/CMakeFiles/solc.dir/CommandLineInterface.cpp.o cd /construction/lang/solidity/.build/solc && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solc.dir/CommandLineInterface.cpp.o -c /construction/lang/solidity/solidity_0.6.3/solc/CommandLineInterface.cpp --- solc/CMakeFiles/solc.dir/main.cpp.o --- [ 93%] Building CXX object solc/CMakeFiles/solc.dir/main.cpp.o cd /construction/lang/solidity/.build/solc && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/solc.dir/main.cpp.o -c /construction/lang/solidity/solidity_0.6.3/solc/main.cpp --- libsolc/CMakeFiles/libsolc.dir/all --- Scanning dependencies of target libsolc /usr/bin/make -f libsolc/CMakeFiles/libsolc.dir/build.make libsolc/CMakeFiles/libsolc.dir/build --- tools/CMakeFiles/yul-phaser.dir/all --- --- tools/CMakeFiles/yul-phaser.dir/yulPhaser/main.cpp.o --- --- tools/CMakeFiles/yul-phaser.dir/yulPhaser/Population.cpp.o --- --- libsolc/CMakeFiles/libsolc.dir/all --- --- libsolc/CMakeFiles/libsolc.dir/libsolc.cpp.o --- --- tools/CMakeFiles/yul-phaser.dir/all --- --- tools/CMakeFiles/yul-phaser.dir/yulPhaser/main.cpp.o --- [ 94%] Building CXX object tools/CMakeFiles/yul-phaser.dir/yulPhaser/main.cpp.o cd /construction/lang/solidity/.build/tools && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul-phaser.dir/yulPhaser/main.cpp.o -c /construction/lang/solidity/solidity_0.6.3/tools/yulPhaser/main.cpp --- libsolc/CMakeFiles/libsolc.dir/all --- [ 95%] Building CXX object libsolc/CMakeFiles/libsolc.dir/libsolc.cpp.o cd /construction/lang/solidity/.build/libsolc && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/libsolc.dir/libsolc.cpp.o -c /construction/lang/solidity/solidity_0.6.3/libsolc/libsolc.cpp --- tools/CMakeFiles/yul-phaser.dir/all --- --- tools/CMakeFiles/yul-phaser.dir/yulPhaser/Population.cpp.o --- [ 95%] Building CXX object tools/CMakeFiles/yul-phaser.dir/yulPhaser/Population.cpp.o cd /construction/lang/solidity/.build/tools && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul-phaser.dir/yulPhaser/Population.cpp.o -c /construction/lang/solidity/solidity_0.6.3/tools/yulPhaser/Population.cpp --- tools/CMakeFiles/yul-phaser.dir/yulPhaser/Chromosome.cpp.o --- [ 96%] Building CXX object tools/CMakeFiles/yul-phaser.dir/yulPhaser/Chromosome.cpp.o cd /construction/lang/solidity/.build/tools && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul-phaser.dir/yulPhaser/Chromosome.cpp.o -c /construction/lang/solidity/solidity_0.6.3/tools/yulPhaser/Chromosome.cpp --- tools/CMakeFiles/yul-phaser.dir/yulPhaser/Program.cpp.o --- [ 96%] Building CXX object tools/CMakeFiles/yul-phaser.dir/yulPhaser/Program.cpp.o cd /construction/lang/solidity/.build/tools && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul-phaser.dir/yulPhaser/Program.cpp.o -c /construction/lang/solidity/solidity_0.6.3/tools/yulPhaser/Program.cpp --- libsolc/CMakeFiles/libsolc.dir/all --- --- libsolc/libsolc.a --- [ 96%] Linking CXX static library libsolc.a cd /construction/lang/solidity/.build/libsolc && /usr/local/bin/cmake -P CMakeFiles/libsolc.dir/cmake_clean_target.cmake cd /construction/lang/solidity/.build/libsolc && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/libsolc.dir/link.txt --verbose=1 /usr/bin/ar qc libsolc.a CMakeFiles/libsolc.dir/libsolc.cpp.o /usr/bin/ranlib libsolc.a [ 96%] Built target libsolc --- tools/CMakeFiles/yul-phaser.dir/all --- --- tools/CMakeFiles/yul-phaser.dir/yulPhaser/SimulationRNG.cpp.o --- [ 97%] Building CXX object tools/CMakeFiles/yul-phaser.dir/yulPhaser/SimulationRNG.cpp.o cd /construction/lang/solidity/.build/tools && /usr/bin/c++ -I/construction/lang/solidity/.build/include -I/construction/lang/solidity/solidity_0.6.3 -isystem /usr/local/include/jsoncpp -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG -fstack-protector-strong -Wimplicit-fallthrough -fmacro-prefix-map=/construction/lang/solidity/solidity_0.6.3=/solidity -Wall -Wextra -pedantic -Wno-unknown-pragmas -fdiagnostics-color -std=c++17 -o CMakeFiles/yul-phaser.dir/yulPhaser/SimulationRNG.cpp.o -c /construction/lang/solidity/solidity_0.6.3/tools/yulPhaser/SimulationRNG.cpp --- tools/yul-phaser --- [ 97%] Linking CXX executable yul-phaser cd /construction/lang/solidity/.build/tools && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/yul-phaser.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG CMakeFiles/yul-phaser.dir/yulPhaser/main.cpp.o CMakeFiles/yul-phaser.dir/yulPhaser/Population.cpp.o CMakeFiles/yul-phaser.dir/yulPhaser/Chromosome.cpp.o CMakeFiles/yul-phaser.dir/yulPhaser/Program.cpp.o CMakeFiles/yul-phaser.dir/yulPhaser/SimulationRNG.cpp.o -o yul-phaser -L/usr/local/lib -Wl,-z,origin,-rpath,/usr/local/lib ../libsolidity/libsolidity.a /usr/local/lib/libboost_program_options.a ../libyul/libyul.a ../libevmasm/libevmasm.a ../liblangutil/liblangutil.a ../libsolutil/libsolutil.a -ljsoncpp /usr/local/lib/libboost_filesystem.a /usr/local/lib/libboost_system.a /usr/local/lib/libz3.so /usr/local/lib/libcvc4.so /usr/local/lib/libcvc4.so /usr/local/lib/libgmp.so [ 98%] Built target yul-phaser --- tools/CMakeFiles/solidity-upgrade.dir/all --- --- tools/solidity-upgrade --- [ 99%] Linking CXX executable solidity-upgrade cd /construction/lang/solidity/.build/tools && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/solidity-upgrade.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG CMakeFiles/solidity-upgrade.dir/solidityUpgrade/main.cpp.o CMakeFiles/solidity-upgrade.dir/solidityUpgrade/UpgradeChange.cpp.o CMakeFiles/solidity-upgrade.dir/solidityUpgrade/Upgrade050.cpp.o CMakeFiles/solidity-upgrade.dir/solidityUpgrade/Upgrade060.cpp.o CMakeFiles/solidity-upgrade.dir/solidityUpgrade/SourceUpgrade.cpp.o -o solidity-upgrade -L/usr/local/lib -Wl,-z,origin,-rpath,/usr/local/lib ../libsolidity/libsolidity.a /usr/local/lib/libboost_program_options.a /usr/local/lib/libboost_system.a ../libyul/libyul.a ../libevmasm/libevmasm.a ../liblangutil/liblangutil.a ../libsolutil/libsolutil.a /usr/local/lib/libboost_system.a -ljsoncpp /usr/local/lib/libboost_filesystem.a /usr/local/lib/libz3.so /usr/local/lib/libcvc4.so /usr/local/lib/libcvc4.so /usr/local/lib/libgmp.so [ 99%] Built target solidity-upgrade --- solc/CMakeFiles/solc.dir/all --- --- solc/solc --- [100%] Linking CXX executable solc cd /construction/lang/solidity/.build/solc && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/solc.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG CMakeFiles/solc.dir/CommandLineInterface.cpp.o CMakeFiles/solc.dir/main.cpp.o -o solc -L/usr/local/lib -Wl,-z,origin,-rpath,/usr/local/lib ../libsolidity/libsolidity.a /usr/local/lib/libboost_program_options.a ../libyul/libyul.a ../libevmasm/libevmasm.a ../liblangutil/liblangutil.a ../libsolutil/libsolutil.a -ljsoncpp /usr/local/lib/libboost_filesystem.a /usr/local/lib/libboost_system.a /usr/local/lib/libz3.so /usr/local/lib/libcvc4.so /usr/local/lib/libcvc4.so /usr/local/lib/libgmp.so [100%] Built target solc /usr/local/bin/cmake -E cmake_progress_start /construction/lang/solidity/.build/CMakeFiles 0 SUCCEEDED 00:05:46 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for solidity-0.6.3 ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/lang/solidity/solidity_0.6.3 -B/construction/lang/solidity/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/lang/solidity/.build/CMakeFiles /construction/lang/solidity/.build/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all /usr/bin/make -f CMakeFiles/solidity_BuildInfo.h.dir/build.make CMakeFiles/solidity_BuildInfo.h.dir/depend cd /construction/lang/solidity/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/.build /construction/lang/solidity/.build /construction/lang/solidity/.build/CMakeFiles/solidity_BuildInfo.h.dir/DependInfo.cmake /usr/bin/make -f CMakeFiles/solidity_BuildInfo.h.dir/build.make CMakeFiles/solidity_BuildInfo.h.dir/build cd /construction/lang/solidity/solidity_0.6.3 && /usr/local/bin/cmake -DETH_SOURCE_DIR=/construction/lang/solidity/solidity_0.6.3 -DETH_BUILDINFO_IN=/construction/lang/solidity/solidity_0.6.3/cmake/templates/BuildInfo.h.in -DETH_DST_DIR=/construction/lang/solidity/.build/include/solidity -DETH_CMAKE_DIR=/construction/lang/solidity/solidity_0.6.3/cmake -DETH_BUILD_TYPE="Release" -DETH_BUILD_OS="DragonFly" -DETH_BUILD_COMPILER="g++" -DETH_BUILD_PLATFORM="DragonFly.g++" -DPROJECT_VERSION="0.6.3" -DPROJECT_VERSION_MAJOR="0" -DPROJECT_VERSION_MINOR="6" -DPROJECT_VERSION_PATCH="3" -P /construction/lang/solidity/solidity_0.6.3/cmake/scripts/buildinfo.cmake [ 0%] Built target solidity_BuildInfo.h /usr/bin/make -f libsolutil/CMakeFiles/solutil.dir/build.make libsolutil/CMakeFiles/solutil.dir/depend cd /construction/lang/solidity/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/solidity_0.6.3/libsolutil /construction/lang/solidity/.build /construction/lang/solidity/.build/libsolutil /construction/lang/solidity/.build/libsolutil/CMakeFiles/solutil.dir/DependInfo.cmake /usr/bin/make -f libsolutil/CMakeFiles/solutil.dir/build.make libsolutil/CMakeFiles/solutil.dir/build [ 6%] Built target solutil /usr/bin/make -f liblangutil/CMakeFiles/langutil.dir/build.make liblangutil/CMakeFiles/langutil.dir/depend cd /construction/lang/solidity/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/solidity_0.6.3/liblangutil /construction/lang/solidity/.build /construction/lang/solidity/.build/liblangutil /construction/lang/solidity/.build/liblangutil/CMakeFiles/langutil.dir/DependInfo.cmake /usr/bin/make -f liblangutil/CMakeFiles/langutil.dir/build.make liblangutil/CMakeFiles/langutil.dir/build [ 12%] Built target langutil /usr/bin/make -f libevmasm/CMakeFiles/evmasm.dir/build.make libevmasm/CMakeFiles/evmasm.dir/depend cd /construction/lang/solidity/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/solidity_0.6.3/libevmasm /construction/lang/solidity/.build /construction/lang/solidity/.build/libevmasm /construction/lang/solidity/.build/libevmasm/CMakeFiles/evmasm.dir/DependInfo.cmake /usr/bin/make -f libevmasm/CMakeFiles/evmasm.dir/build.make libevmasm/CMakeFiles/evmasm.dir/build [ 20%] Built target evmasm /usr/bin/make -f libyul/CMakeFiles/yul.dir/build.make libyul/CMakeFiles/yul.dir/depend cd /construction/lang/solidity/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/solidity_0.6.3/libyul /construction/lang/solidity/.build /construction/lang/solidity/.build/libyul /construction/lang/solidity/.build/libyul/CMakeFiles/yul.dir/DependInfo.cmake /usr/bin/make -f libyul/CMakeFiles/yul.dir/build.make libyul/CMakeFiles/yul.dir/build [ 59%] Built target yul /usr/bin/make -f libsolidity/CMakeFiles/solidity.dir/build.make libsolidity/CMakeFiles/solidity.dir/depend cd /construction/lang/solidity/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/solidity_0.6.3/libsolidity /construction/lang/solidity/.build /construction/lang/solidity/.build/libsolidity /construction/lang/solidity/.build/libsolidity/CMakeFiles/solidity.dir/DependInfo.cmake /usr/bin/make -f libsolidity/CMakeFiles/solidity.dir/build.make libsolidity/CMakeFiles/solidity.dir/build [ 90%] Built target solidity /usr/bin/make -f libsolc/CMakeFiles/libsolc.dir/build.make libsolc/CMakeFiles/libsolc.dir/depend cd /construction/lang/solidity/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/solidity_0.6.3/libsolc /construction/lang/solidity/.build /construction/lang/solidity/.build/libsolc /construction/lang/solidity/.build/libsolc/CMakeFiles/libsolc.dir/DependInfo.cmake /usr/bin/make -f libsolc/CMakeFiles/libsolc.dir/build.make libsolc/CMakeFiles/libsolc.dir/build [ 91%] Built target libsolc /usr/bin/make -f tools/CMakeFiles/yul-phaser.dir/build.make tools/CMakeFiles/yul-phaser.dir/depend cd /construction/lang/solidity/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/solidity_0.6.3/tools /construction/lang/solidity/.build /construction/lang/solidity/.build/tools /construction/lang/solidity/.build/tools/CMakeFiles/yul-phaser.dir/DependInfo.cmake /usr/bin/make -f tools/CMakeFiles/yul-phaser.dir/build.make tools/CMakeFiles/yul-phaser.dir/build [ 95%] Built target yul-phaser /usr/bin/make -f tools/CMakeFiles/solidity-upgrade.dir/build.make tools/CMakeFiles/solidity-upgrade.dir/depend cd /construction/lang/solidity/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/solidity_0.6.3/tools /construction/lang/solidity/.build /construction/lang/solidity/.build/tools /construction/lang/solidity/.build/tools/CMakeFiles/solidity-upgrade.dir/DependInfo.cmake /usr/bin/make -f tools/CMakeFiles/solidity-upgrade.dir/build.make tools/CMakeFiles/solidity-upgrade.dir/build [ 98%] Built target solidity-upgrade /usr/bin/make -f solc/CMakeFiles/solc.dir/build.make solc/CMakeFiles/solc.dir/depend cd /construction/lang/solidity/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/lang/solidity/solidity_0.6.3 /construction/lang/solidity/solidity_0.6.3/solc /construction/lang/solidity/.build /construction/lang/solidity/.build/solc /construction/lang/solidity/.build/solc/CMakeFiles/solc.dir/DependInfo.cmake /usr/bin/make -f solc/CMakeFiles/solc.dir/build.make solc/CMakeFiles/solc.dir/build [100%] Built target solc /usr/local/bin/cmake -E cmake_progress_start /construction/lang/solidity/.build/CMakeFiles 0 /usr/bin/make -f CMakeFiles/Makefile2 preinstall /usr/bin/make -f tools/CMakeFiles/yul-phaser.dir/build.make tools/CMakeFiles/yul-phaser.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/yul-phaser cd /construction/lang/solidity/.build/tools && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/yul-phaser.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG CMakeFiles/yul-phaser.dir/yulPhaser/main.cpp.o CMakeFiles/yul-phaser.dir/yulPhaser/Population.cpp.o CMakeFiles/yul-phaser.dir/yulPhaser/Chromosome.cpp.o CMakeFiles/yul-phaser.dir/yulPhaser/Program.cpp.o CMakeFiles/yul-phaser.dir/yulPhaser/SimulationRNG.cpp.o -o CMakeFiles/CMakeRelink.dir/yul-phaser -L/usr/local/lib -Wl,-z,origin,-rpath,/usr/local/lib ../libsolidity/libsolidity.a /usr/local/lib/libboost_program_options.a ../libyul/libyul.a ../libevmasm/libevmasm.a ../liblangutil/liblangutil.a ../libsolutil/libsolutil.a -ljsoncpp /usr/local/lib/libboost_filesystem.a /usr/local/lib/libboost_system.a /usr/local/lib/libz3.so /usr/local/lib/libcvc4.so /usr/local/lib/libcvc4.so /usr/local/lib/libgmp.so /usr/bin/make -f tools/CMakeFiles/solidity-upgrade.dir/build.make tools/CMakeFiles/solidity-upgrade.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/solidity-upgrade cd /construction/lang/solidity/.build/tools && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/solidity-upgrade.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG CMakeFiles/solidity-upgrade.dir/solidityUpgrade/main.cpp.o CMakeFiles/solidity-upgrade.dir/solidityUpgrade/UpgradeChange.cpp.o CMakeFiles/solidity-upgrade.dir/solidityUpgrade/Upgrade050.cpp.o CMakeFiles/solidity-upgrade.dir/solidityUpgrade/Upgrade060.cpp.o CMakeFiles/solidity-upgrade.dir/solidityUpgrade/SourceUpgrade.cpp.o -o CMakeFiles/CMakeRelink.dir/solidity-upgrade -L/usr/local/lib -Wl,-z,origin,-rpath,/usr/local/lib ../libsolidity/libsolidity.a /usr/local/lib/libboost_program_options.a /usr/local/lib/libboost_system.a ../libyul/libyul.a ../libevmasm/libevmasm.a ../liblangutil/liblangutil.a ../libsolutil/libsolutil.a /usr/local/lib/libboost_system.a -ljsoncpp /usr/local/lib/libboost_filesystem.a /usr/local/lib/libz3.so /usr/local/lib/libcvc4.so /usr/local/lib/libcvc4.so /usr/local/lib/libgmp.so /usr/bin/make -f solc/CMakeFiles/solc.dir/build.make solc/CMakeFiles/solc.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/solc cd /construction/lang/solidity/.build/solc && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/solc.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -O3 -DNDEBUG CMakeFiles/solc.dir/CommandLineInterface.cpp.o CMakeFiles/solc.dir/main.cpp.o -o CMakeFiles/CMakeRelink.dir/solc -L/usr/local/lib -Wl,-z,origin,-rpath,/usr/local/lib ../libsolidity/libsolidity.a /usr/local/lib/libboost_program_options.a ../libyul/libyul.a ../libevmasm/libevmasm.a ../liblangutil/liblangutil.a ../libsolutil/libsolutil.a -ljsoncpp /usr/local/lib/libboost_filesystem.a /usr/local/lib/libboost_system.a /usr/local/lib/libz3.so /usr/local/lib/libcvc4.so /usr/local/lib/libcvc4.so /usr/local/lib/libgmp.so Installing the project stripped... /usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /construction/lang/solidity/stage/usr/local/bin/solidity-upgrade -- Installing: /construction/lang/solidity/stage/usr/local/bin/yul-phaser -- Installing: /construction/lang/solidity/stage/usr/local/bin/solc ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks Warning: Possible REINPLACE_CMD issues sed failed: file content unchanged from backup: cmake/EthCompilerSettings.cmake SUCCEEDED 00:00:09 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for solidity-0.6.3 file sizes/checksums [3]: 0% file sizes/checksums [3]: 100% packing files [3]: 0% packing files [3]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:26 TOTAL TIME 00:06:51