summaryrefslogtreecommitdiff
path: root/src/cmake/modules/GUDHI_options.cmake
diff options
context:
space:
mode:
authorVincent Rouvreau <vincent.rouvreau@inria.fr>2022-01-26 08:16:02 +0100
committerVincent Rouvreau <vincent.rouvreau@inria.fr>2022-01-26 08:16:02 +0100
commit7cd975bcb4f932372a3abe932d3b22c9ea1ce38a (patch)
tree3688cb5df0367e2134d88ccc7e53c78e82916bcb /src/cmake/modules/GUDHI_options.cmake
parentcee14f45b10d8fd4bee78b4323dea650f8d20f11 (diff)
parent4d27d023c89d6c6ad10b3923c3cdbd9ed5952711 (diff)
merge master and resolve conflict
Diffstat (limited to 'src/cmake/modules/GUDHI_options.cmake')
-rw-r--r--src/cmake/modules/GUDHI_options.cmake5
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)