diff options
Diffstat (limited to 'devel')
24 files changed, 283 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile index b82c85311ca9..6450dc0ecd81 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -4054,6 +4054,16 @@ SUBDIR += php71-sysvsem SUBDIR += php71-sysvshm SUBDIR += php71-tokenizer + SUBDIR += php72-gettext + SUBDIR += php72-intl + SUBDIR += php72-json + SUBDIR += php72-pcntl + SUBDIR += php72-readline + SUBDIR += php72-shmop + SUBDIR += php72-sysvmsg + SUBDIR += php72-sysvsem + SUBDIR += php72-sysvshm + SUBDIR += php72-tokenizer SUBDIR += phpbt SUBDIR += phpsh SUBDIR += phpunit diff --git a/devel/php72-gettext/Makefile b/devel/php72-gettext/Makefile new file mode 100644 index 000000000000..f5c53650999b --- /dev/null +++ b/devel/php72-gettext/Makefile @@ -0,0 +1,9 @@ +# $FreeBSD$ + +CATEGORIES= devel + +MASTERDIR= ${.CURDIR}/../../lang/php72 + +PKGNAMESUFFIX= -gettext + +.include "${MASTERDIR}/Makefile" diff --git a/devel/php72-intl/Makefile b/devel/php72-intl/Makefile new file mode 100644 index 000000000000..a3c04277f418 --- /dev/null +++ b/devel/php72-intl/Makefile @@ -0,0 +1,9 @@ +# $FreeBSD$ + +CATEGORIES= devel + +MASTERDIR= ${.CURDIR}/../../lang/php72 + +PKGNAMESUFFIX= -intl + +.include "${MASTERDIR}/Makefile" diff --git a/devel/php72-intl/php71-intl/Makefile b/devel/php72-intl/php71-intl/Makefile new file mode 100644 index 000000000000..3544627cd377 --- /dev/null +++ b/devel/php72-intl/php71-intl/Makefile @@ -0,0 +1,9 @@ +# $FreeBSD$ + +CATEGORIES= devel + +MASTERDIR= ${.CURDIR}/../../lang/php71 + +PKGNAMESUFFIX= -intl + +.include "${MASTERDIR}/Makefile" diff --git a/devel/php72-json/Makefile b/devel/php72-json/Makefile new file mode 100644 index 000000000000..06c22ec213e4 --- /dev/null +++ b/devel/php72-json/Makefile @@ -0,0 +1,9 @@ +# $FreeBSD$ + +CATEGORIES= devel + +MASTERDIR= ${.CURDIR}/../../lang/php72 + +PKGNAMESUFFIX= -json + +.include "${MASTERDIR}/Makefile" diff --git a/devel/php72-json/php71-json/Makefile b/devel/php72-json/php71-json/Makefile new file mode 100644 index 000000000000..5bf524943afd --- /dev/null +++ b/devel/php72-json/php71-json/Makefile @@ -0,0 +1,9 @@ +# $FreeBSD$ + +CATEGORIES= devel + +MASTERDIR= ${.CURDIR}/../../lang/php71 + +PKGNAMESUFFIX= -json + +.include "${MASTERDIR}/Makefile" diff --git a/devel/php72-pcntl/Makefile b/devel/php72-pcntl/Makefile new file mode 100644 index 000000000000..5a5ccd0491f1 --- /dev/null +++ b/devel/php72-pcntl/Makefile @@ -0,0 +1,9 @@ +# $FreeBSD$ + +CATEGORIES= devel + +MASTERDIR= ${.CURDIR}/../../lang/php72 + +PKGNAMESUFFIX= -pcntl + +.include "${MASTERDIR}/Makefile" diff --git a/devel/php72-pcntl/php71-pcntl/Makefile b/devel/php72-pcntl/php71-pcntl/Makefile new file mode 100644 index 000000000000..c19b222f6c48 --- /dev/null +++ b/devel/php72-pcntl/php71-pcntl/Makefile @@ -0,0 +1,9 @@ +# $FreeBSD$ + +CATEGORIES= devel + +MASTERDIR= ${.CURDIR}/../../lang/php71 + +PKGNAMESUFFIX= -pcntl + +.include "${MASTERDIR}/Makefile" diff --git a/devel/php72-readline/Makefile b/devel/php72-readline/Makefile new file mode 100644 index 000000000000..fa92d5ef94a0 --- /dev/null +++ b/devel/php72-readline/Makefile @@ -0,0 +1,9 @@ +# $FreeBSD$ + +CATEGORIES= devel + +MASTERDIR= ${.CURDIR}/../../lang/php72 + +PKGNAMESUFFIX= -readline + +.include "${MASTERDIR}/Makefile" diff --git a/devel/php72-readline/files/patch-config.m4 b/devel/php72-readline/files/patch-config.m4 new file mode 100644 index 000000000000..5edf376bf0e2 --- /dev/null +++ b/devel/php72-readline/files/patch-config.m4 @@ -0,0 +1,38 @@ +--- config.m4.orig 2013-08-20 06:46:43.000000000 +0200 ++++ config.m4 2013-08-27 16:01:29.000000000 +0200 +@@ -5,13 +5,8 @@ + PHP_ARG_WITH(libedit,for libedit readline replacement, + [ --with-libedit[=DIR] Include libedit readline replacement (CLI/CGI only)]) + +-if test "$PHP_LIBEDIT" = "no"; then + PHP_ARG_WITH(readline,for readline support, + [ --with-readline[=DIR] Include readline support (CLI/CGI only)]) +-else +- dnl "register" the --with-readline option to preven invalid "unknown configure option" warning +- php_with_readline=no +-fi + + if test "$PHP_READLINE" && test "$PHP_READLINE" != "no"; then + for i in $PHP_READLINE /usr/local /usr; do +@@ -67,6 +62,13 @@ + -L$READLINE_DIR/$PHP_LIBDIR $PHP_READLINE_LIBS + ]) + ++ PHP_CHECK_LIBRARY(readline, rl_completion_matches, ++ [ ++ AC_DEFINE(HAVE_RL_COMPLETION_MATCHES, 1, [ ]) ++ ],[],[ ++ -L$READLINE_DIR/$PHP_LIBDIR $PHP_READLINE_LIBS ++ ]) ++ + AC_DEFINE(HAVE_LIBREADLINE, 1, [ ]) + + elif test "$PHP_LIBEDIT" != "no"; then +@@ -118,7 +120,6 @@ + fi + + if test "$PHP_READLINE" != "no" || test "$PHP_LIBEDIT" != "no"; then +- AC_CHECK_FUNCS([rl_completion_matches]) + PHP_NEW_EXTENSION(readline, readline.c readline_cli.c, $ext_shared, cli) + PHP_SUBST(READLINE_SHARED_LIBADD) + fi diff --git a/devel/php72-readline/files/patch-readline_cli.c b/devel/php72-readline/files/patch-readline_cli.c new file mode 100644 index 000000000000..02f55974f9b0 --- /dev/null +++ b/devel/php72-readline/files/patch-readline_cli.c @@ -0,0 +1,13 @@ +--- readline_cli.c.orig 2012-03-02 16:40:26.000000000 +0100 ++++ readline_cli.c 2012-03-02 16:40:43.000000000 +0100 +@@ -19,6 +19,10 @@ + + /* $Id: readline_cli.c 321634 2012-01-01 13:15:04Z felipe $ */ + ++#ifdef HAVE_CONFIG_H ++#include "config.h" ++#endif ++ + #include "php.h" + + #ifndef HAVE_RL_COMPLETION_MATCHES diff --git a/devel/php72-readline/php71-readline/Makefile b/devel/php72-readline/php71-readline/Makefile new file mode 100644 index 000000000000..e42513610a12 --- /dev/null +++ b/devel/php72-readline/php71-readline/Makefile @@ -0,0 +1,9 @@ +# $FreeBSD$ + +CATEGORIES= devel + +MASTERDIR= ${.CURDIR}/../../lang/php71 + +PKGNAMESUFFIX= -readline + +.include "${MASTERDIR}/Makefile" diff --git a/devel/php72-readline/php71-readline/files/patch-config.m4 b/devel/php72-readline/php71-readline/files/patch-config.m4 new file mode 100644 index 000000000000..5edf376bf0e2 --- /dev/null +++ b/devel/php72-readline/php71-readline/files/patch-config.m4 @@ -0,0 +1,38 @@ +--- config.m4.orig 2013-08-20 06:46:43.000000000 +0200 ++++ config.m4 2013-08-27 16:01:29.000000000 +0200 +@@ -5,13 +5,8 @@ + PHP_ARG_WITH(libedit,for libedit readline replacement, + [ --with-libedit[=DIR] Include libedit readline replacement (CLI/CGI only)]) + +-if test "$PHP_LIBEDIT" = "no"; then + PHP_ARG_WITH(readline,for readline support, + [ --with-readline[=DIR] Include readline support (CLI/CGI only)]) +-else +- dnl "register" the --with-readline option to preven invalid "unknown configure option" warning +- php_with_readline=no +-fi + + if test "$PHP_READLINE" && test "$PHP_READLINE" != "no"; then + for i in $PHP_READLINE /usr/local /usr; do +@@ -67,6 +62,13 @@ + -L$READLINE_DIR/$PHP_LIBDIR $PHP_READLINE_LIBS + ]) + ++ PHP_CHECK_LIBRARY(readline, rl_completion_matches, ++ [ ++ AC_DEFINE(HAVE_RL_COMPLETION_MATCHES, 1, [ ]) ++ ],[],[ ++ -L$READLINE_DIR/$PHP_LIBDIR $PHP_READLINE_LIBS ++ ]) ++ + AC_DEFINE(HAVE_LIBREADLINE, 1, [ ]) + + elif test "$PHP_LIBEDIT" != "no"; then +@@ -118,7 +120,6 @@ + fi + + if test "$PHP_READLINE" != "no" || test "$PHP_LIBEDIT" != "no"; then +- AC_CHECK_FUNCS([rl_completion_matches]) + PHP_NEW_EXTENSION(readline, readline.c readline_cli.c, $ext_shared, cli) + PHP_SUBST(READLINE_SHARED_LIBADD) + fi diff --git a/devel/php72-readline/php71-readline/files/patch-readline_cli.c b/devel/php72-readline/php71-readline/files/patch-readline_cli.c new file mode 100644 index 000000000000..02f55974f9b0 --- /dev/null +++ b/devel/php72-readline/php71-readline/files/patch-readline_cli.c @@ -0,0 +1,13 @@ +--- readline_cli.c.orig 2012-03-02 16:40:26.000000000 +0100 ++++ readline_cli.c 2012-03-02 16:40:43.000000000 +0100 +@@ -19,6 +19,10 @@ + + /* $Id: readline_cli.c 321634 2012-01-01 13:15:04Z felipe $ */ + ++#ifdef HAVE_CONFIG_H ++#include "config.h" ++#endif ++ + #include "php.h" + + #ifndef HAVE_RL_COMPLETION_MATCHES diff --git a/devel/php72-shmop/Makefile b/devel/php72-shmop/Makefile new file mode 100644 index 000000000000..e63f9c7aad20 --- /dev/null +++ b/devel/php72-shmop/Makefile @@ -0,0 +1,9 @@ +# $FreeBSD$ + +CATEGORIES= devel + +MASTERDIR= ${.CURDIR}/../../lang/php72 + +PKGNAMESUFFIX= -shmop + +.include "${MASTERDIR}/Makefile" diff --git a/devel/php72-shmop/php71-shmop/Makefile b/devel/php72-shmop/php71-shmop/Makefile new file mode 100644 index 000000000000..8b3fba13ea76 --- /dev/null +++ b/devel/php72-shmop/php71-shmop/Makefile @@ -0,0 +1,9 @@ +# $FreeBSD$ + +CATEGORIES= devel + +MASTERDIR= ${.CURDIR}/../../lang/php71 + +PKGNAMESUFFIX= -shmop + +.include "${MASTERDIR}/Makefile" diff --git a/devel/php72-sysvmsg/Makefile b/devel/php72-sysvmsg/Makefile new file mode 100644 index 000000000000..087ea907a4dc --- /dev/null +++ b/devel/php72-sysvmsg/Makefile @@ -0,0 +1,9 @@ +# $FreeBSD$ + +CATEGORIES= devel + +MASTERDIR= ${.CURDIR}/../../lang/php72 + +PKGNAMESUFFIX= -sysvmsg + +.include "${MASTERDIR}/Makefile" diff --git a/devel/php72-sysvmsg/php71-sysvmsg/Makefile b/devel/php72-sysvmsg/php71-sysvmsg/Makefile new file mode 100644 index 000000000000..a48ebc656940 --- /dev/null +++ b/devel/php72-sysvmsg/php71-sysvmsg/Makefile @@ -0,0 +1,9 @@ +# $FreeBSD$ + +CATEGORIES= devel + +MASTERDIR= ${.CURDIR}/../../lang/php71 + +PKGNAMESUFFIX= -sysvmsg + +.include "${MASTERDIR}/Makefile" diff --git a/devel/php72-sysvsem/Makefile b/devel/php72-sysvsem/Makefile new file mode 100644 index 000000000000..18bb3eb8f5cb --- /dev/null +++ b/devel/php72-sysvsem/Makefile @@ -0,0 +1,9 @@ +# $FreeBSD$ + +CATEGORIES= devel + +MASTERDIR= ${.CURDIR}/../../lang/php72 + +PKGNAMESUFFIX= -sysvsem + +.include "${MASTERDIR}/Makefile" diff --git a/devel/php72-sysvsem/php71-sysvsem/Makefile b/devel/php72-sysvsem/php71-sysvsem/Makefile new file mode 100644 index 000000000000..27d9aeeb8aeb --- /dev/null +++ b/devel/php72-sysvsem/php71-sysvsem/Makefile @@ -0,0 +1,9 @@ +# $FreeBSD$ + +CATEGORIES= devel + +MASTERDIR= ${.CURDIR}/../../lang/php71 + +PKGNAMESUFFIX= -sysvsem + +.include "${MASTERDIR}/Makefile" diff --git a/devel/php72-sysvshm/Makefile b/devel/php72-sysvshm/Makefile new file mode 100644 index 000000000000..b894a809062a --- /dev/null +++ b/devel/php72-sysvshm/Makefile @@ -0,0 +1,9 @@ +# $FreeBSD$ + +CATEGORIES= devel + +MASTERDIR= ${.CURDIR}/../../lang/php72 + +PKGNAMESUFFIX= -sysvshm + +.include "${MASTERDIR}/Makefile" diff --git a/devel/php72-sysvshm/php71-sysvshm/Makefile b/devel/php72-sysvshm/php71-sysvshm/Makefile new file mode 100644 index 000000000000..cea19b4e25d5 --- /dev/null +++ b/devel/php72-sysvshm/php71-sysvshm/Makefile @@ -0,0 +1,9 @@ +# $FreeBSD$ + +CATEGORIES= devel + +MASTERDIR= ${.CURDIR}/../../lang/php71 + +PKGNAMESUFFIX= -sysvshm + +.include "${MASTERDIR}/Makefile" diff --git a/devel/php72-tokenizer/Makefile b/devel/php72-tokenizer/Makefile new file mode 100644 index 000000000000..c4f14e87e3e4 --- /dev/null +++ b/devel/php72-tokenizer/Makefile @@ -0,0 +1,9 @@ +# $FreeBSD$ + +CATEGORIES= devel + +MASTERDIR= ${.CURDIR}/../../lang/php72 + +PKGNAMESUFFIX= -tokenizer + +.include "${MASTERDIR}/Makefile" diff --git a/devel/php72-tokenizer/php71-tokenizer/Makefile b/devel/php72-tokenizer/php71-tokenizer/Makefile new file mode 100644 index 000000000000..041e58293445 --- /dev/null +++ b/devel/php72-tokenizer/php71-tokenizer/Makefile @@ -0,0 +1,9 @@ +# $FreeBSD$ + +CATEGORIES= devel + +MASTERDIR= ${.CURDIR}/../../lang/php71 + +PKGNAMESUFFIX= -tokenizer + +.include "${MASTERDIR}/Makefile" |