From a3e1d71018e79c5e20c925715ec4aae52da8f505 Mon Sep 17 00:00:00 2001
From: "Dr. Sergey Pogodin" <dr.pogodin@gmail.com>
Date: Sun, 8 Apr 2018 18:36:19 +0200
Subject: [PATCH] Fix of CI/CD

---
 .circleci/config.yml | 8 ++++++++
 requirements.txt     | 1 +
 2 files changed, 9 insertions(+)

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