CuPAAL/Dockerfile at main · AAU-Dat/CuPAAL · GitHub

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
32
33
34
35
36
37
38
39
40
FROM movesrwth/stormpy:1.9.0 AS prep
LABEL authors="runge"
ARG BUILD_JOBS=4

RUN pip install numpy==1.26.0 && \
    pip install scipy==1.11.2 && \
    pip install alive-progress==3.1.4 && \
    pip install sympy==1.12 && \
    pip install matplotlib==3.8.1 && \
    pip install pandas==2.2.3

WORKDIR /opt
RUN git clone https://github.com/Rapfff/jajapy.git

WORKDIR /opt/jajapy
RUN python setup.py build_ext -j $BUILD_JOBS develop

#WORKDIR /
#RUN git clone https://github.com/AAU-Dat/CuPAAL.git
WORKDIR /CuPAAL
COPY . .

WORKDIR /CuPAAL/build
RUN cmake .. && make -j$BUILD_JOBS

# run the experiments
# multistage only used to avoid rebuilding dependencies
FROM prep AS experiment
ENV PRISM_FILE=models/accuracy_experiment/dtmc/leader_sync.4-3.v1.prism

COPY $PRISM_FILE $PRISM_FILE
COPY --chmod=755 entrypoint.sh .
COPY jajapy_part.py .
ENTRYPOINT ["./entrypoint.sh"]

#ENTRYPOINT [ "./CuPAAL", "-o", "../results/calculated_model.txt", "-r", "../results/data.csv" ]
#CMD [ "-m", "../cupaal_model.txt", "-s", "../cupaal_training_set.txt" ]

#ENTRYPOINT ["sh", "-c", "ls && sleep infinity"]
#ENTRYPOINT [ "sh", "-c", "echo 'Hello from inside the container!' > /results/output.txt && sleep infinity" ]