mirror of
https://github.com/php/php-src.git
synced 2024-12-14 04:16:30 +08:00
19 lines
437 B
JavaScript
19 lines
437 B
JavaScript
// $Id$
|
|
// vim:ft=javascript
|
|
|
|
ARG_WITH("snmp", "SNMP support", "no");
|
|
|
|
if (PHP_SNMP != "no") {
|
|
|
|
if (CHECK_HEADER_ADD_INCLUDE("snmp.h", "CFLAGS_SNMP", PHP_PHP_BUILD + "\\include\\ucd-snmp;" + PHP_PHP_BUILD + "\\include\\net-snmp;" + PHP_SNMP) &&
|
|
CHECK_LIB("libsnmp.lib", "snmp", PHP_SNMP)) {
|
|
EXTENSION('snmp', 'snmp.c');
|
|
|
|
AC_DEFINE('HAVE_SNMP', 1);
|
|
|
|
} else {
|
|
WARNING("snmp not enabled; libraries and headers not found");
|
|
}
|
|
}
|
|
|