diff options
-rw-r--r-- | lang/php71/Makefile | 2 | ||||
-rw-r--r-- | lang/php71/distinfo | 6 | ||||
-rw-r--r-- | lang/php71/pkg-plist | 1 | ||||
-rw-r--r-- | security/php71-hash/files/patch-php__hash__sha3.h | 11 |
4 files changed, 5 insertions, 15 deletions
diff --git a/lang/php71/Makefile b/lang/php71/Makefile index 5cde382b5af6..db52c6f5b79c 100644 --- a/lang/php71/Makefile +++ b/lang/php71/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= php71 -PORTVERSION= 7.1.1 +PORTVERSION= 7.1.2 PORTREVISION?= 0 CATEGORIES?= lang devel www MASTER_SITES= PHP/distributions diff --git a/lang/php71/distinfo b/lang/php71/distinfo index 241e05e83747..0c28f5af52f6 100644 --- a/lang/php71/distinfo +++ b/lang/php71/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1484838908 -SHA256 (php-7.1.1.tar.xz) = b3565b0c1441064eba204821608df1ec7367abff881286898d900c2c2a5ffe70 -SIZE (php-7.1.1.tar.xz) = 12766648 +TIMESTAMP = 1487144216 +SHA256 (php-7.1.2.tar.xz) = d815a0c39fd57bab1434a77ff0610fb507c22f790c66cd6f26e27030c4b3e971 +SIZE (php-7.1.2.tar.xz) = 12780720 diff --git a/lang/php71/pkg-plist b/lang/php71/pkg-plist index 6fba9ba90786..14bae8665bc8 100644 --- a/lang/php71/pkg-plist +++ b/lang/php71/pkg-plist @@ -239,6 +239,7 @@ include/php/main/streams/php_streams_int.h include/php/main/win95nt.h %%EMBED%%lib/libphp7.so lib/php/build/Makefile.global +lib/php/build/ax_check_compile_flag.m4 lib/php/build/acinclude.m4 lib/php/build/config.guess lib/php/build/config.sub diff --git a/security/php71-hash/files/patch-php__hash__sha3.h b/security/php71-hash/files/patch-php__hash__sha3.h deleted file mode 100644 index 5c3f2936e690..000000000000 --- a/security/php71-hash/files/patch-php__hash__sha3.h +++ /dev/null @@ -1,11 +0,0 @@ ---- php_hash_sha3.h.orig 2016-11-09 03:34:27 UTC -+++ php_hash_sha3.h -@@ -20,7 +20,7 @@ - #define PHP_HASH_SHA3_H - - #include "php.h" --#include "ext/hash/php_hash.h" -+#include "php_hash.h" - - typedef struct { - unsigned char state[200]; // 5 * 5 * sizeof(uint64) |