config.w32

// $Id$
// vim:ft=javascript

// If your extension references something external, use ARG_WITH
// ARG_WITH("ant", "for ant support", "no");

// Otherwise, use ARG_ENABLE
ARG_ENABLE("ant", "enable ant support", "no");

if (PHP_ANT != "no") {
	EXTENSION("ant", "ant.c", PHP_EXTNAME_SHARED, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1");
}