update Dockerfile

Dockerfile

@@ -19,4 +19,7 @@ WORKDIR /opt/paynt/payntbind
 RUN python setup.py build_ext $setup_args -j $no_threads develop
 
 # install paynt
+WORKDIR /opt/paynt
 RUN pip install -e .
+
+# TODO tests

install.sh

@@ -18,7 +18,7 @@ sudo apt -y install maven uuid-dev python3-dev libffi-dev libssl-dev python3-pip
 # prerequisites
 mkdir -p ${PAYNT_ROOT}/prerequisites
 
-# cvc5-build (optional)
+# build cvc5 (optional)
 # cd ${PAYNT_ROOT}/prerequisites
 # git clone --depth 1 --branch cvc5-1.0.0 https://github.com/cvc5/cvc5.git cvc5
 # cd ${PAYNT_ROOT}/prerequisites/cvc5
@@ -29,7 +29,7 @@ mkdir -p ${PAYNT_ROOT}/prerequisites
 # make install
 # deactivate
 
-# storm
+# build storm
 cd ${PAYNT_ROOT}/prerequisites
 git clone https://github.com/moves-rwth/storm.git storm
 # git clone --branch stable https://github.com/moves-rwth/storm.git storm
@@ -39,29 +39,33 @@ cmake ..
 make storm-main storm-pomdp --jobs ${COMPILE_JOBS}
 # make check --jobs ${COMPILE_JOBS}
 
-
-# python-environment
+# setup python environment
 python3 -m venv ${PAYNT_ROOT}/env
 source ${PAYNT_ROOT}/env/bin/activate
 pip3 install pytest pytest-runner pytest-cov numpy scipy toml Cython scikit-build
-pip3 install graphviz pysmt z3-solver click
 
-# pycarl-build
+# build pycarl
 cd ${PAYNT_ROOT}/prerequisites
 git clone https://github.com/moves-rwth/pycarl.git pycarl
 cd ${PAYNT_ROOT}/prerequisites/pycarl
 python3 setup.py build_ext --jobs ${COMPILE_JOBS} develop
 #[TEST] python3 setup.py test
 
-# stormpy-build
+# build stormpy
 cd ${PAYNT_ROOT}/prerequisites
 git clone https://github.com/moves-rwth/stormpy.git stormpy
 # git clone --branch stable https://github.com/moves-rwth/stormpy.git stormpy
 cd ${PAYNT_ROOT}/prerequisites/stormpy
 python3 setup.py build_ext --jobs ${COMPILE_JOBS} develop
 # python3 setup.py build_ext --storm-dir ${PAYNT_ROOT}/prerequisites/storm/build --jobs ${COMPILE_JOBS} develop
 # python3 setup.py test
-deactivate
+
+# build paynt
+pip3 install click z3-solver graphviz
+sudo apt -y install graphviz
+cd ${PAYNT_ROOT}/payntbind
+python3 setup.py build_ext --jobs ${COMPILE_JOBS} develop
 
 # done
 cd ${PAYNT_ROOT}
+deactivate