[klee-dev] Modify the Building Intructions for STP

[Cristian Cadar]

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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>