From e80ed3bc80e7640753410503c9901275fac555bb Mon Sep 17 00:00:00 2001 From: Felix Vietmeyer Date: Sat, 16 Mar 2019 15:47:47 -0600 Subject: [PATCH] Update Boolector build instructions --- docs/source/quickstart.rst | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) 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/ -- 2.30.2