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.)
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
