diff options
author | Vincent Rouvreau <vincent.rouvreau@inria.fr> | 2022-06-30 11:30:12 +0200 |
---|---|---|
committer | Vincent Rouvreau <vincent.rouvreau@inria.fr> | 2022-06-30 11:30:12 +0200 |
commit | 17f68bb5be7a68fab17510740d2bdc28b70decea (patch) | |
tree | c0cef2eb456f8b6d32f0967561ca96c5b0c8bf0a /.github | |
parent | e31556d04e4a957dd38b3e52e91e1a6cedd47f65 (diff) |
code review: rename option WITH_GUDHI_THIRD_PARTY
Diffstat (limited to '.github')
-rw-r--r-- | .github/for_maintainers/tests_strategy.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/for_maintainers/tests_strategy.md b/.github/for_maintainers/tests_strategy.md index c25acf9b..01248d3a 100644 --- a/.github/for_maintainers/tests_strategy.md +++ b/.github/for_maintainers/tests_strategy.md @@ -4,6 +4,11 @@ This document tries to sum up the tests strategy that has been put in place for The aim is to help maintainers to anticipate third parties modifications, updates. +## CMake options + +[CMake GUDHI options](../../src/cmake/modules/GUDHI_options.cmake) allows to activate/deactivate what should be built and tested. +Note the special option `WITH_GUDHI_THIRD_PARTY` that, when set to `OFF`, accelerates doxygen documentation generation or `user_version` for instance. + ## Builds ### Linux |