0
0
mirror of https://github.com/phpv8/v8js.git synced 2024-09-19 01:35:18 +00:00
phpv8/config.w32
2013-09-26 17:23:32 +02:00

16 lines
355 B
Plaintext

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");
}
}