Fix download of cvc5 in Dockerfile

kind2-mc · Jun 12, 2024 · f512d2e · f512d2e
1 parent ed0cda2
commit f512d2e
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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