-
Notifications
You must be signed in to change notification settings - Fork 1
manticore_setup
The Manticore development team strongly recommends using Ubuntu 16.04.
If you don't plan on re-installing your host or using a cloud machine you should consider purchasing VMWare workstation for windows or VMWare workstation for macOS. As an alternative to paid products on Windows, VMWare makes available VMWare player, but it comes with limitations such as only allowing one virtual machine to run at a time.
Manticore is compatible with solc versions 0.4.18 and 0.4.21.
To clone the repository containing solc execute the following command:
git clone git@github.com:ethereum/solidity.git
Once cloned check out the tagged branch corresponding to the version of your choosing. You can list the tagged releases with git tag. To check one out execute the git checkout <tag> command for example
git checkout v0.4.21
There are subrepositories in the solidity repository. Before building make sure to check them out with
git submodule update --init --recursive
In the solidity repository there is a folder called ./scripts with install_deps.sh inside. Running install_deps.sh will install of solidities dependencies.
Solidity uses the cmake build system. To build this project execute the following commands from the root directory.
mkdir build
cd build
cmake ..
make
The most frequent source of headaches is going to be the initialization of subrepositories so make sure you do that religiously especially after switching between tagged releases with git checkout.
Once you've successfully built solc install it with make install. Verify you've installed the correct version by running solc --version from your home directory.
Manticore is a straightforward to install: pip install manticore. If you want the latest and greatest code or you want to test if a bug has been resolved upstream clone the repository with git clone https://github.com/trailofbits/manticore. Install it with by running sudo python setup.py install in the projects root folder.
At this point you should be able to run manticore --version successfully from your home directory.