config.w32

ARG_ENABLE('ffi', 'ffi support', 'no');

if (PHP_FFI != 'no') {
	if (CHECK_HEADER_ADD_INCLUDE("ffi.h", "CFLAGS_FFI", PHP_FFI+ ";" + PHP_PHP_BUILD + "\\include") &&
		CHECK_LIB("libffi.lib", "ffi", PHP_FFI)) {
		AC_DEFINE('HAVE_FFI', 1, 'ffi support enabled');

		EXTENSION('ffi', 'ffi.c ffi_parser.c', null, '/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1');
	} else {
		WARNING('ffi not enabled, headers or libraries not found');
	}
}