summaryrefslogtreecommitdiff
path: root/src/CMakeLists.txt
diff options
context:
space:
mode:
authorvrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb>2018-03-05 16:03:59 +0000
committervrouvrea <vrouvrea@636b058d-ea47-450e-bf9e-a15bfbe3eedb>2018-03-05 16:03:59 +0000
commit76658daa8112d622579a9fac7718f3f94f728862 (patch)
tree8b1cab413f778c2ac05be0fb16e5b66b3a1fa2e6 /src/CMakeLists.txt
parent2a9f6eb628979a9634c647be93e575e3177c15da (diff)
Install Miniball with gudhi for Cech to compile
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/gudhi/branches/cechcomplex_vincent@3265 636b058d-ea47-450e-bf9e-a15bfbe3eedb Former-commit-id: 35309d8ef71455028fd4abeeba03ece2b0d0461f
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r--src/CMakeLists.txt1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 7cccb19f..ff7acafc 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -105,4 +105,5 @@ install(FILES
# install the include file on "make install"
install(DIRECTORY include/gudhi DESTINATION include)
+install(DIRECTORY include/Miniball DESTINATION include)
#---------------------------------------------------------------------------------------