search

ethereum / solidity

Solidity, the Smart Contract Programming Language
https://soliditylang.org
GNU General Public License v3.0
23.3k stars 5.77k forks source link

Multiple Boost versions on Ubuntu 18 #6275

Closed wbdeedcoin closed 4 years ago

wbdeedcoin commented 5 years ago

I'd like to request support for finding the newest version of Boost on Ubuntu 18. After upgrading from 16.04 Cmake can never find Boost 1.65. I know its installed. But I don't know how to get Cmake to find it. It only finds my old Boost 1.61 version in

solidity/cmake/EthDependencies.cmake

currently compiling Boost 1.65 to /usr/ hopefully this fixes it and Cmake finds it.

chriseth commented 5 years ago

This is a little unfortunate, but cmake has boost versions baked in - so an old cmake version will never find a new boost library. What is your cmake version?

wbdeedcoin commented 5 years ago

warren@dev:~/.../BUGS/solidity/build$ cmake --version cmake version 3.10.2

CMake suite maintained and supported by Kitware (kitware.com/cmake).

wbdeedcoin commented 5 years ago

This is a little unfortunate, but cmake has boost versions baked in - so an old cmake version will never find a new boost library. What is your cmake version?

I just installed Boost 1.65 to /usr/ and recompiled cmake from source. It didn't find my newer version of boost. Could you possible point me in the right direction? I know this is turning into tech support rather than a pull request. So if there is something simple that would get me going then cool. If not don't worry about it.

chriseth commented 5 years ago

I still do not understand the full extent of this issue. Do you want to compile solidity at all or with a specific version of boost? We know that compilation should work on Ubuntu 18, because we build it there successfully as part of the PPA release process: https://launchpadlibrarian.net/415000931/buildlog_ubuntu-bionic-amd64.solc_1%3A0.5.6-0ubuntu1~bionic_BUILDING.txt.gz

wbdeedcoin commented 5 years ago

Basically I have Boost 1.61 and Boost 1.65 and Cmake is all shrugs when trying to compile solidity

chriseth commented 5 years ago

Ah ok! Sorry that it took me so long.

You could try setting some of the variables mentioned in the section This module reads hints about search locations from variables of https://cmake.org/cmake/help/v3.10/module/FindBoost.html

I.e.

cmake .. -DBOOST_ROOT=/my/local/boost/installation -DBOOST_INCLUDEDIR=/usr/local/include/...
wbdeedcoin commented 5 years ago

Well I got 60% of the way there ....

> warren@dev:~/.../BUGS/solidity/build$ /usr/local/bin/cmake -DBOOST_ROOT=/usr/include/ -DBOOST_INCLUDE_DIR=/usr/include/boost/ .. && make
> -- boost version: 106900
> -- boost headers: /usr/include/include
> -- boost lib   : /usr/include/lib/libboost_regex.a;/usr/include/lib/libboost_filesystem.a;/usr/include/lib/libboost_unit_test_framework.a;/usr/include/lib/libboost_program_options.a;/usr/include/lib/libboost_system.a
> 
> ------------------------------------------------------------------------
> -- Configuring solidity
> ------------------------------------------------------------------------
> --                  CMake Version                            3.14.0-rc4
> -- CMAKE_BUILD_TYPE Build type                               
> -- TARGET_PLATFORM  Target platform                          Linux
> --------------------------------------------------------------- features
> -- COVERAGE         Coverage support                         OFF
> ------------------------------------------------------------- components
> -- TESTS            Build tests                              ON
> ------------------------------------------------------------------------
> 
> Z3 SMT solver found. This enables optional SMT checking with Z3.
> -- Configuring done
> -- Generating done
> -- Build files have been written to: /home/warren/Projects/BUGS/solidity/build
> Scanning dependencies of target solidity_BuildInfo.h
> [  0%] Built target solidity_BuildInfo.h
> Scanning dependencies of target jsoncpp-project
> [  1%] Creating directories for 'jsoncpp-project'
> [  1%] Performing download step (download, verify and extract) for 'jsoncpp-project'
> -- Downloading...
>    dst='/home/warren/Projects/BUGS/solidity/deps/downloads/jsoncpp-1.8.4.tar.gz'
>    timeout='none'
> -- Using src='https://github.com/open-source-parsers/jsoncpp/archive/1.8.4.tar.gz'
> -- [download 0% complete]
> -- [download 100% complete]
> -- verifying file...
>        file='/home/warren/Projects/BUGS/solidity/deps/downloads/jsoncpp-1.8.4.tar.gz'
> -- Downloading... done
> -- extracting...
>      src='/home/warren/Projects/BUGS/solidity/deps/downloads/jsoncpp-1.8.4.tar.gz'
>      dst='/home/warren/Projects/BUGS/solidity/build/deps/src/jsoncpp-project'
> -- extracting... [tar xfz]
> -- extracting... [analysis]
> -- extracting... [rename]
> -- extracting... [clean up]
> -- extracting... done
> [  2%] No patch step for 'jsoncpp-project'
> [  2%] No update step for 'jsoncpp-project'
> [  2%] Performing configure step for 'jsoncpp-project'
> -- The C compiler identification is GNU 7.3.0
> -- The CXX compiler identification is GNU 7.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
> -- JsonCpp Version: 1.8.4
> -- Looking for C++ include clocale
> -- Looking for C++ include clocale - found
> -- Looking for localeconv
> -- Looking for localeconv - found
> -- Looking for C++ include sys/types.h
> -- Looking for C++ include sys/types.h - found
> -- Looking for C++ include stdint.h
> -- Looking for C++ include stdint.h - found
> -- Looking for C++ include stddef.h
> -- Looking for C++ include stddef.h - found
> -- Check size of lconv
> -- Check size of lconv - done
> -- Performing Test HAVE_DECIMAL_POINT
> -- Performing Test HAVE_DECIMAL_POINT - Success
> -- Configuring done
> -- Generating done
> -- Build files have been written to: /home/warren/Projects/BUGS/solidity/build/deps/src/jsoncpp-project-build
> [  3%] Performing build step for 'jsoncpp-project'
> Scanning dependencies of target jsoncpp_lib_static
> [ 25%] Building CXX object src/lib_json/CMakeFiles/jsoncpp_lib_static.dir/json_reader.cpp.o
> [ 50%] Building CXX object src/lib_json/CMakeFiles/jsoncpp_lib_static.dir/json_value.cpp.o
> [ 75%] Building CXX object src/lib_json/CMakeFiles/jsoncpp_lib_static.dir/json_writer.cpp.o
> [100%] Linking CXX static library libjsoncpp.a
> [100%] Built target jsoncpp_lib_static
> [  3%] Performing install step for 'jsoncpp-project'
> [100%] Built target jsoncpp_lib_static
> Install the project...
> -- Install configuration: "Release"
> -- Installing: /home/warren/Projects/BUGS/solidity/build/deps/lib/libjsoncpp.a
> -- Installing: /home/warren/Projects/BUGS/solidity/build/deps/include/json/allocator.h
> -- Installing: /home/warren/Projects/BUGS/solidity/build/deps/include/json/assertions.h
> -- Installing: /home/warren/Projects/BUGS/solidity/build/deps/include/json/autolink.h
> -- Installing: /home/warren/Projects/BUGS/solidity/build/deps/include/json/config.h
> -- Installing: /home/warren/Projects/BUGS/solidity/build/deps/include/json/features.h
> -- Installing: /home/warren/Projects/BUGS/solidity/build/deps/include/json/forwards.h
> -- Installing: /home/warren/Projects/BUGS/solidity/build/deps/include/json/json.h
> -- Installing: /home/warren/Projects/BUGS/solidity/build/deps/include/json/reader.h
> -- Installing: /home/warren/Projects/BUGS/solidity/build/deps/include/json/value.h
> -- Installing: /home/warren/Projects/BUGS/solidity/build/deps/include/json/version.h
> -- Installing: /home/warren/Projects/BUGS/solidity/build/deps/include/json/writer.h
> [  4%] Completed 'jsoncpp-project'
> [  4%] Built target jsoncpp-project
> Scanning dependencies of target devcore
> [  4%] Building CXX object libdevcore/CMakeFiles/devcore.dir/CommonData.cpp.o
> [  4%] Building CXX object libdevcore/CMakeFiles/devcore.dir/CommonIO.cpp.o
> [  5%] Building CXX object libdevcore/CMakeFiles/devcore.dir/Exceptions.cpp.o
> [  5%] Building CXX object libdevcore/CMakeFiles/devcore.dir/IndentedWriter.cpp.o
> [  6%] Building CXX object libdevcore/CMakeFiles/devcore.dir/JSON.cpp.o
> [  6%] Building CXX object libdevcore/CMakeFiles/devcore.dir/Keccak256.cpp.o
> [  6%] Building CXX object libdevcore/CMakeFiles/devcore.dir/StringUtils.cpp.o
> [  7%] Building CXX object libdevcore/CMakeFiles/devcore.dir/SwarmHash.cpp.o
> [  7%] Building CXX object libdevcore/CMakeFiles/devcore.dir/UTF8.cpp.o
> [  8%] Building CXX object libdevcore/CMakeFiles/devcore.dir/Whiskers.cpp.o
> [  8%] Linking CXX static library libdevcore.a
> [  8%] Built target devcore
> Scanning dependencies of target langutil
> [  8%] Building CXX object liblangutil/CMakeFiles/langutil.dir/CharStream.cpp.o
> [  8%] Building CXX object liblangutil/CMakeFiles/langutil.dir/ErrorReporter.cpp.o
> [  9%] Building CXX object liblangutil/CMakeFiles/langutil.dir/Exceptions.cpp.o
> [  9%] Building CXX object liblangutil/CMakeFiles/langutil.dir/ParserBase.cpp.o
> [ 10%] Building CXX object liblangutil/CMakeFiles/langutil.dir/Scanner.cpp.o
> [ 10%] Building CXX object liblangutil/CMakeFiles/langutil.dir/SourceReferenceExtractor.cpp.o
> [ 10%] Building CXX object liblangutil/CMakeFiles/langutil.dir/SourceReferenceFormatter.cpp.o
> [ 11%] Building CXX object liblangutil/CMakeFiles/langutil.dir/SourceReferenceFormatterHuman.cpp.o
> [ 11%] Building CXX object liblangutil/CMakeFiles/langutil.dir/Token.cpp.o
> [ 12%] Linking CXX static library liblangutil.a
> [ 12%] Built target langutil
> Scanning dependencies of target evmasm
> [ 12%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/Assembly.cpp.o
> [ 13%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/AssemblyItem.cpp.o
> [ 13%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/BlockDeduplicator.cpp.o
> [ 14%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/CommonSubexpressionEliminator.cpp.o
> [ 14%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/ConstantOptimiser.cpp.o
> [ 14%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/ControlFlowGraph.cpp.o
> [ 15%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/ExpressionClasses.cpp.o
> [ 15%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/GasMeter.cpp.o
> [ 16%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/Instruction.cpp.o
> [ 16%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/JumpdestRemover.cpp.o
> [ 16%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/KnownState.cpp.o
> [ 17%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/LinkerObject.cpp.o
> [ 17%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/PathGasMeter.cpp.o
> [ 18%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/PeepholeOptimiser.cpp.o
> [ 18%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/SemanticInformation.cpp.o
> [ 18%] Building CXX object libevmasm/CMakeFiles/evmasm.dir/SimplificationRules.cpp.o
> [ 19%] Linking CXX static library libevmasm.a
> [ 19%] Built target evmasm
> Scanning dependencies of target yul
> [ 19%] Building CXX object libyul/CMakeFiles/yul.dir/AsmAnalysis.cpp.o
> [ 20%] Building CXX object libyul/CMakeFiles/yul.dir/AsmParser.cpp.o
> [ 20%] Building CXX object libyul/CMakeFiles/yul.dir/AsmPrinter.cpp.o
> [ 21%] Building CXX object libyul/CMakeFiles/yul.dir/AsmScope.cpp.o
> [ 21%] Building CXX object libyul/CMakeFiles/yul.dir/AsmScopeFiller.cpp.o
> [ 21%] Building CXX object libyul/CMakeFiles/yul.dir/AssemblyStack.cpp.o
> [ 22%] Building CXX object libyul/CMakeFiles/yul.dir/CompilabilityChecker.cpp.o
> [ 22%] Building CXX object libyul/CMakeFiles/yul.dir/Object.cpp.o
> [ 23%] Building CXX object libyul/CMakeFiles/yul.dir/ObjectParser.cpp.o
> [ 23%] Building CXX object libyul/CMakeFiles/yul.dir/Utilities.cpp.o
> [ 23%] Building CXX object libyul/CMakeFiles/yul.dir/backends/evm/AsmCodeGen.cpp.o
> [ 24%] Building CXX object libyul/CMakeFiles/yul.dir/backends/evm/EVMAssembly.cpp.o
> [ 24%] Building CXX object libyul/CMakeFiles/yul.dir/backends/evm/EVMCodeTransform.cpp.o
> [ 25%] Building CXX object libyul/CMakeFiles/yul.dir/backends/evm/EVMDialect.cpp.o
> [ 25%] Building CXX object libyul/CMakeFiles/yul.dir/backends/evm/EVMObjectCompiler.cpp.o
> [ 25%] Building CXX object libyul/CMakeFiles/yul.dir/backends/evm/NoOutputAssembly.cpp.o
> [ 26%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/ASTCopier.cpp.o
> [ 26%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/ASTWalker.cpp.o
> [ 27%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/BlockFlattener.cpp.o
> [ 27%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/CommonSubexpressionEliminator.cpp.o
> [ 27%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/DataFlowAnalyzer.cpp.o
> [ 28%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/Disambiguator.cpp.o
> [ 28%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/EquivalentFunctionDetector.cpp.o
> [ 29%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/EquivalentFunctionCombiner.cpp.o
> [ 29%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/ExpressionInliner.cpp.o
> [ 29%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/ExpressionJoiner.cpp.o
> [ 30%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/ExpressionSimplifier.cpp.o
> [ 30%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/ExpressionSplitter.cpp.o
> [ 31%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/ForLoopInitRewriter.cpp.o
> [ 31%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/FullInliner.cpp.o
> [ 31%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/FunctionGrouper.cpp.o
> [ 32%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/FunctionHoister.cpp.o
> [ 32%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/InlinableExpressionFunctionFinder.cpp.o
> [ 33%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/MainFunction.cpp.o
> [ 33%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/Metrics.cpp.o
> [ 33%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/NameCollector.cpp.o
> [ 34%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/NameDispenser.cpp.o
> [ 34%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/OptimizerUtilities.cpp.o
> [ 35%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/RedundantAssignEliminator.cpp.o
> [ 35%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/Rematerialiser.cpp.o
> [ 35%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/SSAReverser.cpp.o
> [ 36%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/SSATransform.cpp.o
> [ 36%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/SSAValueTracker.cpp.o
> [ 37%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/Semantics.cpp.o
> [ 37%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/SimplificationRules.cpp.o
> [ 37%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/StackCompressor.cpp.o
> [ 38%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/StructuralSimplifier.cpp.o
> [ 38%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/Substitution.cpp.o
> [ 39%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/Suite.cpp.o
> [ 39%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/SyntacticalEquality.cpp.o
> [ 39%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/UnusedPruner.cpp.o
> [ 40%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/VarDeclInitializer.cpp.o
> [ 40%] Building CXX object libyul/CMakeFiles/yul.dir/optimiser/VarNameCleaner.cpp.o
> [ 41%] Linking CXX static library libyul.a
> [ 41%] Built target yul
> Scanning dependencies of target solidity
> [ 41%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/ConstantEvaluator.cpp.o
> [ 42%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/ContractLevelChecker.cpp.o
> [ 42%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowAnalyzer.cpp.o
> [ 42%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowBuilder.cpp.o
> [ 43%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/ControlFlowGraph.cpp.o
> [ 43%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/DeclarationContainer.cpp.o
> [ 44%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/DocStringAnalyser.cpp.o
> [ 44%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/GlobalContext.cpp.o
> [ 44%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/NameAndTypeResolver.cpp.o
> [ 45%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/PostTypeChecker.cpp.o
> [ 45%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/ReferencesResolver.cpp.o
> [ 46%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/SemVerHandler.cpp.o
> [ 46%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/StaticAnalyzer.cpp.o
> [ 46%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/SyntaxChecker.cpp.o
> [ 47%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/TypeChecker.cpp.o
> [ 47%] Building CXX object libsolidity/CMakeFiles/solidity.dir/analysis/ViewPureChecker.cpp.o
> [ 48%] Building CXX object libsolidity/CMakeFiles/solidity.dir/ast/AST.cpp.o
> [ 48%] Building CXX object libsolidity/CMakeFiles/solidity.dir/ast/ASTAnnotations.cpp.o
> [ 48%] Building CXX object libsolidity/CMakeFiles/solidity.dir/ast/ASTJsonConverter.cpp.o
> [ 49%] Building CXX object libsolidity/CMakeFiles/solidity.dir/ast/ASTPrinter.cpp.o
> [ 49%] Building CXX object libsolidity/CMakeFiles/solidity.dir/ast/Types.cpp.o
> [ 50%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/ABIFunctions.cpp.o
> [ 50%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/ArrayUtils.cpp.o
> [ 50%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/Compiler.cpp.o
> [ 51%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/CompilerContext.cpp.o
> [ 51%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/CompilerUtils.cpp.o
> [ 52%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/ContractCompiler.cpp.o
> [ 52%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/ExpressionCompiler.cpp.o
> [ 52%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/LValue.cpp.o
> [ 53%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/MultiUseYulFunctionCollector.cpp.o
> [ 53%] Building CXX object libsolidity/CMakeFiles/solidity.dir/codegen/YulUtilFunctions.cpp.o
> [ 54%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/SMTChecker.cpp.o
> [ 54%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/SMTLib2Interface.cpp.o
> [ 54%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/SMTPortfolio.cpp.o
> [ 55%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/SSAVariable.cpp.o
> [ 55%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/SymbolicTypes.cpp.o
> [ 56%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/SymbolicVariables.cpp.o
> [ 56%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/VariableUsage.cpp.o
> [ 56%] Building CXX object libsolidity/CMakeFiles/solidity.dir/interface/ABI.cpp.o
> [ 57%] Building CXX object libsolidity/CMakeFiles/solidity.dir/interface/CompilerStack.cpp.o
> [ 57%] Building CXX object libsolidity/CMakeFiles/solidity.dir/interface/GasEstimator.cpp.o
> [ 58%] Building CXX object libsolidity/CMakeFiles/solidity.dir/interface/Natspec.cpp.o
> [ 58%] Building CXX object libsolidity/CMakeFiles/solidity.dir/interface/StandardCompiler.cpp.o
> [ 58%] Building CXX object libsolidity/CMakeFiles/solidity.dir/interface/Version.cpp.o
> [ 59%] Building CXX object libsolidity/CMakeFiles/solidity.dir/parsing/DocStringParser.cpp.o
> [ 59%] Building CXX object libsolidity/CMakeFiles/solidity.dir/parsing/Parser.cpp.o
> [ 60%] Building CXX object libsolidity/CMakeFiles/solidity.dir/formal/Z3Interface.cpp.o
> /home/warren/Projects/BUGS/solidity/libsolidity/formal/Z3Interface.cpp: In member function ‘z3::expr dev::solidity::smt::Z3Interface::toZ3Expr(const dev::solidity::smt::Expression&)’:
> /home/warren/Projects/BUGS/solidity/libsolidity/formal/Z3Interface.cpp:166:14: error: ‘mod’ is not a member of ‘z3’
>    return z3::mod(arguments[0], arguments[1]);
>               ^~~
> /home/warren/Projects/BUGS/solidity/libsolidity/formal/Z3Interface.cpp:166:14: note: suggested alternative: ‘cond’
>    return z3::mod(arguments[0], arguments[1]);
>               ^~~
>               cond
> libsolidity/CMakeFiles/solidity.dir/build.make:660: recipe for target 'libsolidity/CMakeFiles/solidity.dir/formal/Z3Interface.cpp.o' failed
> make[2]: *** [libsolidity/CMakeFiles/solidity.dir/formal/Z3Interface.cpp.o] Error 1
> CMakeFiles/Makefile2:394: recipe for target 'libsolidity/CMakeFiles/solidity.dir/all' failed
> make[1]: *** [libsolidity/CMakeFiles/solidity.dir/all] Error 2
> Makefile:129: recipe for target 'all' failed
> make: *** [all] Error 2
> 
>
chriseth commented 5 years ago

It seems that now you are using an outdated version of z3. You can try cvc4 instead or just disable both of them.

axic commented 4 years ago

Perhaps we want to document https://github.com/ethereum/solidity/issues/6275#issuecomment-472921056

leonardoalt commented 4 years ago

@axic is this still valid?

axic commented 4 years ago

I have no idea.

viteshan commented 3 years ago

cmake -DBoost_FOUND=0 -DBOOST_ROOT=/usr/local/Cellar/boost/1.67.0_1 ..

I tried this and it works.