diff options
| author | Jeroen Ooms <jeroenooms@gmail.com> | 2021-07-06 16:09:25 +0200 |
|---|---|---|
| committer | Michaël Zasso <targos@protonmail.com> | 2021-07-11 09:16:20 +0200 |
| commit | c476bb844c9db5539fd4104a3f4fec053d7e778c (patch) | |
| tree | 6b4f0ed4b506367ba6a1105c6524ef3553373b86 /tools/install.py | |
| parent | b5375f2e552cced2e716182c07db94318cb450ea (diff) | |
| download | node-new-c476bb844c9db5539fd4104a3f4fec053d7e778c.tar.gz | |
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 045d406d84..24cf51e731 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', |