From 9399c0493587fafa33f4566397c44747c1d45a10 Mon Sep 17 00:00:00 2001 From: sp Date: Mon, 10 Feb 2025 16:07:58 +0100 Subject: [PATCH] fix branch for tempest source --- dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dockerfile b/dockerfile index 51f062c..c3a5e55 100644 --- a/dockerfile +++ b/dockerfile @@ -16,7 +16,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 -b tempestpy_adaptions https://git.pranger.xyz/sp/tempest.git /opt/tempest +RUN git clone -b main https://git.pranger.xyz/sp/tempest.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