diff options
author | Vincent Rouvreau <vincent.rouvreau@inria.fr> | 2022-06-13 14:41:46 +0200 |
---|---|---|
committer | Vincent Rouvreau <vincent.rouvreau@inria.fr> | 2022-06-13 14:41:46 +0200 |
commit | 610ed41d9465f3b8fc56535368b467e217399ac1 (patch) | |
tree | 52b27a204232626e6f97290d996618979226b6b8 /CMakeLists.txt | |
parent | eb1e6f67cf94e2f3991d9092131621e09b1ee257 (diff) | |
parent | 7fff2e5e725ced71da812d9f0bede1c8e0666e2e (diff) |
Merge remote-tracking branch 'albert/feature/bug__documentation_only' into doxygen_only
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r-- | CMakeLists.txt | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index ac877eea..47d87cd1 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -1,3 +1,6 @@ + +option(WITH_GUDHI_CPP_DOCUMENTATION_ONLY "Build only the GUDHI C++ documentation (with doxygen)." OFF) + cmake_minimum_required(VERSION 3.5) project(GUDHIdev) @@ -13,8 +16,10 @@ set(GUDHI_MISSING_MODULES "" CACHE INTERNAL "GUDHI_MISSING_MODULES") # This variable is used by Cython CMakeLists.txt and by GUDHI_third_party_libraries to know its path set(GUDHI_PYTHON_PATH "src/python") -# For third parties libraries management - To be done last as CGAL updates CMAKE_MODULE_PATH -include(GUDHI_third_party_libraries NO_POLICY_SCOPE) +if (NOT WITH_GUDHI_CPP_DOCUMENTATION_ONLY) + # For third parties libraries management - To be done last as CGAL updates CMAKE_MODULE_PATH + include(GUDHI_third_party_libraries NO_POLICY_SCOPE) +endif() include(GUDHI_compilation_flags) @@ -52,7 +57,9 @@ foreach(GUDHI_MODULE ${GUDHI_MODULES}) endforeach() endforeach() -add_subdirectory(src/GudhUI) +if (NOT WITH_GUDHI_CPP_DOCUMENTATION_ONLY) + add_subdirectory(src/GudhUI) +endif() if (WITH_GUDHI_PYTHON) # specific for cython module |