diff --git a/.circleci/config.yml b/.circleci/config.yml index 2a9de15e..807e6c33 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -10,10 +10,18 @@ jobs: - checkout: path: /home/mythril + # Uncomment, for local testing with circleci command, as it ignores + # path param in checkout command, and this symlink compenstates for that. + # - run: ln -s /root/project /home/mythril + - run: name: Installing mythril tools command: cd /home && ./install-mythril-tools.sh laser-ethereum + - run: + name: Install dependencies, in case any are missing in Docker image + command: pip3 install -r /home/mythril/requirements.txt + - run: background: true name: Launch of background geth instance diff --git a/requirements.txt b/requirements.txt index b6adcaf3..d517f1f8 100644 --- a/requirements.txt +++ b/requirements.txt @@ -4,6 +4,7 @@ z3-solver>=4.5 laser-ethereum>=0.5.20 requests BTrees +plyvel py-solc eth_abi>=1.0.0 eth-utils>=1.0.1