diff options
Diffstat (limited to 'php-gmp41.patch')
| -rw-r--r-- | php-gmp41.patch | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/php-gmp41.patch b/php-gmp41.patch new file mode 100644 index 0000000..5db1acd --- /dev/null +++ b/php-gmp41.patch @@ -0,0 +1,27 @@ +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 + |