diff options
author | Hind-M <hind.montassif@gmail.com> | 2022-06-07 14:40:04 +0200 |
---|---|---|
committer | Hind-M <hind.montassif@gmail.com> | 2022-06-07 14:40:04 +0200 |
commit | ca724df0c8946bd40afb8e22c24d05329f43c16c (patch) | |
tree | cad0f24477071411cd4c703bf0e3ab30d9444809 /src/cmake/modules/GUDHI_third_party_libraries.cmake | |
parent | 899fb73b33cb6976c39a42ba26a31cf2acde63ee (diff) | |
parent | 2a33be5f580e5d868efe674471f32d1d025fb3c4 (diff) |
Merge remote-tracking branch 'upstream/master' into fetch_datasets
Diffstat (limited to 'src/cmake/modules/GUDHI_third_party_libraries.cmake')
-rw-r--r-- | src/cmake/modules/GUDHI_third_party_libraries.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cmake/modules/GUDHI_third_party_libraries.cmake b/src/cmake/modules/GUDHI_third_party_libraries.cmake index 6a94d1f5..6ba822ad 100644 --- a/src/cmake/modules/GUDHI_third_party_libraries.cmake +++ b/src/cmake/modules/GUDHI_third_party_libraries.cmake @@ -174,7 +174,7 @@ if (WITH_GUDHI_PYTHON) message(FATAL_ERROR "ERROR: GUDHI_PYTHON_PATH is not valid.") endif(NOT GUDHI_PYTHON_PATH) - option(WITH_GUDHI_PYTHON_RUNTIME_LIBRARY_DIRS "Build with setting runtime_library_dirs. Usefull when setting rpath is not allowed" ON) + option(WITH_GUDHI_PYTHON_RUNTIME_LIBRARY_DIRS "Build with setting runtime_library_dirs. Useful when setting rpath is not allowed" ON) if(PYTHONINTERP_FOUND AND CYTHON_FOUND) if(SPHINX_FOUND) |