mirror of
https://github.com/php/php-src.git
synced 2024-10-21 00:12:34 +00:00
17 lines
675 B
JavaScript
17 lines
675 B
JavaScript
// vim:ft=javascript
|
|
// $Id$
|
|
|
|
ARG_WITH('pi3web', 'Pi3Web', 'no');
|
|
|
|
if (PHP_PI3WEB != "no") {
|
|
if (CHECK_HEADER_ADD_INCLUDE('PiAPI.h', 'CFLAGS_PI3WEB', PHP_PHP_BUILD + "\\Pi3Web\\include;" + PHP_PI3WEB) &&
|
|
CHECK_LIB('piapi.lib', 'pi3web', PHP_PHP_BUILD + "\\Pi3Web\\lib;" + PHP_PI3WEB) &&
|
|
CHECK_LIB('pi2api.lib', 'pi3web', PHP_PHP_BUILD + "\\Pi3Web\\lib;" + PHP_PI3WEB) &&
|
|
CHECK_LIB('pi3api.lib', 'pi3web', PHP_PHP_BUILD + "\\Pi3Web\\lib;" + PHP_PI3WEB)) {
|
|
SAPI('pi3web', 'pi3web_sapi.c', 'php' + PHP_VERSION + 'pi3web.dll', '/D PHP5PI3WEB_EXPORTS');
|
|
AC_DEFINE('WITH_PI3WEB', 1);
|
|
} else {
|
|
WARNING('Pi3Web not enabled; headers/libraries not found');
|
|
}
|
|
}
|