[klee-dev] Modify the Building Intructions for STP

clinton bowen clinton.bowen at gmail.com
Fri Jun 10 03:45:23 BST 2016


Hello,

I'm working on building a KLEE plugin for Jenkins.

I had a developer encounter some challenges building STP following the
instructions per http://klee.github.io/build-stp/

I recommend that the instructions change from:

$ git clone https://github.com/stp/minisat.git$ cd minisat$ mkdir
build$ cd build$ cmake -DCMAKE_INSTALL_PREFIX=/usr/ ../$ sudo make
install$ cd ../../$ git clone https://github.com/stp/stp.git$ git
checkout tags/2.1.2$ mkdir stp/build$ cd stp/build

to:

$ git clone https://github.com/stp/minisat.git$ cd minisat$ mkdir
build$ cd build$ cmake -DCMAKE_INSTALL_PREFIX=/usr/ ../$ sudo make
install$ cd ../../$ git clone https://github.com/stp/stp.git

$ cd stp

$ git checkout tags/2.1.2$ mkdir stp/build$ cd stp/build

The reason being that some developers are not quite familiar with git.


Thanks,

Clinton  (my apologies for the formatting of this message.)
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the klee-dev mailing list