diff options
Diffstat (limited to 'ext/ming/config.w32')
| -rw-r--r-- | ext/ming/config.w32 | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/ext/ming/config.w32 b/ext/ming/config.w32 deleted file mode 100644 index 8185ffe784..0000000000 --- a/ext/ming/config.w32 +++ /dev/null @@ -1,16 +0,0 @@ -// $Id$ -// vim:ft=javascript - -ARG_WITH("ming", "MING support", "no"); - -if (PHP_MING != "no") { - - if (CHECK_HEADER_ADD_INCLUDE("ming.h", "CFLAGS_MING", PHP_MING) && - CHECK_LIB("libming.lib", "ming", PHP_MING)) { - EXTENSION('ming', 'ming.c'); - AC_DEFINE('HAVE_MING', 1); - } else { - WARNING("ming not enabled; libraries and headers not found"); - } -} - |