comparison uwsginl-plugin-lang-php71/Makefile @ 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 d6afe642b5b9
children 4ddf40c2765a
comparison
equal deleted inserted replaced
43:94e0229666fe 46:6593d1c4c7b5
1 # Created by: Franz Glasner <freebsd-dev@dom66.de>
2 # $FreeBSD$
3
4 PORTNAME= ${UWSGI_NAME}-plugin-lang-php71
5 CATEGORIES= www lang devel
6
7 COMMENT= Language plugin for PHP 7.1
8
9 LIB_DEPENDS+= libxml2.so:textproc/libxml2 \
10 libpcre.so:devel/pcre
11
12 USES= php:build,embed
13 USE_PHP= session:build xml:build
14 PHP_VER= 71
15 DEFAULT_VERSIONS+= php=${PHP_VER}
16
17 MASTERDIR= ${.CURDIR}/../uwsginl-plugin-lang-py3
18
19 PLUGIN_NAME= php71
20 PLUGIN_SOURCE= plugins/php
21
22 #
23 # Check whether uwsginl has been built with both libpcre and libxml2
24 #
25 pre-build:
26 @( ${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 )
27 @( ${UWSGI_PATH} --no-server --cflags | ${GREP} -- '-DUWSGI_PCRE' >/dev/null ) || ( echo "Error: ${UWSGI_PATH} needs to be built with PCRE support (libpcre)" && exit 1 )
28
29 .include "${MASTERDIR}/Makefile"