From 54d5f731d775b5f9aa8cf76f785b67f42e4037f3 Mon Sep 17 00:00:00 2001 From: sp Date: Mon, 23 Sep 2024 14:30:51 +0200 Subject: [PATCH] clone carl from github --- dockerfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/dockerfile b/dockerfile index 36ef2f2..886e142 100644 --- a/dockerfile +++ b/dockerfile @@ -3,7 +3,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 ./carl /opt/carl +#COPY ./carl /opt/carl # RUN rm -r /opt/tempest/.git # RUN rm -r /opt/tempestpy/.git @@ -18,6 +18,7 @@ RUN apt-get install -y python3.10 ARG no_threads=6 # Build carl +RUN git clone -b tags/c++14-22.01 https://github.com/ths-rwth/carl.git /opt/carl RUN mkdir -p /opt/carl/build WORKDIR /opt/carl/build RUN cmake .. -DCMAKE_BUILD_TYPE=Release -DUSE_CLN_NUMBERS=ON -DUSE_GINAC=ON