Travis: set storm directory

7 years ago · 8d9494e1a4
1 changed files with 2 additions and 2 deletions
--- a/travis/build-helper.sh
+++ b/travis/build-helper.sh
@ -36,10 +36,10 @@ run() {
  travis_fold start build_stormpy
  case "$CONFIG" in
  Debug*)
    python setup.py build_ext --debug -j 1 develop
    python setup.py build_ext --storm-dir /opt/storm/build/ --debug -j 1 develop
    ;;
  *)
    python setup.py build_ext -j 1 develop
    python setup.py build_ext --storm-dir /opt/storm/build/ -j 1 develop
    ;;
  esac
  travis_fold end build_stormpy