Merge pull request diffblue#306 from diffblue/bugfix/install_boost_libs

Added install of boost's libs for binaries which use 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)
 

src/summaries/summary_dump.cpp

@@ -743,7 +743,7 @@ std::string  dump_goto_program_in_html(
   const std::vector<irep_idt> &inverted_functions_topological_order,
   const boost::filesystem::path &dump_root_directory)
 {
-  boost::filesystem::create_directory(dump_root_directory);
+  boost::filesystem::create_directories(dump_root_directory);
 
   namespacet const  ns(program.symbol_table);
   goto_functionst::function_mapt const&  functions =