diff options
| author | Gard Spreemann <gspr@nonempty.org> | 2020-06-04 14:39:22 +0200 |
|---|---|---|
| committer | Gard Spreemann <gspr@nonempty.org> | 2020-06-04 14:39:22 +0200 |
| commit | 72c35697e940fe87a02ae01fffb041d709d62527 (patch) | |
| tree | 15f5123b1d681366ae49cdab7249d94af96873bb /debian/patches/0008-Don-t-try-to-install-Hera.patch | |
| parent | 66db3d32c651d7b4b9643988be75cf445cefbd2c (diff) | |
Add new patches. Both fix issues that should be handled upstream soon.
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") + |