From fa2076435c73f6ec411bc92ed58821586aa2ecbf Mon Sep 17 00:00:00 2001 From: tmeissner Date: Mon, 4 Oct 2021 15:07:32 +0200 Subject: [PATCH] Add Bitwuzla --- symbiyosys.Dockerfile | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/symbiyosys.Dockerfile b/symbiyosys.Dockerfile index e86186b..f3c66b8 100644 --- a/symbiyosys.Dockerfile +++ b/symbiyosys.Dockerfile @@ -94,6 +94,16 @@ RUN apt-get update -qq && \ cp build/bin/btor* /opt/boolector/bin/ && \ cp deps/btor2tools/bin/btorsim /opt/boolector/bin/ && \ cd /root && \ + git clone https://github.com/bitwuzla/bitwuzla && \ + cd bitwuzla && \ + ./contrib/setup-btor2tools.sh && \ + ./contrib/setup-lingeling.sh && \ + ./contrib/setup-symfpu.sh && \ + ./configure.sh && \ + make -C build -j$(nproc) PREFIX=/opt/bitwuzla && \ + mkdir -p /opt/bitwuzla/bin && \ + cp build/bin/bitwuzla /opt/bitwuzla/bin/ && \ + cd /root && \ git clone --recursive https://github.com/sterin/super-prove-build && \ cd super-prove-build && \ mkdir build && \