From a8cbee360508cea2b0f4a512ea20529850ac18ef Mon Sep 17 00:00:00 2001
From: Francois Keith <francois.keith@aist.go.jp>
Date: Wed, 10 Nov 2010 01:33:52 +0900
Subject: [PATCH] Add missing Boost flags for the projects in tools

---
 tools/CMakeLists.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt
index f2b85f7..5c7f989 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)
-- 
GitLab