Thanks, Clinton, the procedure is to send a pull request at
https://github.com/klee/klee.github.io for such changes.
Best,
Cristian
On 10/06/2016 03:45, clinton bowen wrote:
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|
$ cdstp
|$ 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
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
