From 10934ae11e3b2f7ceda5ef3a5c0c1df8079a9739 Mon Sep 17 00:00:00 2001 From: sp Date: Mon, 23 Sep 2024 14:33:44 +0200 Subject: [PATCH] fixed carl commit ref --- dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dockerfile b/dockerfile index 886e142..c8349c5 100644 --- a/dockerfile +++ b/dockerfile @@ -18,7 +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 git clone -b 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