Install of boost libraries together with dependent binaries.

There is also set RPATH to the libraries in order executables can find
them.

Author: marek-trtik

CMakeLists.txt

@@ -74,9 +74,13 @@ set(boost_include_include_dir ${boost-include_SOURCE_DIR})
 set(boost_lib_dir ${boost-include_SOURCE_DIR}/stage/lib)
 link_directories(${boost_lib_dir})
 add_definitions(-DBOOST_SYSTEM_NO_DEPRECATED=1)
+install(DIRECTORY "${boost_lib_dir}" DESTINATION "${CMAKE_INSTALL_PREFIX}")
 
 ################################################################################
 
+set(CMAKE_INSTALL_RPATH "${CMAKE_INSTALL_PREFIX}/lib")
+SET(CMAKE_INSTALL_RPATH_USE_LINK_PATH TRUE)
+
 add_subdirectory(cbmc)
 add_subdirectory(benchmarks/LIBRARIES/models)