diff options
Diffstat (limited to 'webkit/webkit.gyp')
| -rw-r--r-- | webkit/webkit.gyp | 27 |
1 files changed, 22 insertions, 5 deletions
diff --git a/webkit/webkit.gyp b/webkit/webkit.gyp index 631b6a3..fbc5f8b 100644 --- a/webkit/webkit.gyp +++ b/webkit/webkit.gyp @@ -5,7 +5,6 @@ { 'includes': [ '../third_party/WebKit/WebKit/chromium/features.gypi', - '../third_party/WebKit/WebKit/chromium/WebKit.gypi', '../third_party/WebKit/WebCore/WebCore.gypi', ], 'variables': { @@ -23,7 +22,9 @@ # List of DevTools source files, ordered by dependencies. It is used both # for copying them to resource dir, and for generating 'devtools.html' file. 'devtools_files': [ - '<@(devtools_css_files)', + 'glue/devtools/js/devtools.css', + 'glue/devtools/js/inspector_controller_impl.js', + 'glue/devtools/js/debugger_agent.js', '../v8/tools/codemap.js', '../v8/tools/consarray.js', '../v8/tools/csvparser.js', @@ -31,7 +32,12 @@ '../v8/tools/profile.js', '../v8/tools/profile_view.js', '../v8/tools/splaytree.js', - '<@(devtools_js_files)', + 'glue/devtools/js/profiler_agent.js', + 'glue/devtools/js/profiler_processor.js', + 'glue/devtools/js/heap_profiler_panel.js', + 'glue/devtools/js/devtools.js', + 'glue/devtools/js/devtools_host_stub.js', + 'glue/devtools/js/tests.js', ], 'debug_devtools%': 0, @@ -477,8 +483,19 @@ { 'destination': '<(PRODUCT_DIR)/resources/inspector/Images', 'files': [ - '<@(webinspector_image_files)', - '<@(devtools_image_files)', + + '<@(webinspector_image_files)', + + 'glue/devtools/js/Images/segmentChromium.png', + 'glue/devtools/js/Images/segmentHoverChromium.png', + 'glue/devtools/js/Images/segmentHoverEndChromium.png', + 'glue/devtools/js/Images/segmentSelectedChromium.png', + 'glue/devtools/js/Images/segmentSelectedEndChromium.png', + 'glue/devtools/js/Images/statusbarBackgroundChromium.png', + 'glue/devtools/js/Images/statusbarBottomBackgroundChromium.png', + 'glue/devtools/js/Images/statusbarButtonsChromium.png', + 'glue/devtools/js/Images/statusbarMenuButtonChromium.png', + 'glue/devtools/js/Images/statusbarMenuButtonSelectedChromium.png', ], }, ], |