diff options
| author | Camil Staps | 2018-07-04 10:07:47 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-07-04 10:07:47 +0200 |
| commit | 099cff51bb7f0c5ec9824bb21deafc6c33f3890c (patch) | |
| tree | a4802e12541e0de4d8e383aee7de100abb427c6b /Assignment2/src/Dockerfile | |
| parent | Hackfixes to get changebar right (diff) | |
Add docker image with storm+stormpy
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 |