diff options
| -rw-r--r-- | archivers/php71-phar/files/patch-Makefile.frag | 9 | ||||
| -rw-r--r-- | lang/php71/Makefile | 2 | ||||
| -rw-r--r-- | lang/php71/distinfo | 6 |
3 files changed, 4 insertions, 13 deletions
diff --git a/archivers/php71-phar/files/patch-Makefile.frag b/archivers/php71-phar/files/patch-Makefile.frag deleted file mode 100644 index 8d5aceff2c0c..000000000000 --- a/archivers/php71-phar/files/patch-Makefile.frag +++ /dev/null @@ -1,9 +0,0 @@ ---- Makefile.frag.orig 2017-12-05 11:59:48 UTC -+++ Makefile.frag -@@ -1,5 +1,5 @@ - $(srcdir)/phar_path_check.c: $(srcdir)/phar_path_check.re -- @(cd $(top_srcdir); $(RE2C) --no-generation-date -b -o ext/phar/phar_path_check.c ext/phar/phar_path_check.re) -+ @(cd $(top_srcdir); $(RE2C) --no-generation-date -b -o phar_path_check.c phar_path_check.re) - - pharcmd: $(builddir)/phar.php $(builddir)/phar.phar - diff --git a/lang/php71/Makefile b/lang/php71/Makefile index 1e5239bea361..13c4d0d5fb8f 100644 --- a/lang/php71/Makefile +++ b/lang/php71/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= php71 -PORTVERSION= 7.1.13 +PORTVERSION= 7.1.14 PORTREVISION?= 0 CATEGORIES?= lang devel www MASTER_SITES= PHP/distributions diff --git a/lang/php71/distinfo b/lang/php71/distinfo index 87bf96d811ac..0bfb306b3de6 100644 --- a/lang/php71/distinfo +++ b/lang/php71/distinfo @@ -1,5 +1,5 @@ -TIMESTAMP = 1515408503 -SHA256 (php-7.1.13.tar.xz) = 1a0b3f2fb61959b57a3ee01793a77ed3f19bde5aa90c43dcacc85ea32f64fc10 -SIZE (php-7.1.13.tar.xz) = 12194780 +TIMESTAMP = 1517567359 +SHA256 (php-7.1.14.tar.xz) = c09f0c1074f5689b492d79034adb84e6a6c6d08c6763c02282e6318d41156779 +SIZE (php-7.1.14.tar.xz) = 12198612 SHA256 (php-7.1.x-mail-header.patch) = 8f173d89672f7ebfabfcc3c5d7f8dec1c4243aba665db4b4046e67c34d9d4dc7 SIZE (php-7.1.x-mail-header.patch) = 4504 |