diff options
| author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-06-05 08:24:57 +0200 |
|---|---|---|
| committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-06-05 08:24:57 +0200 |
| commit | e2f3158b8028b4df03aeb7cf7b50cf97db89de71 (patch) | |
| tree | 38de1de4ce79381fc029a78d1354ba34ad038c3a /src/cmake/modules/GUDHI_modules.cmake | |
| parent | ef407f0e40099a832f13371401b44ac565325aff (diff) | |
| parent | 7705d6ceac3d8a302b1950f77565f44a15122a30 (diff) | |
Merge branch 'master' into kernels
Diffstat (limited to 'src/cmake/modules/GUDHI_modules.cmake')
| -rw-r--r-- | src/cmake/modules/GUDHI_modules.cmake | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/cmake/modules/GUDHI_modules.cmake b/src/cmake/modules/GUDHI_modules.cmake index f95d0c34..aab1dd08 100644 --- a/src/cmake/modules/GUDHI_modules.cmake +++ b/src/cmake/modules/GUDHI_modules.cmake @@ -1,11 +1,12 @@ # A function to add a new module in GUDHI -set(GUDHI_MODULES "") set(GUDHI_MODULES_FULL_LIST "") function(add_gudhi_module file_path) option("WITH_MODULE_GUDHI_${file_path}" "Activate/desactivate ${file_path} compilation and installation" ON) if (WITH_MODULE_GUDHI_${file_path}) - set(GUDHI_MODULES ${GUDHI_MODULES} ${file_path} PARENT_SCOPE) + set(GUDHI_MODULES ${GUDHI_MODULES} ${file_path} CACHE INTERNAL "GUDHI_MODULES") + else() + set(GUDHI_MISSING_MODULES ${GUDHI_MISSING_MODULES} ${file_path} CACHE INTERNAL "GUDHI_MISSING_MODULES") endif() # Required by user_version set(GUDHI_MODULES_FULL_LIST ${GUDHI_MODULES_FULL_LIST} ${file_path} PARENT_SCOPE) |