diff options
Diffstat (limited to 'debian/patches/0008-Don-t-try-to-install-Hera.patch')
| -rw-r--r-- | debian/patches/0008-Don-t-try-to-install-Hera.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/debian/patches/0008-Don-t-try-to-install-Hera.patch b/debian/patches/0008-Don-t-try-to-install-Hera.patch new file mode 100644 index 00000000..c498e81a --- /dev/null +++ b/debian/patches/0008-Don-t-try-to-install-Hera.patch @@ -0,0 +1,22 @@ +From: Gard Spreemann <gspr@nonempty.org> +Date: Thu, 4 Jun 2020 14:36:26 +0200 +Subject: Don't try to install Hera. + +We use the system version. +--- + src/cmake/modules/GUDHI_user_version_target.cmake | 2 -- + 1 file changed, 2 deletions(-) + +diff --git a/src/cmake/modules/GUDHI_user_version_target.cmake b/src/cmake/modules/GUDHI_user_version_target.cmake +index 9cf648e..321f49d 100644 +--- a/src/cmake/modules/GUDHI_user_version_target.cmake ++++ b/src/cmake/modules/GUDHI_user_version_target.cmake +@@ -58,8 +58,6 @@ 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/wasserstein/include ${GUDHI_USER_VERSION_DIR}/ext/hera/wasserstein/include) + + set(GUDHI_DIRECTORIES "doc;example;concept;utilities") + |