message: Install Miniball with gudhi for Cech to compile
diff: @@ -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)
  #---------------------------------------------------------------------------------------
  