blob: 39b3c34a25b0ba38bf3f0fe238b5047efe7a854b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
FROM movesrwth/storm:travis
RUN apt-get update -qq &&\
apt-get install -qq --no-install-recommends z3 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
RUN apt-get update -qq &&\
apt-get install -qq --no-install-recommends curl &&\
mkdir /opt/clean &&\
curl https://ftp.cs.ru.nl/Clean/builds/linux-x64/clean-bundle-complete-linux-x64-latest.tgz |\
tar xzv --strip-components=1 --directory=/opt/clean
ENV CLEAN_HOME=/opt/clean
ENV PATH=$PATH:/opt/storm/build/bin:/opt/clean/bin:/opt/clean/exe
COPY DTMC.dcl DTMC.icl Z3.dcl Z3.icl Expression.dcl Expression.icl /tmp/
RUN cd /tmp; clm -tst -ms -b -nt -IL Platform DTMC -o /opt/dtmc
ENTRYPOINT ["/src/repair.sh"]
|
