From a264e4b3f37d2334f81b1d8f5c83c2ee62c3bf79 Mon Sep 17 00:00:00 2001 From: Xiao Yindong Date: Mon, 15 May 2023 23:01:12 +0800 Subject: [PATCH 1/2] add bloolector support. --- Dockerfile | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index ad21c4d..40e00ed 100644 --- a/Dockerfile +++ b/Dockerfile @@ -20,7 +20,7 @@ RUN apt-get update && \ FROM base AS build-symbiyosys ENV PREFIX=/opt -ARG DEPS_YOSYS="autoconf build-essential clang libffi-dev libreadline-dev pkg-config tcl-dev unzip flex bison" +ARG DEPS_YOSYS="autoconf build-essential clang cmake libffi-dev libreadline-dev pkg-config tcl-dev unzip flex bison" RUN apt-get install -y --no-install-recommends $DEPS_YOSYS ARG YOSYS_VERSION="yosys-0.28" @@ -45,6 +45,18 @@ RUN mkdir solver && cd solver && \ cp yices-smt2 $PREFIX/bin/yices-smt2 && \ cd .. && rm -rf solver +ARG boolector_version="3.2.2" +RUN curl -L "https://github.com/Boolector/boolector/archive/refs/tags/$boolector_version.tar.gz" \ + | tar -xz \ + && cd boolector-$boolector_version \ + && ./contrib/setup-lingeling.sh \ + && ./contrib/setup-btor2tools.sh \ + && ./configure.sh --prefix $PREFIX \ + && make PREFIX=$PREFIX -C build -j$(nproc) \ + && make PREFIX=$PREFIX -C build install \ + && cd .. \ + && rm -Rf boolector-$boolector_version + ARG SYMBIYOSYS_VERSION="yosys-0.28" RUN git clone https://github.com/YosysHQ/sby.git SymbiYosys && \ cd SymbiYosys && \ From 2d8d8d49ac42afd550d074ad106396596ef60f7d Mon Sep 17 00:00:00 2001 From: Yindong Xiao Date: Tue, 16 May 2023 09:41:26 +0800 Subject: [PATCH 2/2] fix variable name of version. --- Dockerfile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Dockerfile b/Dockerfile index 40e00ed..bae035d 100644 --- a/Dockerfile +++ b/Dockerfile @@ -45,17 +45,17 @@ RUN mkdir solver && cd solver && \ cp yices-smt2 $PREFIX/bin/yices-smt2 && \ cd .. && rm -rf solver -ARG boolector_version="3.2.2" -RUN curl -L "https://github.com/Boolector/boolector/archive/refs/tags/$boolector_version.tar.gz" \ +ARG BOOLECTOR_VERSION="3.2.2" +RUN curl -L "https://github.com/Boolector/boolector/archive/refs/tags/$BOOLECTOR_VERSION.tar.gz" \ | tar -xz \ - && cd boolector-$boolector_version \ + && cd boolector-$BOOLECTOR_VERSION \ && ./contrib/setup-lingeling.sh \ && ./contrib/setup-btor2tools.sh \ && ./configure.sh --prefix $PREFIX \ && make PREFIX=$PREFIX -C build -j$(nproc) \ && make PREFIX=$PREFIX -C build install \ && cd .. \ - && rm -Rf boolector-$boolector_version + && rm -Rf boolector-$BOOLECTOR_VERSION ARG SYMBIYOSYS_VERSION="yosys-0.28" RUN git clone https://github.com/YosysHQ/sby.git SymbiYosys && \