summaryrefslogtreecommitdiff
path: root/debian/patches/0008-Don-t-try-to-install-Hera.patch
blob: c498e81a879ef044f2e55e685cdcb8bed0bde436 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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")