blob: 7e11986177db3c1ef4dc152e8ed0d65722e4921f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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
|