stp/stp — pull request #50 by delcypher (2013-09-27 22:18:12+00:00)
Title: Fix build of libstp.a for clients

These commits fix recent changes that attempt to fix the building of libstp.a

By default boost libraries are now linked as static libraries (controllable with a newly added CMake option USE_SHARED_BOOST_LIBS ). This is necessary because previously libstp.a would have unresolved symbols to Boost library functions preventing clients (such as KLEE) from linking to STP.