[mapserver-users] MapServer 7.2.0 PHP support?

[Richard Greenwood]

Is there php7 mapscript support in MapServer 7.2? I grabbed the 7.2 beta
and built the cgi mapserv on Ubuntu 18.07 then tried to build with php
mapscript. Ubuntu 18.04 provides php 7.2. I got cmake to generate a
Makefile but a couple things stand out below, the "PHP5" and the two
"NOTFOUND".

PHP5_CONFIG_EXECUTABLE     /usr/bin/php-config
PHP5_EXECUTABLE            /usr/bin/php
PHP5_FOUND_INCLUDE_PATH    PHP5_FOUND_INCLUDE_PATH-NOTFOUND
PHP5_LIBRARY               PHP5_LIBRARY-NOTFOUND

When I try to build with the generated Makefile I get a lot of errors.

So is it supposed to work and I'm just missing something(s) or is php7 not
supported?

Thanks,
Rich

-- 
Richard W. Greenwood, PLS
www.greenwoodmap.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osgeo.org/pipermail/mapserver-users/attachments/20180514/f5123b1b/attachment.html>