changeset 46:6593d1c4c7b5

MERGE: the php71 plugin from the old repository
author Franz Glasner <fzglas.hg@dom66.de>
date Sat, 09 Mar 2019 13:48:07 +0100
parents 94e0229666fe (current diff) d6afe642b5b9 (diff)
children bf72b7f84f7a
files
diffstat 2 files changed, 32 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /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"
--- /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/