mirror of
https://github.com/phpv8/v8js.git
synced 2025-01-03 12:21:51 +00:00
reworked config.w32
the latest v8 versions won't compile with this ext, so used 3.17.15
This commit is contained in:
parent
9dcb92cef4
commit
1fb0a1e049
@ -2,10 +2,14 @@
|
||||
ARG_WITH("v8js", "for V8 Javascript Engine", "no");
|
||||
|
||||
if (PHP_V8JS != "no") {
|
||||
if (CHECK_LIB("v8_base.lib", "v8js") &&
|
||||
if (CHECK_LIB("v8.lib", "v8js") &&
|
||||
CHECK_HEADER_ADD_INCLUDE("v8.h", "CFLAGS_V8JS")) {
|
||||
|
||||
EXTENSION("v8js", "v8js.cc v8js_convert.cc v8js_methods.cc v8js_variables.cc", "yes");
|
||||
|
||||
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");
|
||||
|
Loading…
Reference in New Issue
Block a user