# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1552135687 -3600
# Node ID 6593d1c4c7b5c4bfbdf94ac2a1f3aee6e717945e
# Parent  94e0229666fe69f7694bdff66e9336b4e549707c# Parent  d6afe642b5b9ddff183b19897331511de3e90219
MERGE: the php71 plugin from the old repository

diff -r 94e0229666fe -r 6593d1c4c7b5 uwsginl-plugin-lang-php71/Makefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/uwsginl-plugin-lang-php71/Makefile	Sat Mar 09 13:48:07 2019 +0100
@@ -0,0 +1,29 @@
+# Created by: Franz Glasner <freebsd-dev@dom66.de>
+# $FreeBSD$
+
+PORTNAME=	${UWSGI_NAME}-plugin-lang-php71
+CATEGORIES=	www lang devel
+
+COMMENT=	Language plugin for PHP 7.1
+
+LIB_DEPENDS+=	libxml2.so:textproc/libxml2 \
+		libpcre.so:devel/pcre
+
+USES=			php:build,embed
+USE_PHP=		session:build xml:build
+PHP_VER=		71
+DEFAULT_VERSIONS+=	php=${PHP_VER}
+
+MASTERDIR=	${.CURDIR}/../uwsginl-plugin-lang-py3
+
+PLUGIN_NAME=	php71
+PLUGIN_SOURCE=	plugins/php
+
+#
+# Check whether uwsginl has been built with both libpcre and libxml2
+#
+pre-build:
+	@( ${UWSGI_PATH} --no-server --cflags | ${GREP} -- '-DUWSGI_XML_LIBXML2' >/dev/null ) || ( echo "Error: ${UWSGI_PATH} needs to be built with XML support (libxml2)" && exit 1 )
+	@( ${UWSGI_PATH} --no-server --cflags | ${GREP} -- '-DUWSGI_PCRE' >/dev/null ) || ( echo "Error: ${UWSGI_PATH} needs to be built with PCRE support (libpcre)" && exit 1 )
+
+.include	"${MASTERDIR}/Makefile"
diff -r 94e0229666fe -r 6593d1c4c7b5 uwsginl-plugin-lang-php71/pkg-descr
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/uwsginl-plugin-lang-php71/pkg-descr	Sat Mar 09 13:48:07 2019 +0100
@@ -0,0 +1,3 @@
+PHP7.1 language plugin (interpreter) for uwsginl.
+
+WWW: http://projects.unbit.it/uwsgi/