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