From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 8 Dec 2018 06:34:03 +0000 (+0100)
Subject: Update boolector build instructions
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b8549f3a2d34ee700a835e782fda1a3bebdf03d7;p=SymbiYosys.git

Update boolector build instructions

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/docs/source/quickstart.rst b/docs/source/quickstart.rst
index e5b7d5b..335f118 100644
--- a/docs/source/quickstart.rst
+++ b/docs/source/quickstart.rst
@@ -118,11 +118,13 @@ http://fmv.jku.at/boolector/
 
 .. code-block:: text
 
-   wget http://fmv.jku.at/boolector/boolector-2.4.1-with-lingeling-bbc.tar.bz2
-   tar xvjf boolector-2.4.1-with-lingeling-bbc.tar.bz2
-   cd boolector-2.4.1-with-lingeling-bbc/
-   make
-   sudo cp boolector/bin/boolector /usr/local/bin/boolector
+   git clone https://github.com/boolector/boolector
+   git clone https://github.com/arminbiere/lingeling boolector/deps/lingeling
+   git clone https://github.com/boolector/btor2tools boolector/deps/btor2tools
+   ( cd boolector/deps/lingeling  && ./configure.sh -fPIC && make -j$(nproc); )
+   ( cd boolector/deps/btor2tools && ./configure.sh -fPIC && make -j$(nproc); )
+   ( cd boolector && ./configure.sh && cd build && make -j$(nproc); )
+   sudo cp boolector/build/bin/{boolector,btor*} /usr/local/bin/
 
 First step: A simple BMC example
 --------------------------------