diff --git a/dockerfile b/dockerfile index c8349c5..f2ab990 100644 --- a/dockerfile +++ b/dockerfile @@ -2,7 +2,7 @@ FROM movesrwth/storm-basesystem:ubuntu-22.04 as build #COPY ./tempest-devel /opt/tempest #COPY ./tempest-py /opt/tempestpy -COPY ./pycarl-2.0.4 /opt/pycarl +#COPY ./pycarl-2.0.4 /opt/pycarl #COPY ./carl /opt/carl # RUN rm -r /opt/tempest/.git @@ -61,6 +61,7 @@ RUN apt-get install -y python3-pip # build pycarl +RUN git clone -b 2.0.4 https://github.com/moves-rwth/pycarl.git /opt/pycarl WORKDIR /opt/pycarl RUN python setup.py build_ext -j $no_threads RUN pip install .