diff options
| author | Vincent Rouvreau <vincent.rouvreau@inria.fr> | 2022-06-13 16:40:09 +0200 |
|---|---|---|
| committer | Vincent Rouvreau <vincent.rouvreau@inria.fr> | 2022-06-13 16:40:09 +0200 |
| commit | 4f4fef6c14afa8371d9273b7161c78213bfcd6f6 (patch) | |
| tree | add84598cf9ca38852adfa3b23d5e834f9910e64 /src/cmake | |
| parent | 610ed41d9465f3b8fc56535368b467e217399ac1 (diff) | |
Move new option in the correct file. Disable every option when only build cpp documentation
Diffstat (limited to 'src/cmake')
| -rw-r--r-- | src/cmake/modules/GUDHI_options.cmake | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/cmake/modules/GUDHI_options.cmake b/src/cmake/modules/GUDHI_options.cmake index bffb3ffc..6655d605 100644 --- a/src/cmake/modules/GUDHI_options.cmake +++ b/src/cmake/modules/GUDHI_options.cmake @@ -3,3 +3,12 @@ option(WITH_GUDHI_EXAMPLE "Activate/deactivate examples compilation and installa option(WITH_GUDHI_PYTHON "Activate/deactivate python module compilation and installation" ON) option(WITH_GUDHI_TEST "Activate/deactivate examples compilation and installation" ON) option(WITH_GUDHI_UTILITIES "Activate/deactivate utilities compilation and installation" ON) +option(WITH_GUDHI_CPP_DOCUMENTATION_ONLY "Build only the GUDHI C++ documentation (with doxygen)." OFF) + +if (WITH_GUDHI_CPP_DOCUMENTATION_ONLY) + set (WITH_GUDHI_BENCHMARK OFF) + set (WITH_GUDHI_EXAMPLE OFF) + set (WITH_GUDHI_PYTHON OFF) + set (WITH_GUDHI_TEST OFF) + set (WITH_GUDHI_UTILITIES OFF) +endif()
\ No newline at end of file |