diff options
| author | Gard Spreemann <gspr@nonempty.org> | 2019-09-25 14:29:41 +0200 |
|---|---|---|
| committer | Gard Spreemann <gspr@nonempty.org> | 2019-09-25 14:29:41 +0200 |
| commit | 599d68cd916f533bdb66dd9e684dd5703233b6bb (patch) | |
| tree | 4b825dc642cb6eb9a060e54bf8d69288fbee4904 /cmake/modules/GUDHI_modules.cmake | |
| parent | a2e642954ae39025e041471d486ecbac25dff440 (diff) | |
Delete all files in order to incorporate upstream's move to git.
Diffstat (limited to 'cmake/modules/GUDHI_modules.cmake')
| -rw-r--r-- | cmake/modules/GUDHI_modules.cmake | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/cmake/modules/GUDHI_modules.cmake b/cmake/modules/GUDHI_modules.cmake deleted file mode 100644 index f95d0c34..00000000 --- a/cmake/modules/GUDHI_modules.cmake +++ /dev/null @@ -1,41 +0,0 @@ -# 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) - endif() - # Required by user_version - set(GUDHI_MODULES_FULL_LIST ${GUDHI_MODULES_FULL_LIST} ${file_path} PARENT_SCOPE) - # Include module headers is independant - You may ask for no Alpha complex module but Python interface i.e. - if(IS_DIRECTORY ${CMAKE_SOURCE_DIR}/src/${file_path}/include/) - include_directories(src/${file_path}/include/) - endif() - -endfunction(add_gudhi_module) - -option(WITH_GUDHI_BENCHMARK "Activate/desactivate benchmark compilation" OFF) -option(WITH_GUDHI_EXAMPLE "Activate/desactivate examples compilation and installation" OFF) -option(WITH_GUDHI_PYTHON "Activate/desactivate python module compilation and installation" ON) -option(WITH_GUDHI_TEST "Activate/desactivate examples compilation and installation" ON) -option(WITH_GUDHI_UTILITIES "Activate/desactivate utilities compilation and installation" ON) - -if (WITH_GUDHI_BENCHMARK) - set(GUDHI_SUB_DIRECTORIES "${GUDHI_SUB_DIRECTORIES};benchmark") -endif() -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") -endif() -if (WITH_GUDHI_UTILITIES) - set(GUDHI_SUB_DIRECTORIES "${GUDHI_SUB_DIRECTORIES};utilities") -endif() - -message("++ GUDHI_SUB_DIRECTORIES list is:\"${GUDHI_SUB_DIRECTORIES}\"") - - - |