diff --git a/config.w32 b/config.w32 new file mode 100644 index 0000000..bb134be --- /dev/null +++ b/config.w32 @@ -0,0 +1,19 @@ + +ARG_WITH("v8js", "for V8 Javascript Engine", "no"); + +if (PHP_V8JS != "no") { + if (CHECK_LIB("v8.lib", "v8js") && + CHECK_HEADER_ADD_INCLUDE("v8.h", "CFLAGS_V8JS")) { + + + AC_DEFINE("PHP_V8_API_VERSION", "3017015", "", false); + AC_DEFINE("PHP_V8_VERSION", "3.17.15", "", true); + + EXTENSION("v8js", "v8js.cc v8js_convert.cc v8js_methods.cc v8js_variables.cc", "yes"); + + } else { + WARNING("v8js not enabled, headers or libs not found"); + } + +} +