diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt
index f2b85f70f02880914bb065f5b842af6b13082b0c..5c7f9898adef870fea47dec674857e6e989946fb 100644
--- a/tools/CMakeLists.txt
+++ b/tools/CMakeLists.txt
@@ -15,6 +15,8 @@
 
 SET(tools dg-shell)
 
+include_directories(${Boost_INCLUDE_DIRS})
+
 # Configure shell launch script.
 CONFIGURE_FILE(${CMAKE_CURRENT_SOURCE_DIR}/dg-shell-plugin.cmake
 	       ${${PROJECT_NAME}_BINARY_DIR}/tools/dg-shell-plugin)