diff options
| author | vrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2018-11-14 10:04:30 +0000 |
|---|---|---|
| committer | vrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb> | 2018-11-14 10:04:30 +0000 |
| commit | 7b64e122ccda2f592a1a20c339318880302a92ed (patch) | |
| tree | 610c9fc09c688ab58e481312743acb3cf6d233d9 /src/cmake/modules/GUDHI_modules.cmake | |
| parent | 4e4b190e9f3937f3f136c83e42c3c9322074f16a (diff) | |
| parent | d121955a744c87e6b4ebbe42b42fb2321a32e9e3 (diff) | |
Merge last trunk modifications and resolve conflict on src/Alpha_complex/utilities/alphacomplex.md
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/branches/alpha_complex_3d_module_vincent@3979 636b058d-ea47-450e-bf9e-a15bfbe3eedb
Former-commit-id: 2a63709432810154d7939e9bdd74f9d55d0aee43
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) |