// $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");
	}
}