Commit 7cfd9031 authored by Alexander Palmisano's avatar Alexander Palmisano
Browse files

updated dockerfile

parent 41db9cb3
......@@ -34,7 +34,7 @@ ENV STORMPY_DIR /opt/stormpy/
RUN git clone https://github.com/moves-rwth/stormpy.git $STORMPY_DIR \
&& cd $STORMPY_DIR \
&& git checkout 1.6.0
&& git checkout 1.6.2
RUN cd $STORMPY_DIR \
&& python3 setup.py develop
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment