diff options
Diffstat (limited to 'ext/snmp/config.w32')
| -rw-r--r-- | ext/snmp/config.w32 | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/ext/snmp/config.w32 b/ext/snmp/config.w32 new file mode 100644 index 0000000000..4bf6750d41 --- /dev/null +++ b/ext/snmp/config.w32 @@ -0,0 +1,18 @@ +// $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"); + } +} + |