diff options
| -rw-r--r-- | php-gmp41.patch | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/php-gmp41.patch b/php-gmp41.patch deleted file mode 100644 index 5db1acd..0000000 --- a/php-gmp41.patch +++ /dev/null @@ -1,27 +0,0 @@ -From 1b156207446e0c5ec8a9476ad0966b5daa82f516 Mon Sep 17 00:00:00 2001 -From: Remi Collet <remi@php.net> -Date: Thu, 13 Nov 2014 13:08:00 +0100 -Subject: [PATCH] Fix build with gmp < 4.2 - -See 3d6d863ccbd10d212352462b587ae1573af4f1d1 -and acd7fcf55f81955e4837c750a5e45f83d3c55ba2 ---- - ext/gmp/gmp.c | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) - -diff --git a/ext/gmp/gmp.c b/ext/gmp/gmp.c -index e9c1ad3..de61f1c 100644 ---- a/ext/gmp/gmp.c -+++ b/ext/gmp/gmp.c -@@ -1776,7 +1776,7 @@ static void gmp_init_random(TSRMLS_D) - #if GMP_42_OR_NEWER - gmp_randinit_mt(GMPG(rand_state)); - #else -- gmp_randinit_lc_2exp(GMPG(rand_state), 32L); -+ gmp_randinit_lc_2exp_size(GMPG(rand_state), 32L); - #endif - /* Seed */ - gmp_randseed_ui(GMPG(rand_state), GENERATE_SEED()); --- -2.1.0 - |