diff options
Diffstat (limited to 'dev-lisp/gcl/files/gcl-gmp-6.patch')
| -rw-r--r-- | dev-lisp/gcl/files/gcl-gmp-6.patch | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/dev-lisp/gcl/files/gcl-gmp-6.patch b/dev-lisp/gcl/files/gcl-gmp-6.patch deleted file mode 100644 index f66638478af1..000000000000 --- a/dev-lisp/gcl/files/gcl-gmp-6.patch +++ /dev/null @@ -1,8 +0,0 @@ -diff -r -U1 gcl.orig/configure gcl/configure ---- gcl.orig/configure 2013-11-11 21:55:48.000000000 +0700 -+++ gcl/configure 2014-03-30 17:25:04.874994142 +0700 -@@ -5027,3 +5027,3 @@ - int main() { -- #if __GNU_MP_VERSION == 4 || __GNU_MP_VERSION == 5 -+ #if __GNU_MP_VERSION == 4 || __GNU_MP_VERSION == 5 || __GNU_MP_VERSION == 6 - return 0; |