From 105866967f299f99583bc34c9283de9f55873576 Mon Sep 17 00:00:00 2001 From: Michal Podhradsky Date: Tue, 10 Dec 2024 17:37:18 -0800 Subject: [PATCH] Install CVC5 1.2.0 via opam, see https://opam.ocaml.org/packages/cvc5/cvc5.1.2.0/ for details --- Dockerfile.redhat | 2 +- Dockerfile.ubuntu | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Dockerfile.redhat b/Dockerfile.redhat index b0dd7b231..a281072b7 100644 --- a/Dockerfile.redhat +++ b/Dockerfile.redhat @@ -18,7 +18,7 @@ RUN opam init --disable-sandboxing ADD . /opt/cerberus WORKDIR /opt/cerberus RUN opam install --deps-only ./cerberus-lib.opam ./cn.opam -RUN opam install z3 +RUN opam install z3 cvc5 RUN eval `opam env` \ && make install_cn diff --git a/Dockerfile.ubuntu b/Dockerfile.ubuntu index 96d1e8900..e5900b8e9 100644 --- a/Dockerfile.ubuntu +++ b/Dockerfile.ubuntu @@ -12,7 +12,7 @@ RUN opam init --disable-sandboxing ADD . /opt/cerberus WORKDIR /opt/cerberus RUN opam install --deps-only ./cerberus-lib.opam ./cn.opam -RUN opam install z3 +RUN opam install z3 cvc5 RUN eval `opam env` \ && make install_cn