diff options
author | Vincent Rouvreau <vincent.rouvreau@inria.fr> | 2022-04-06 09:40:02 +0200 |
---|---|---|
committer | Vincent Rouvreau <vincent.rouvreau@inria.fr> | 2022-04-06 09:40:02 +0200 |
commit | e957f640d4653fc13458a232435761c5a184b05c (patch) | |
tree | 21b5d346233b5027c5143c756adb1261076ca434 /src/cmake/modules/GUDHI_options.cmake | |
parent | 87da488d24c70cbd470ad1c2dae762af68cd227e (diff) | |
parent | b066b4376abf66ddc76e61a6a815a409b05fe59b (diff) |
Merge remote-tracking branch 'upstream/master' into persistence_graphical_tools_improvements
Diffstat (limited to 'src/cmake/modules/GUDHI_options.cmake')
-rw-r--r-- | src/cmake/modules/GUDHI_options.cmake | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/cmake/modules/GUDHI_options.cmake b/src/cmake/modules/GUDHI_options.cmake new file mode 100644 index 00000000..3cd0a489 --- /dev/null +++ b/src/cmake/modules/GUDHI_options.cmake @@ -0,0 +1,5 @@ +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) |