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, 0 insertions, 22 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 deleted file mode 100644 index c498e81a..00000000 --- a/debian/patches/0008-Don-t-try-to-install-Hera.patch +++ /dev/null @@ -1,22 +0,0 @@ -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") - |