diff options
author | Jeroen Ooms <jeroenooms@gmail.com> | 2021-07-06 17:09:25 +0300 |
---|---|---|
committer | Michaël Zasso <targos@protonmail.com> | 2021-07-11 10:16:20 +0300 |
commit | c476bb844c9db5539fd4104a3f4fec053d7e778c (patch) | |
tree | 6b4f0ed4b506367ba6a1105c6524ef3553373b86 /tools/install.py | |
parent | b5375f2e552cced2e716182c07db94318cb450ea (diff) |
build: restore libplatform headers in distribution
Headers considered non-essential were removed in #37570, however the
libplatform API is actualy needed (and used) by external software
initiaing the v8 engine, see for example:
https://chromium.googlesource.com/v8/v8/+/refs/heads/main/samples/hello-world.cc
PR-URL: https://github.com/nodejs/node/pull/39288
Reviewed-By: Michaël Zasso <targos@protonmail.com>
Reviewed-By: Richard Lau <rlau@redhat.com>
Reviewed-By: Michael Dawson <midawson@redhat.com>
Reviewed-By: Colin Ihrig <cjihrig@gmail.com>
Diffstat (limited to 'tools/install.py')
-rwxr-xr-x | tools/install.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/install.py b/tools/install.py index 045d406d84b..24cf51e7319 100755 --- a/tools/install.py +++ b/tools/install.py @@ -160,6 +160,9 @@ def headers(action): def wanted_v8_headers(files_arg, dest): v8_headers = [ 'deps/v8/include/cppgc/common.h', + 'deps/v8/include/libplatform/libplatform.h', + 'deps/v8/include/libplatform/libplatform-export.h', + 'deps/v8/include/libplatform/v8-tracing.h', 'deps/v8/include/v8.h', 'deps/v8/include/v8-internal.h', 'deps/v8/include/v8-platform.h', |