From 40ac7d406b14cdf49825b218cc403c2c716ceedf Mon Sep 17 00:00:00 2001 From: Filipe Marques Date: Mon, 28 Oct 2024 08:50:41 +0000 Subject: [PATCH] Fixes Dockerfile --- Dockerfile | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/Dockerfile b/Dockerfile index f763e37d..a65ad751 100644 --- a/Dockerfile +++ b/Dockerfile @@ -33,8 +33,7 @@ RUN cd /tmp && wget https://github.com/cvc5/cvc5/releases/download/cvc5-1.2.0/cv && cp ./cvc5-Linux-x86_64-static/bin/cvc5 /usr/local/bin RUN echo "/usr/local/bin" | bash -c "sh <(curl -fsSL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)" \ - pip install --break-system-packages --upgrade pip setuptools \ - pip install --break-system-packages --upgrade -r bench/requirements.txt + pip install --break-system-packages --upgrade pip setuptools RUN git clone https://github.com/bitwuzla/bitwuzla.git \ && cd bitwuzla \ @@ -47,9 +46,13 @@ RUN useradd -m -s /bin/bash smtml \ && echo "smtml ALL=(ALL) NOPASSWD:ALL" >> /etc/sudoers USER smtml + COPY --chown=smtml:smtml . ${BASE}/smtml + WORKDIR ${BASE}/smtml +RUN pip install --break-system-packages --upgrade -r bench/requirements.txt + RUN opam init --disable-sandboxing --shell-setup -y \ && opam update \ && opam switch create -y z3-bitwuzla 5.2.0 \