| Index: tools/gcmole/run-gcmole.py
|
| diff --git a/tools/gcmole/run-gcmole.py b/tools/gcmole/run-gcmole.py
|
| new file mode 100755
|
| index 0000000000000000000000000000000000000000..9f7e2465fdffa0e8bf61c186961551f7a6bc6bba
|
| --- /dev/null
|
| +++ b/tools/gcmole/run-gcmole.py
|
| @@ -0,0 +1,21 @@
|
| +#!/usr/bin/env python
|
| +# Copyright 2016 the V8 project authors. All rights reserved.
|
| +# Use of this source code is governed by a BSD-style license that can be
|
| +# found in the LICENSE file.
|
| +
|
| +import os
|
| +import subprocess
|
| +import sys
|
| +
|
| +GCMOLE_PATH = os.path.dirname(os.path.abspath(__file__))
|
| +CLANG_BIN = os.path.join(GCMOLE_PATH, 'gcmole-tools', 'bin')
|
| +CLANG_PLUGINS = os.path.join(GCMOLE_PATH, 'gcmole-tools')
|
| +LUA = os.path.join(GCMOLE_PATH, 'gcmole-tools', 'lua52')
|
| +DRIVER = os.path.join(GCMOLE_PATH, 'gcmole.lua')
|
| +
|
| +assert len(sys.argv) == 2
|
| +
|
| +sys.exit(subprocess.call(
|
| + [LUA, DRIVER, sys.argv[1]],
|
| + env={'CLANG_BIN': CLANG_BIN, 'CLANG_PLUGINS': CLANG_PLUGINS},
|
| +))
|
|
|