From ca22c4dee94552f65e6044341b0365a21d794d65 Mon Sep 17 00:00:00 2001 From: Peter Collingbourne Date: Wed, 14 Jul 2010 18:54:38 +0000 Subject: Add option to use an external version of STP This patch adds a new configure option, --with-stp, which configures KLEE to use an external version of STP instead of the version in the source tree. It includes documentation referring users to the STP download location. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@108347 91177308-0d34-0410-b5e6-96231b3b80d8 --- www/GetStarted.html | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) (limited to 'www/GetStarted.html') diff --git a/www/GetStarted.html b/www/GetStarted.html index 20086600..84b36677 100644 --- a/www/GetStarted.html +++ b/www/GetStarted.html @@ -142,6 +142,40 @@ library.

+

Building KLEE with a more recent version of STP

+ +

If your benchmarks are running slowly or not terminating it may +be worth trying a more recent version of KLEE's constraint solver +STP, +which offers performance improvements over the version supplied +with KLEE.

+ +

STP does not make frequent releases, and its Subversion repository +is under constant development and may be unstable. The instructions +below are for a particular revision which is known to pass the KLEE +test suite, but you can try a more recent revision (at your own risk) +by changing or removing the -r argument to the svn +co command.

+ +
    +
  1. Download and build STP. +
    + $ svn co -r 940 https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp stp
    + $ cd stp
    + $ scripts/configure --with-prefix=path/to/stp/inst --with-cryptominisat2
    + $ make OPTIMIZE=-O2 CFLAGS_M32= install +
    +
    2. + +
  2. Configure KLEE: +
    + $ ./configure --with-llvm=path/to/llvm --with-stp=path/to/stp/inst +
    +
    3. + +
  3. Rebuild KLEE.
    4. +
+ -- cgit 1.4.1