From: Felix Vietmeyer <FeViTechLLC@gmail.com>
Date: Sat, 16 Mar 2019 21:47:47 +0000 (-0600)
Subject: Update Boolector build instructions
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e80ed3bc80e7640753410503c9901275fac555bb;p=SymbiYosys.git

Update Boolector build instructions
---

diff --git a/docs/source/quickstart.rst b/docs/source/quickstart.rst
index ffaff77..f7e0637 100644
--- a/docs/source/quickstart.rst
+++ b/docs/source/quickstart.rst
@@ -119,10 +119,8 @@ http://fmv.jku.at/boolector/
 .. code-block:: text
 
    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 && ./contrib/setup-btor2tools.sh; )
+   ( cd boolector && ./contrib/setup-lingeling.sh; )
    ( cd boolector && ./configure.sh && cd build && make -j$(nproc); )
    sudo cp boolector/build/bin/{boolector,btor*} /usr/local/bin/
    sudo cp boolector/deps/btor2tools/bin/btorsim /usr/local/bin/