From f512d2e274b438c516627485f1abf9ea5a1bbe24 Mon Sep 17 00:00:00 2001 From: Daniel Larraz Date: Tue, 11 Jun 2024 21:47:09 -0500 Subject: [PATCH] Fix download of cvc5 in Dockerfile --- docker/Dockerfile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index 9f950a684..21d5f3313 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -31,8 +31,9 @@ RUN wget -qq https://yices.csl.sri.com/releases/2.6.4/yices-2.6.4-x86_64-pc-linu RUN wget -qq https://github.com/loonwerks/jkind/releases/download/v4.5.2/jkind-4.5.2.zip && unzip jkind-4.5.2.zip \ && cp ./jkind/jkind ./jkind/*.jar /bin/ \ && rm -rf jkind* \ - && wget -qq https://github.com/cvc5/cvc5/releases/latest/download/cvc5-Linux -O cvc5 \ - && mv cvc5 /bin/ \ + && wget -qq https://github.com/cvc5/cvc5/releases/download/cvc5-1.1.1/cvc5-Linux-static.zip && unzip cvc5-Linux-static.zip \ + && cp ./cvc5-Linux-static/bin/cvc5 /bin \ + && rm -rf cvc5-Linux-static \ && chmod a+x /bin/cvc5 \ && echo Success || true