blob: 20fc8d170bf4b3377c5de0edc1fac5b0527791ec (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
# A function to add a new module in GUDHI
set(GUDHI_MODULES "")
function(add_gudhi_module file_path)
set(GUDHI_MODULES ${GUDHI_MODULES} ${file_path} PARENT_SCOPE)
endfunction(add_gudhi_module)
# message("++ GUDHI_MODULES list is:\"${GUDHI_MODULES}\"")
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 (NOT WITHOUT_GUDHI_TEST)
set(GUDHI_SUB_DIRECTORIES "${GUDHI_SUB_DIRECTORIES};test")
endif()
if (NOT WITHOUT_GUDHI_UTILITIES)
set(GUDHI_SUB_DIRECTORIES "${GUDHI_SUB_DIRECTORIES};utilities")
endif()
message("++ GUDHI_SUB_DIRECTORIES list is:\"${GUDHI_SUB_DIRECTORIES}\"")
|
