0
0
mirror of https://github.com/phpv8/v8js.git synced 2024-11-08 13:48:40 +00:00

set v8 version accordingly

This commit is contained in:
Stefan Siegl 2018-11-06 13:20:30 +01:00
parent 4033f28543
commit dea7395e57
No known key found for this signature in database
GPG Key ID: 73942AF5642F3DDA

View File

@ -15,10 +15,10 @@ if (PHP_V8JS != "no") {
ADD_FLAG("CFLAGS_V8JS", "/D __STDC_LIMIT_MACROS"); ADD_FLAG("CFLAGS_V8JS", "/D __STDC_LIMIT_MACROS");
// defaults // defaults
var v8major = 5; var v8major = 7;
var v8minor = 8; var v8minor = 0;
var v8build = 301; var v8build = 276;
var v8patch = 0; var v8patch = 11;
var v8pinc = search_paths("v8-version.h", php_usual_include_suspects, null); var v8pinc = search_paths("v8-version.h", php_usual_include_suspects, null);
if (typeof(v8pinc) == "string") { if (typeof(v8pinc) == "string") {
var v8versionh = file_get_contents(v8pinc + '\\v8-version.h'); var v8versionh = file_get_contents(v8pinc + '\\v8-version.h');