build.log

22:15:15-makoto~/work/ethereum/solidity (develop)$ brew info z3
z3: stable 4.6.0, HEAD
High-performance theorem prover
https://github.com/Z3Prover/z3
/usr/local/Cellar/z3/4.6.0 (102 files, 83.8MB) *
  Built from source on 2018-01-20 at 20:10:35
From: https://github.com/Homebrew/homebrew-core/blob/master/Formula/z3.rb
==> Dependencies
Optional: python3 ✔
==> Options
--with-python3
	Build with python3 support
--without-python
	Build without python 2 support
--HEAD
	Install HEAD version
==> Caveats
Python modules have been installed and Homebrew's site-packages is not
in your Python sys.path, so you will not be able to import the modules
this formula installed. If you plan to develop with these modules,
please run:
  mkdir -p /Users/makoto/Library/Python/2.7/lib/python/site-packages
  echo 'import site; site.addsitedir("/usr/local/lib/python2.7/site-packages")' >> /Users/makoto/Library/Python/2.7/lib/python/site-packages/homebrew.pth
22:17:20-makoto~/work/ethereum/solidity (develop)$  time ./scripts/build.sh 
CMake Deprecation Warning at cmake/EthPolicy.cmake:12 (cmake_policy):
  The OLD behavior for policy CMP0028 will be removed from a future version
  of CMake.

  The cmake-policies(7) manual explains that the OLD behaviors of all
  policies are deprecated and that a policy should be set to OLD only under
  specific short-term circumstances.  Projects should be ported to the NEW
  behavior and not rely on setting a policy to OLD.
Call Stack (most recent call first):
  CMakeLists.txt:8 (eth_policy)


CMake Warning at /usr/local/Cellar/cmake/3.10.2/share/cmake/Modules/FindBoost.cmake:801 (message):
  New Boost version may have incorrect or missing dependencies and imported
  targets
Call Stack (most recent call first):
  /usr/local/Cellar/cmake/3.10.2/share/cmake/Modules/FindBoost.cmake:907 (_Boost_COMPONENT_DEPENDENCIES)
  /usr/local/Cellar/cmake/3.10.2/share/cmake/Modules/FindBoost.cmake:1542 (_Boost_MISSING_DEPENDENCIES)
  cmake/EthDependencies.cmake:48 (find_package)
  CMakeLists.txt:20 (include)


CMake Warning at /usr/local/Cellar/cmake/3.10.2/share/cmake/Modules/FindBoost.cmake:801 (message):
  New Boost version may have incorrect or missing dependencies and imported
  targets
Call Stack (most recent call first):
  /usr/local/Cellar/cmake/3.10.2/share/cmake/Modules/FindBoost.cmake:907 (_Boost_COMPONENT_DEPENDENCIES)
  /usr/local/Cellar/cmake/3.10.2/share/cmake/Modules/FindBoost.cmake:1542 (_Boost_MISSING_DEPENDENCIES)
  cmake/EthDependencies.cmake:48 (find_package)
  CMakeLists.txt:20 (include)


CMake Warning at /usr/local/Cellar/cmake/3.10.2/share/cmake/Modules/FindBoost.cmake:801 (message):
  New Boost version may have incorrect or missing dependencies and imported
  targets
Call Stack (most recent call first):
  /usr/local/Cellar/cmake/3.10.2/share/cmake/Modules/FindBoost.cmake:907 (_Boost_COMPONENT_DEPENDENCIES)
  /usr/local/Cellar/cmake/3.10.2/share/cmake/Modules/FindBoost.cmake:1542 (_Boost_MISSING_DEPENDENCIES)
  cmake/EthDependencies.cmake:48 (find_package)
  CMakeLists.txt:20 (include)


CMake Warning at /usr/local/Cellar/cmake/3.10.2/share/cmake/Modules/FindBoost.cmake:801 (message):
  New Boost version may have incorrect or missing dependencies and imported
  targets
Call Stack (most recent call first):
  /usr/local/Cellar/cmake/3.10.2/share/cmake/Modules/FindBoost.cmake:907 (_Boost_COMPONENT_DEPENDENCIES)
  /usr/local/Cellar/cmake/3.10.2/share/cmake/Modules/FindBoost.cmake:1542 (_Boost_MISSING_DEPENDENCIES)
  cmake/EthDependencies.cmake:48 (find_package)
  CMakeLists.txt:20 (include)


CMake Warning at /usr/local/Cellar/cmake/3.10.2/share/cmake/Modules/FindBoost.cmake:801 (message):
  New Boost version may have incorrect or missing dependencies and imported
  targets
Call Stack (most recent call first):
  /usr/local/Cellar/cmake/3.10.2/share/cmake/Modules/FindBoost.cmake:907 (_Boost_COMPONENT_DEPENDENCIES)
  /usr/local/Cellar/cmake/3.10.2/share/cmake/Modules/FindBoost.cmake:1542 (_Boost_MISSING_DEPENDENCIES)
  cmake/EthDependencies.cmake:48 (find_package)
  CMakeLists.txt:20 (include)


-- boost headers: /usr/local/include
-- boost lib   : /usr/local/lib/libboost_regex-mt.a;/usr/local/lib/libboost_filesystem-mt.a;/usr/local/lib/libboost_unit_test_framework-mt.a;/usr/local/lib/libboost_program_options-mt.a;/usr/local/lib/libboost_system-mt.a

------------------------------------------------------------------------
-- Configuring solidity
------------------------------------------------------------------------
--                  CMake Version                            3.10.2
-- CMAKE_BUILD_TYPE Build type                               Release
-- TARGET_PLATFORM  Target platform                          Darwin
--------------------------------------------------------------- features
-- PROFILING        Profiling support                        OFF
------------------------------------------------------------- components
-- TESTS            Build tests                              ON
------------------------------------------------------------------------

Z3 SMT solver found. This enables optional SMT checking.
-- Configuring done
-- Generating done
-- Build files have been written to: /Users/makoto/work/ethereum/solidity/build
[  5%] Built target jsoncpp-project
[  5%] Built target solidity_BuildInfo.h
[ 10%] Built target devcore
[ 20%] Built target evmasm
[ 23%] Built target lll
Scanning dependencies of target lllc
Scanning dependencies of target solidity
[ 23%] Building CXX object lllc/CMakeFiles/lllc.dir/main.cpp.o
[ 24%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/ConstantEvaluator.cpp.o
[ 25%] Linking CXX executable lllc
[ 25%] Built target lllc
[ 25%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/DeclarationContainer.cpp.o
[ 26%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/DocStringAnalyser.cpp.o
[ 26%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/GlobalContext.cpp.o
[ 27%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/NameAndTypeResolver.cpp.o
[ 28%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/PostTypeChecker.cpp.o
[ 28%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/ReferencesResolver.cpp.o
[ 29%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/SemVerHandler.cpp.o
[ 29%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/StaticAnalyzer.cpp.o
[ 30%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/SyntaxChecker.cpp.o
[ 31%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/TypeChecker.cpp.o
[ 31%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/ViewPureChecker.cpp.o
[ 32%] Building CXX object libsolidity/CMakeFiles/solidity.dir/ast/AST.cpp.o
[ 33%] Building CXX object libsolidity/CMakeFiles/solidity.dir/ast/ASTAnnotations.cpp.o
[ 33%] Building CXX object libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonConverter.cpp.o
[ 34%] Building CXX object libsolidity/CMakeFiles/solidity.dir/ast/ASTPrinter.cpp.o
[ 34%] Building CXX object libsolidity/CMakeFiles/solidity.dir/ast/ASTUtils.cpp.o
[ 35%] Building CXX object libsolidity/CMakeFiles/solidity.dir/ast/Types.cpp.o
[ 36%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/ABIFunctions.cpp.o
[ 36%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/ArrayUtils.cpp.o
[ 37%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/Compiler.cpp.o
[ 37%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/CompilerContext.cpp.o
[ 38%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/CompilerUtils.cpp.o
[ 39%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/ContractCompiler.cpp.o
[ 39%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/ExpressionCompiler.cpp.o
[ 40%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/LValue.cpp.o
[ 41%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/SMTChecker.cpp.o
[ 41%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/SMTLib2Interface.cpp.o
[ 42%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/VariableUsage.cpp.o
[ 42%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/Z3Interface.cpp.o
[ 43%] Building CXX object libsolidity/CMakeFiles/solidity.dir/inlineasm/AsmAnalysis.cpp.o
[ 44%] Building CXX object libsolidity/CMakeFiles/solidity.dir/inlineasm/AsmAnalysisInfo.cpp.o
[ 44%] Building CXX object libsolidity/CMakeFiles/solidity.dir/inlineasm/AsmCodeGen.cpp.o
[ 45%] Building CXX object libsolidity/CMakeFiles/solidity.dir/inlineasm/AsmParser.cpp.o
[ 45%] Building CXX object libsolidity/CMakeFiles/solidity.dir/inlineasm/AsmPrinter.cpp.o
[ 46%] Building CXX object libsolidity/CMakeFiles/solidity.dir/inlineasm/AsmScope.cpp.o
[ 47%] Building CXX object libsolidity/CMakeFiles/solidity.dir/inlineasm/AsmScopeFiller.cpp.o
[ 47%] Building CXX object libsolidity/CMakeFiles/solidity.dir/interface/ABI.cpp.o
[ 48%] Building CXX object libsolidity/CMakeFiles/solidity.dir/interface/AssemblyStack.cpp.o
[ 48%] Building CXX object libsolidity/CMakeFiles/solidity.dir/interface/CompilerStack.cpp.o
In file included from /Users/makoto/work/ethereum/solidity/libsolidity/interface/CompilerStack.cpp:49:
/Users/makoto/work/ethereum/solidity/libdevcore/JSON.h:33:15: error: 'StyledWriter' is deprecated: Use StreamWriterBuilder instead [-Werror,-Wdeprecated-declarations]
        return Json::StyledWriter().write(_input);
                     ^
/usr/local/include/json/writer.h:222:70: note: 'StyledWriter' has been explicitly marked deprecated here
class JSONCPP_DEPRECATED("Use StreamWriterBuilder instead") JSON_API StyledWriter : public Writer {
                                                                     ^
In file included from /Users/makoto/work/ethereum/solidity/libsolidity/interface/CompilerStack.cpp:49:
/Users/makoto/work/ethereum/solidity/libdevcore/JSON.h:39:8: error: 'FastWriter' is deprecated: Use StreamWriterBuilder instead [-Werror,-Wdeprecated-declarations]
        Json::FastWriter writer;
              ^
/usr/local/include/json/writer.h:163:70: note: 'FastWriter' has been explicitly marked deprecated here
class JSONCPP_DEPRECATED("Use StreamWriterBuilder instead") JSON_API FastWriter : public Writer {
                                                                     ^
[ 49%] Building CXX object libsolidity/CMakeFiles/solidity.dir/interface/ErrorReporter.cpp.o
2 errors generated.
make[2]: *** [libsolidity/CMakeFiles/solidity.dir/interface/CompilerStack.cpp.o] Error 1
make[2]: *** Waiting for unfinished jobs....
make[1]: *** [libsolidity/CMakeFiles/solidity.dir/all] Error 2
make: *** [all] Error 2
Failed to build

real	2m59.398s
user	4m44.409s
sys	0m17.777s
22:20:28-makoto~/work/ethereum/solidity (develop)$