diff --git a/archivers/php71-phar/Makefile b/archivers/php71-phar/Makefile index 5e76f4c710bc..8616ed2e422e 100644 --- a/archivers/php71-phar/Makefile +++ b/archivers/php71-phar/Makefile @@ -2,6 +2,7 @@ CATEGORIES= archivers +PORTREVISION= 2 MASTERDIR= ${.CURDIR}/../../lang/php71 PKGNAMESUFFIX= -phar diff --git a/archivers/php71-phar/files/patch-Makefile.frag b/archivers/php71-phar/files/patch-Makefile.frag new file mode 100644 index 000000000000..8d5aceff2c0c --- /dev/null +++ b/archivers/php71-phar/files/patch-Makefile.frag @@ -0,0 +1,9 @@ +--- 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 +