message: Fix user version for gudhi patches
diff: @@ -81,33 +81,18 @@ if (NOT CMAKE_VERSION VERSION_LESS 2.8.11)
  endif()
  endforeach()
  - # include files
  - file(GLOB GUDHI_INCLUDE_FILES ${CMAKE_SOURCE_DIR}/src/${GUDHI_MODULE}/include/gudhi/*)
  + # include files and patches
  + file(GLOB GUDHI_INCLUDE_FILES ${CMAKE_SOURCE_DIR}/src/${GUDHI_MODULE}/include/*)
  foreach(GUDHI_INCLUDE_FILE ${GUDHI_INCLUDE_FILES})
  get_filename_component(GUDHI_INCLUDE_FILE_NAME ${GUDHI_INCLUDE_FILE} NAME)
  # GUDHI_INCLUDE_FILE can be a file or a directory
  if(IS_DIRECTORY ${GUDHI_INCLUDE_FILE})
  add_custom_command(TARGET user_version PRE_BUILD COMMAND ${CMAKE_COMMAND} -E
  - copy_directory ${GUDHI_INCLUDE_FILE} ${GUDHI_USER_VERSION_DIR}/include/gudhi/${GUDHI_INCLUDE_FILE_NAME})
  + copy_directory ${GUDHI_INCLUDE_FILE} ${GUDHI_USER_VERSION_DIR}/include/${GUDHI_INCLUDE_FILE_NAME})
  else()
  add_custom_command(TARGET user_version PRE_BUILD COMMAND ${CMAKE_COMMAND} -E
  - copy ${GUDHI_INCLUDE_FILE} ${GUDHI_USER_VERSION_DIR}/include/gudhi/${GUDHI_INCLUDE_FILE_NAME})
  - endif()
  - endforeach()
  -
  - # Patches
  - file(GLOB GUDHI_PATCHES_FILES ${CMAKE_SOURCE_DIR}/src/${GUDHI_MODULE}/include/gudhi_patches/*)
  -
  - foreach(GUDHI_PATCHES_FILE ${GUDHI_PATCHES_FILES})
  - get_filename_component(GUDHI_PATCHES_FILE_NAME ${GUDHI_PATCHES_FILE} NAME)
  - # GUDHI_PATCHES_FILE can be a file or a directory
  - if(IS_DIRECTORY ${GUDHI_PATCHES_FILE})
  - add_custom_command(TARGET user_version PRE_BUILD COMMAND ${CMAKE_COMMAND} -E
  - copy_directory ${GUDHI_PATCHES_FILE} ${GUDHI_USER_VERSION_DIR}/include/gudhi/${GUDHI_PATCHES_FILE_NAME})
  - else()
  - add_custom_command(TARGET user_version PRE_BUILD COMMAND ${CMAKE_COMMAND} -E
  - copy ${GUDHI_PATCHES_FILE} ${GUDHI_USER_VERSION_DIR}/include/gudhi/${GUDHI_PATCHES_FILE_NAME})
  + copy ${GUDHI_INCLUDE_FILE} ${GUDHI_USER_VERSION_DIR}/include/${GUDHI_INCLUDE_FILE_NAME})
  endif()
  endforeach()
  