summaryrefslogtreecommitdiff
path: root/CMakeLists.txt
diff options
context:
space:
mode:
authorvrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb>2016-09-07 21:32:58 +0000
committervrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb>2016-09-07 21:32:58 +0000
commit7ee6f2b6dde473d7b54246980d61a6a7212cde19 (patch)
tree855d0e27247a764750242a097582e84a73f45319 /CMakeLists.txt
parent95d4dc807c9ed07280bc337b934a7586f571e30d (diff)
Add GUDHI user_version target to replace generate_version.sh
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/branches/make_user_version@1479 636b058d-ea47-450e-bf9e-a15bfbe3eedb Former-commit-id: b41a86ec3bed234b8fa1988b48de058ab501c392
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r--CMakeLists.txt3
1 files changed, 3 insertions, 0 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 1d151455..f77adfa8 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -18,6 +18,9 @@ else()
enable_testing()
+ # For "make user_version"
+ include(${CMAKE_MODULE_PATH}/GUDHI_user_version_target.txt)
+
find_package(GMP)
if(GMP_FOUND)
message(STATUS "GMP_LIBRARIES = ${GMP_LIBRARIES}")