summaryrefslogtreecommitdiff
path: root/Assignment2/src/Dockerfile
blob: 03ff7ea8985e6e59450e0055f1ffd6d1b08e1e82 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
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

ENV PATH=$PATH:/opt/storm/build/bin
ENTRYPOINT cd /src; bash