update php

[julien lepiller]

Hi,

A new version of php has been released. I'm a bit confused by the way 
grafting works and as the gd update from last time is still not in 
master, gd-for-php will try to build using gd-2.2.3, which I don't want 
(2.2.4 fixes issues that would otherwise be detected by the php tests). 
I have no idea how to make it work correctly and will not be able to 
work on it this week-end, so feel free to do whatever is necessary to 
get this update. I have attached a patch that removes the graft so that 
gd is now 2.2.4 by default.

Four more tests fail currently. Two of them are new tests on the same 
issues as already failing tests, and two of them seem to segfault 
because of a bug in the way Zend terminates. I could get this stack 
trace:

#0  zend_hash_destroy (ht=0xfe6538 <phpdbg_globals+1400>) at 
/tmp/guix-build-php-7.1.2.drv-0/php-7.1.2/Zend/zend_hash.c:1249
#1  0x0000000000776921 in zm_shutdown_phpdbg (type=<optimized out>, 
module_number=<optimized out>) at 
/tmp/guix-build-php-7.1.2.drv-0/php-7.1.2/sapi/phpdbg/phpdbg.c:234
#2  0x00000000006d9333 in module_destructor 
(address@hidden) at 
/tmp/guix-build-php-7.1.2.drv-0/php-7.1.2/Zend/zend_API.c:2499
#3  0x00000000006d23cc in module_destructor_zval (zv=<optimized out>) at 
/tmp/guix-build-php-7.1.2.drv-0/php-7.1.2/Zend/zend.c:632
#4  0x00000000006e4229 in _zend_hash_del_el_ex (prev=<optimized out>, 
p=<optimized out>, idx=<optimized out>, ht=<optimized out>)
    at /tmp/guix-build-php-7.1.2.drv-0/php-7.1.2/Zend/zend_hash.c:998
#5  _zend_hash_del_el (p=0x10738c0, idx=47, ht=0xfe30a0 
<module_registry>) at 
/tmp/guix-build-php-7.1.2.drv-0/php-7.1.2/Zend/zend_hash.c:1021
#6  zend_hash_graceful_reverse_destroy (address@hidden 
<module_registry>) at 
/tmp/guix-build-php-7.1.2.drv-0/php-7.1.2/Zend/zend_hash.c:1477
#7  0x00000000006d781c in zend_destroy_modules () at 
/tmp/guix-build-php-7.1.2.drv-0/php-7.1.2/Zend/zend_API.c:1978
#8  0x00000000006d2eb5 in zend_shutdown () at 
/tmp/guix-build-php-7.1.2.drv-0/php-7.1.2/Zend/zend.c:871
#9  0x0000000000673acb in php_module_shutdown () at 
/tmp/guix-build-php-7.1.2.drv-0/php-7.1.2/main/main.c:2405
#10 0x0000000000444846 in main (argc=68, argv=0x7fffffffd3c8) at 
/tmp/guix-build-php-7.1.2.drv-0/php-7.1.2/sapi/phpdbg/phpdbg.c:2156

I didn't test the new php, but it seems to work in most cases so I think 
we can still update it. Another solution would be to try and build 
7.0.16.

0001-gnu-php-Update-to-7.1.2.patch
Description: Text Data