diff options
Diffstat (limited to 'gnu/packages/patches/blast+-fix-makefile.patch')
| -rw-r--r-- | gnu/packages/patches/blast+-fix-makefile.patch | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/gnu/packages/patches/blast+-fix-makefile.patch b/gnu/packages/patches/blast+-fix-makefile.patch deleted file mode 100644 index bfa46a7e51..0000000000 --- a/gnu/packages/patches/blast+-fix-makefile.patch +++ /dev/null @@ -1,15 +0,0 @@ -Without this patch, the 'make install' attempts to 'install' a directory, which causes an error. - -diff --git a/c++/src/build-system/Makefile.in.top b/c++/src/build-system/Makefile.in.top -index 1abe44f..d6000b3 100644 ---- a/c++/src/build-system/Makefile.in.top -+++ b/c++/src/build-system/Makefile.in.top -@@ -51,7 +51,7 @@ install-toolkit: - done - cd $(includedir0) && find * -name CVS -prune -o -print |\ - cpio -pd $(pincludedir) -- $(INSTALL) -m 644 $(incdir)/* $(pincludedir) -+ cp -R $(incdir)/* $(pincludedir) - ## set up appropriate build and status directories somewhere under $(libdir)? - - install-gbench: |