diff options
| author | Vincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com> | 2020-09-28 13:31:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-28 13:31:37 +0200 |
| commit | a304049bdcfb03aa848d8049923ab796e0761b56 (patch) | |
| tree | a386998867179699c21a77479b456303a438cd36 /src/cmake/modules/GUDHI_modules.cmake | |
| parent | 6e14ef1f31e09f3875316440303450ff870d9881 (diff) | |
| parent | 58d79c972198938c6f3655a40540903e08242b36 (diff) | |
Merge pull request #391 from VincentRouvreau/optional_boost_libraries
Optional boost libraries
Diffstat (limited to 'src/cmake/modules/GUDHI_modules.cmake')
| -rw-r--r-- | src/cmake/modules/GUDHI_modules.cmake | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/cmake/modules/GUDHI_modules.cmake b/src/cmake/modules/GUDHI_modules.cmake index aab1dd08..ccaf1ac5 100644 --- a/src/cmake/modules/GUDHI_modules.cmake +++ b/src/cmake/modules/GUDHI_modules.cmake @@ -30,7 +30,12 @@ if (WITH_GUDHI_EXAMPLE) set(GUDHI_SUB_DIRECTORIES "${GUDHI_SUB_DIRECTORIES};example") endif() if (WITH_GUDHI_TEST) - set(GUDHI_SUB_DIRECTORIES "${GUDHI_SUB_DIRECTORIES};test") + # All tests are using boost tests + if(TARGET Boost::unit_test_framework) + set(GUDHI_SUB_DIRECTORIES "${GUDHI_SUB_DIRECTORIES};test") + else() + message("++ WITH_GUDHI_TEST but no TARGET Boost::unit_test_framework") + endif() endif() if (WITH_GUDHI_UTILITIES) set(GUDHI_SUB_DIRECTORIES "${GUDHI_SUB_DIRECTORIES};utilities") |