From b8549f3a2d34ee700a835e782fda1a3bebdf03d7 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sat, 8 Dec 2018 07:34:03 +0100 Subject: [PATCH] Update boolector build instructions Signed-off-by: Clifford Wolf --- docs/source/quickstart.rst | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) 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 -------------------------------- -- 2.30.2