From 1ab65a00df238c595ba4309fd2769a1d4b548f7f Mon Sep 17 00:00:00 2001 From: Jeroen Ooms Date: Tue, 6 Jul 2021 16:09:25 +0200 Subject: [PATCH] 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 --- tools/install.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/tools/install.py b/tools/install.py index 045d406d84be30..24cf51e73199e6 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',