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