config.w32

ARG_WITH('parallel', 'parallel support', 'no');

if (PHP_PARALLEL != 'no') {
	if (PHP_ZTS == "no") {
		WARNING("Parallel extension requires ZTS build of PHP on windows");
	} else {
		AC_DEFINE('HAVE_PARALLEL', 1, 'parallel support enabled');

		if(CHECK_HEADER_ADD_INCLUDE("pthread.h", "CFLAGS_PARALLEL", PHP_PARALLEL + ";" + configure_module_dirname) &&    
			CHECK_HEADER_ADD_INCLUDE("sched.h", "CFLAGS_PARALLEL", PHP_PARALLEL + ";" + configure_module_dirname) &&
			CHECK_LIB("pthreadVC2.lib", "parallel", PHP_PARALLEL)) {
			EXTENSION("parallel", "php_parallel.c", PHP_PARALLEL_SHARED, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1 /I" + configure_module_dirname);
			ADD_SOURCES(
				configure_module_dirname + "/src",
				"exceptions.c copy.c check.c dependencies.c cache.c monitor.c parallel.c runtime.c scheduler.c future.c channel.c link.c handlers.c events.c poll.c loop.c event.c input.c sync.c",
				"parallel"
			);
		} else {
			WARNING("parallel not enabled; pthread libraries and headers not found");
		}
	}
}