language-servers/deno
1
0
Fork 0
mirror of https://github.com/denoland/deno.git synced 2025-09-26 12:19:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Replace libdeno with rusty_v8 (#3556)

Browse source
This commit is contained in:
Ry Dahl 2020-01-05 09:19:29 -05:00 • committed by GitHub
parent c41280a057
commit 5f1df038fb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
50 changed files with 2292 additions and 7304 deletions
Download patch file Download diff file Expand all files Collapse all files

22
tools/lint.py
View file

@ -4,7 +4,7 @@
import os
import sys
from util import enable_ansi_colors, git_ls_files, libdeno_path, root_path, run
from util import enable_ansi_colors, git_ls_files, root_path, run
from util import third_party_path
from third_party import python_env
@ -12,28 +12,10 @@ from third_party import python_env
def main():
enable_ansi_colors()
os.chdir(root_path)
cpplint()
eslint()
pylint()
def cpplint():
print "cpplint"
script = os.path.join(third_party_path, "cpplint", "cpplint.py")
source_files = git_ls_files(libdeno_path, ["*.cc", "*.h"])
run([
sys.executable,
script,
"--quiet",
"--filter=-build/include_subdir",
"--repository=" + libdeno_path,
"--",
] + source_files,
env=python_env(),
shell=False,
quiet=True)
def eslint():
print "eslint"
script = os.path.join(third_party_path, "node_modules", "eslint", "bin",
@ -55,7 +37,7 @@ def eslint():
def pylint():
print "pylint"
script = os.path.join(third_party_path, "python_packages", "pylint")
rcfile = os.path.join(third_party_path, "depot_tools", "pylintrc")
rcfile = os.path.join(root_path, "tools", "pylintrc")
source_files = git_ls_files(root_path, ["*.py"])
run([sys.executable, script, "--rcfile=" + rcfile, "--"] + source_files,
env=python_env(),