Travis: fix installation of dependencies

4 years ago · 0751e27774
1 changed files with 1 additions and 1 deletions
--- 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