Merge pull request #1052 from alex85k/patch-4

add a cmake option WITH_TOOLS
2014-06-03 14:58:36 +02:00 · 2014-06-03 14:58:36 +02:00 · 11459d38d0
commit 11459d38d0
parent 6a29168c14 baf4ea2e8c
1 changed files with 2 additions and 0 deletions
--- 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