blob: 8185ffe784fbded189cc2d15edb3d8ea62025187 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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");
}
}
|
