From 0751e27774e71a10c18782660e4627203a9b256b Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 12 Oct 2020 13:23:59 +0200
Subject: [PATCH] Travis: fix installation of dependencies

---
 travis/build-helper.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/travis/build-helper.sh b/travis/build-helper.sh
index aae3025..80af5ed 100755
--- a/travis/build-helper.sh
+++ b/travis/build-helper.sh
@@ -74,7 +74,7 @@ run() {
   then
     # Install dependencies for documentation
     apt-get install -qq -y pandoc
-    python setup.py easy_install "stormpy[doc]"
+    pip install -e ".[doc]"
     # Generate documentation
     cd doc
     make html