diff options
Diffstat (limited to 'Assignment2/src/Dockerfile')
| -rw-r--r-- | Assignment2/src/Dockerfile | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/Assignment2/src/Dockerfile b/Assignment2/src/Dockerfile new file mode 100644 index 0000000..7e11986 --- /dev/null +++ b/Assignment2/src/Dockerfile @@ -0,0 +1,17 @@ +FROM movesrwth/storm:travis + +RUN apt-get update -qq &&\ + apt-get install -qq --no-install-recommends python3-setuptools python3-pip &&\ + pip3 install pytest + +RUN mkdir /opt/pycarl &&\ + cd /opt/pycarl &&\ + git clone https://github.com/moves-rwth/pycarl . &&\ + python3 setup.py build_ext --carl-dir /opt/carl develop &&\ + py.test tests + +RUN mkdir /opt/stormpy &&\ + cd /opt/stormpy &&\ + git clone https://github.com/moves-rwth/stormpy . &&\ + python3 setup.py build_ext --storm-dir /opt/storm/build develop &&\ + py.test tests |