From 5cc9573e1336c70556c351ceb9c470307916ffa8 Mon Sep 17 00:00:00 2001
From: Terumasa TADANO <terumasa.tadano@gmail.com>
Date: Thu, 14 Jul 2016 20:01:30 +0900
Subject: [PATCH] Modified makefile in the tools directory

---
 tools/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/tools/Makefile b/tools/Makefile
index fd9c56cf..4d2eafb9 100644
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -12,7 +12,9 @@
 CXX = c++
 
 CXXFLAGS = -O2 
-INCLUDE = -I../include 
+
+# Add the directory containing boost header files here
+INCLUDE = -I../include -I$(HOME)/include
 
 #----------------------------------------------
 # General rules