0

Mac Os: Catalina 10.15.1 Z3 Version: 4.8.5 boost Version: 1.71.0 CMake Version: 3.15.5 When I installed solidity 0.5.13 by CMD: brew install solidity, I received : ==> Installing solidity from ethereum/ethereum ==> Downloading https://github.com/ethereum/solidity/releases/download/v0.5.13/solidity_0.5.13.tar.gz Already downloaded: /Users/programmerc/Library/Caches/Homebrew/downloads/10d4ef01a7a6c544f5ac03c9e5ee6c5696d50553003261ad062b07074e2ddc06--solidity_0.5.13.tar.gz ==> cmake . -DCMAKE_C_FLAGS_RELEASE=-DNDEBUG -DCMAKE_CXX_FLAGS_RELEASE=-DNDEBUG -DCMAKE_INSTALL_PREFIX=/usr/local/Cellar/solidity/0.5.13 -DCMA ==> make install Last 15 lines from /Users/programmerc/Library/Logs/Homebrew/solidity/02.make: ^ /Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/memory:4334:28: error: assigning to 'std::__1::__shared_weak_count *' from incompatible type 'std::__1::unique_ptr, std::__1::__allocator_destructor > > >::pointer' (aka 'std::__1::__shared_ptr_emplace *') __r._cntrl = __hold2.release();

/Library/Developer/CommandLineTools/usr/bin/../include/c++/v1/memory:4710:29: note: in instantiation of function template specialization 'std::__1::shared_ptrdev::solidity::smt::Z3CHCInterface::make_shared<>' requested here
return shared_ptr<_Tp>::make_shared(_VSTD::forward<_Args>(__args)...);
^
/tmp/solidity-20191204-8571-1u5ejd5/solidity_0.5.13/libsolidity/formal/CHC.cpp:42:14: note: in instantiation of function template specialization 'std::__1::make_shareddev::solidity::smt::Z3CHCInterface' requested here
m_interface(make_sharedsmt::Z3CHCInterface()),
^
3 errors generated.
make[2]: *** [libsolidity/CMakeFiles/solidity.dir/formal/CHC.cpp.o] Error 1
make[2]: *** Waiting for unfinished jobs....
make[1]: *** [libsolidity/CMakeFiles/solidity.dir/all] Error 2
make: *** [all] Error 2

If reporting this issue please do so at (not Homebrew/brew or Homebrew/core):
https://github.com/ethereum/homebrew-ethereum/issues

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.