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}, |
+)) |