diff options
| author | albert-github <albert.tests@gmail.com> | 2022-08-25 14:01:50 +0200 |
|---|---|---|
| committer | albert-github <albert.tests@gmail.com> | 2022-08-25 14:01:50 +0200 |
| commit | 26997dfccab9e8340417aaa33cf517af1ec32562 (patch) | |
| tree | d53a376e0d233c1ff117f796bf524f3572e51fc2 /src/cmake | |
| parent | fc8290b3ff3236ce88a5e6761dee3242ee1376a0 (diff) | |
Spelling corrections
Correction of some obvious spelling errors
Diffstat (limited to 'src/cmake')
| -rw-r--r-- | src/cmake/modules/GUDHI_options.cmake | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/cmake/modules/GUDHI_options.cmake b/src/cmake/modules/GUDHI_options.cmake index 5e28c87d..8379e3c6 100644 --- a/src/cmake/modules/GUDHI_options.cmake +++ b/src/cmake/modules/GUDHI_options.cmake @@ -4,7 +4,7 @@ option(WITH_GUDHI_REMOTE_TEST "Activate/deactivate datasets fetching test which 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_THIRD_PARTY "Activate/deactivate third party libraries cmake detection. When set to OFF, it is usefull for doxygen or user_version i.e." ON) +option(WITH_GUDHI_THIRD_PARTY "Activate/deactivate third party libraries cmake detection. When set to OFF, it is useful for doxygen or user_version i.e." ON) if (NOT WITH_GUDHI_THIRD_PARTY) set (WITH_GUDHI_BENCHMARK OFF) @@ -12,4 +12,4 @@ if (NOT WITH_GUDHI_THIRD_PARTY) set (WITH_GUDHI_PYTHON OFF) set (WITH_GUDHI_TEST OFF) set (WITH_GUDHI_UTILITIES OFF) -endif()
\ No newline at end of file +endif() |