Dockerfile 428 Bytes
Newer Older
1
FROM movesrwth/stormpy:1.7.0
Matthias Volk's avatar
Matthias Volk committed
2
3
4
# Mirror of the following Docker container
# FROM movesrwth/stormpy:ci-release
MAINTAINER Thom Badings <thom.badings@ru.nl>
Matthias Volk's avatar
Matthias Volk committed
5
6
7
8
9
10


# Build Slurf
#############
RUN mkdir /opt/slurf
WORKDIR /opt/slurf
11
12
13
14
15
# Obtain requirements and install them
COPY requirements.txt requirements.txt
RUN pip install --no-cache-dir -r requirements.txt

# Only then install remainder
Matthias Volk's avatar
Matthias Volk committed
16
17
18
COPY . .
# Build
RUN python setup.py develop