stp/stp — pull request #70 by delcypher (2014-01-25 09:50:39+00:00)
Title: Removed the disgusting MERGE_STATIC_LIBRARIES and all uses of it.

Now when libstp is built the boost-library will not be merged in to
it. CMake clients of libstp

* the stp executable
* Any CMake project that imports our targets

will automatically know which Boost libraries to link in.

Clients of libstp (e.g. KLEE )who do not use CMake will now have to link
in the right Boost libraries manually to their application

I have a [pull request](https://github.com/ccadar/klee/pull/99) which adds support this change in KLEE