From e33ef1f8f2953a6fd676ab5c04fefa3e2201d7ad Mon Sep 17 00:00:00 2001 From: sp Date: Mon, 23 Sep 2024 14:11:14 +0200 Subject: [PATCH] tempest repos are now public --- dockerfile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/dockerfile b/dockerfile index 7b252c4..f892b53 100644 --- a/dockerfile +++ b/dockerfile @@ -1,6 +1,7 @@ FROM movesrwth/storm-basesystem:ubuntu-22.04 as build -COPY ./tempest-devel /opt/tempest +#COPY ./tempest-devel /opt/tempest +#COPY ./tempest-py /opt/tempestpy COPY ./pycarl-2.0.4 /opt/pycarl COPY ./carl /opt/carl @@ -23,6 +24,7 @@ RUN cmake .. -DCMAKE_BUILD_TYPE=Release -DUSE_CLN_NUMBERS=ON -DUSE_GINAC=ON RUN make lib_carl -j $no_threads # Build tempest +RUN git clone https://git.pranger.xyz/TEMPEST/tempest-devel.git /opt/tempest RUN mkdir -p /opt/tempest/build WORKDIR /opt/tempest/build RUN cmake .. -DCMAKE_BUILD_TYPE=Release -DSTORM_DEVELOPER=OFF -DSTORM_LOG_DISABLE_DEBUG=ON -DSTORM_PORTABLE=OFF -DSTORM_USE_SPOT_SHIPPED=ON @@ -56,7 +58,6 @@ ENV PATH="$VIRTUAL_ENV/bin:$PATH" RUN apt-get install -y python3-pip -COPY ./tempest-py /opt/tempestpy # build pycarl WORKDIR /opt/pycarl @@ -64,6 +65,7 @@ RUN python setup.py build_ext -j $no_threads RUN pip install . # build tempestpy +RUN git clone https://git.pranger.xyz/TEMPEST/tempest-py.git /opt/tempestpy WORKDIR /opt/tempestpy RUN python3 setup.py build_ext --storm-dir /opt/tempest/ -j $no_threads develop