message: Copy hera headers in user_version
diff: @@ -56,6 +56,9 @@ add_custom_command(TARGET user_version PRE_BUILD COMMAND ${CMAKE_COMMAND} -E
  add_custom_command(TARGET user_version PRE_BUILD COMMAND ${CMAKE_COMMAND} -E
  copy_directory ${CMAKE_SOURCE_DIR}/src/GudhUI ${GUDHI_USER_VERSION_DIR}/GudhUI)
  +add_custom_command(TARGET user_version PRE_BUILD COMMAND ${CMAKE_COMMAND} -E
  + copy_directory ${CMAKE_SOURCE_DIR}/ext/hera/geom_matching/wasserstein/include ${GUDHI_USER_VERSION_DIR}/hera/wasserstein)
  +
  set(GUDHI_DIRECTORIES "doc;example;concept;utilities")
  set(GUDHI_INCLUDE_DIRECTORIES "include/gudhi")
  