diff options
Diffstat (limited to 'var/spack/repos/builtin/packages/ginkgo/static.patch')
| -rw-r--r-- | var/spack/repos/builtin/packages/ginkgo/static.patch | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/var/spack/repos/builtin/packages/ginkgo/static.patch b/var/spack/repos/builtin/packages/ginkgo/static.patch deleted file mode 100644 index 9aa7aec3f2..0000000000 --- a/var/spack/repos/builtin/packages/ginkgo/static.patch +++ /dev/null @@ -1,17 +0,0 @@ -diff --git a/CMakeLists.txt b/CMakeLists.txt -index e5fae68..807a7dc 100644 ---- a/CMakeLists.txt -+++ b/CMakeLists.txt -@@ -109,9 +109,9 @@ if(GINKGO_DEVEL_TOOLS) - endif() - - # Generate the global `ginkgo/ginkgo.hpp` header with every call of make --add_custom_target(generate_ginkgo_header ALL -- COMMAND ${Ginkgo_SOURCE_DIR}/dev_tools/scripts/update_ginkgo_header.sh -- WORKING_DIRECTORY ${Ginkgo_SOURCE_DIR}) -+# add_custom_target(generate_ginkgo_header ALL -+# COMMAND ${Ginkgo_SOURCE_DIR}/dev_tools/scripts/update_ginkgo_header.sh -+# WORKING_DIRECTORY ${Ginkgo_SOURCE_DIR}) - - if(GINKGO_BUILD_DOC) - add_subdirectory(doc) |