From 92ca3002e36faa919c4e7e9ec6324a2166cc3794 Mon Sep 17 00:00:00 2001 From: Armin Novak Date: Wed, 14 Aug 2019 15:10:00 +0200 Subject: [PATCH] Allow build without WinPR tools --- cmake/ConfigOptions.cmake | 2 ++ winpr/CMakeLists.txt | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/cmake/ConfigOptions.cmake b/cmake/ConfigOptions.cmake index 0a8b3a5f8..f3d2bc856 100644 --- a/cmake/ConfigOptions.cmake +++ b/cmake/ConfigOptions.cmake @@ -79,6 +79,8 @@ option(BUILTIN_CHANNELS "Combine all channels into their respective base library option(WITH_CHANNELS "Build virtual channel plugins" ON) +option(WITH_WINPR_TOOLS "Build WinPR helper binaries" ON) + cmake_dependent_option(WITH_CLIENT_CHANNELS "Build virtual channel plugins" ON "WITH_CLIENT_COMMON;WITH_CHANNELS" OFF) diff --git a/winpr/CMakeLists.txt b/winpr/CMakeLists.txt index 2da25a426..2757d34da 100644 --- a/winpr/CMakeLists.txt +++ b/winpr/CMakeLists.txt @@ -176,7 +176,7 @@ add_subdirectory(include) add_subdirectory(libwinpr) -if(NOT ANDROID AND NOT IOS AND NOT UWP) +if(NOT ANDROID AND NOT IOS AND NOT UWP AND WITH_WINPR_TOOLS) add_subdirectory(tools) endif()