From baf4ea2e8c0837941953a3ef3083fadf0b86d385 Mon Sep 17 00:00:00 2001
From: alex85k <alexei_kasatkin@mail.ru>
Date: Tue, 3 Jun 2014 18:38:33 +0600
Subject: [PATCH] add a cmake option WITH_TOOLS

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

diff --git a/CMakeLists.txt b/CMakeLists.txt
index cebcd4923..0f1c2290c 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -16,6 +16,8 @@ else()
   message(WARNING "Building on a 32 bit system is unsupported")
 endif()
 
+OPTION(WITH_TOOLS "Build ORSM tools" OFF)
+
 include_directories(${CMAKE_SOURCE_DIR}/Include/)
 
 add_custom_command(OUTPUT ${CMAKE_SOURCE_DIR}/Util/UUID.cpp UUID.cpp.alwaysbuild