diff options
| author | Wez Furlong <wez@php.net> | 2003-12-19 15:04:31 +0000 |
|---|---|---|
| committer | Wez Furlong <wez@php.net> | 2003-12-19 15:04:31 +0000 |
| commit | 0c126e1233ee35c92d0f58f20fc4b40478f0b55f (patch) | |
| tree | 274de44354175d4c8a0455b3182058c0b15f8c84 /ext/ming | |
| parent | da4a9eea92e0a43895ba10419ac3d1b1a2ed8586 (diff) | |
| download | php-git-0c126e1233ee35c92d0f58f20fc4b40478f0b55f.tar.gz | |
make these build with new win32 build system.
mcve untested (I don't have those libs/headers)
Diffstat (limited to 'ext/ming')
| -rw-r--r-- | ext/ming/config.w32 | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/ext/ming/config.w32 b/ext/ming/config.w32 new file mode 100644 index 0000000000..8185ffe784 --- /dev/null +++ b/ext/ming/config.w32 @@ -0,0 +1,16 @@ +// $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"); + } +} + |