diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2020-03-13 09:50:21 +0100 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2020-03-13 09:50:21 +0100 |
commit | cc2d51d32c5e546c10046adae04ad14d38930566 (patch) | |
tree | 8d5cdeee4f81e5e048f8910ff086acce3cf97c74 /src/cmake/modules/GUDHI_user_version_target.cmake | |
parent | a17a09a2c58bba79e897d0ba00aada05da556967 (diff) | |
parent | e15431ead82923a939f9bcc66347c1b718618a98 (diff) |
Merge remote-tracking branch 'upstream/master' into optimal_matching_wasserstein
Diffstat (limited to 'src/cmake/modules/GUDHI_user_version_target.cmake')
-rw-r--r-- | src/cmake/modules/GUDHI_user_version_target.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cmake/modules/GUDHI_user_version_target.cmake b/src/cmake/modules/GUDHI_user_version_target.cmake index 5047252f..257d1939 100644 --- a/src/cmake/modules/GUDHI_user_version_target.cmake +++ b/src/cmake/modules/GUDHI_user_version_target.cmake @@ -55,7 +55,7 @@ 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}/ext/hera/geom_matching/wasserstein/include) + copy_directory ${CMAKE_SOURCE_DIR}/ext/hera/wasserstein/include ${GUDHI_USER_VERSION_DIR}/ext/hera/wasserstein/include) set(GUDHI_DIRECTORIES "doc;example;concept;utilities") |