<div dir="ltr"><div>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".</div><div><br></div><div><font face="monospace, monospace" size="1">PHP5_CONFIG_EXECUTABLE     /usr/bin/php-config</font></div><div><font face="monospace, monospace" size="1">PHP5_EXECUTABLE            /usr/bin/php</font></div><div><font face="monospace, monospace" size="1">PHP5_FOUND_INCLUDE_PATH    PHP5_FOUND_INCLUDE_PATH-NOTFOUND</font></div><div><font face="monospace, monospace" size="1">PHP5_LIBRARY               PHP5_LIBRARY-NOTFOUND</font></div><div><br></div><div>When I try to build with the generated Makefile I get a lot of errors. </div><div><br></div><div>So is it supposed to work and I'm just missing something(s) or is php7 not supported?</div><div><br></div><div>Thanks,</div><div>Rich</div><div><br></div>-- <br><div class="gmail-m_4065466465708649040gmail_signature"><div dir="ltr">Richard W. Greenwood, PLS<br><a href="http://www.greenwoodmap.com" target="_blank">www.greenwoodmap.com</a></div></div>
</div>