From 6f11326fda6cf41f1a5bd3000511ff03713ea186 Mon Sep 17 00:00:00 2001 From: Andrew Hamilton Date: Fri, 25 Jan 2019 12:03:31 +1000 Subject: [PATCH] tools: Dropped splint since its unmaintained and doesn't compile. --- eris/tools.py | 7 ------- eris/tools.toml | 2 +- tests/golden-files/results/splint-hello_c | 3 --- tests/golden-files/results/splint-hello_h | 3 --- tests/tools_test.py | 4 ---- 5 files changed, 1 insertion(+), 18 deletions(-) delete mode 100644 tests/golden-files/results/splint-hello_c delete mode 100644 tests/golden-files/results/splint-hello_h diff --git a/eris/tools.py b/eris/tools.py index 3f26132..1f4db82 100644 --- a/eris/tools.py +++ b/eris/tools.py @@ -420,13 +420,6 @@ def perltidy(path): # perl6_syntax.deps={"rakudo"} -@deps(deps={"splint"}, url="splint", executables={"splint"}) -def splint(path): - stdout, stderr, returncode = _do_command(["splint", "-preproc", path]) - status = Status.ok if returncode == 0 else Status.problem - return status, fill3.Text(stdout + stderr) - - @deps(deps={"tidy"}, url="tidy", executables={"tidy"}) def html_syntax(path): # Maybe only show errors diff --git a/eris/tools.toml b/eris/tools.toml index ec9de86..2e240fd 100644 --- a/eris/tools.toml +++ b/eris/tools.toml @@ -11,7 +11,7 @@ tools_for_extensions = [ [["pl", "pm", "t"], ["perl_syntax", "perldoc", "perltidy"]], # [["p6", "pm6"], ["perl6_syntax", "perldoc"]], [["pod", "pod6"], ["perldoc"]], [["java"], ["uncrustify"]], - [["c", "h"], ["c_syntax_gcc", "splint", "uncrustify", "cppcheck", "clang_format"]], + [["c", "h"], ["c_syntax_gcc", "uncrustify", "cppcheck", "clang_format"]], [["cc", "cpp", "hpp"], ["cpp_syntax_gcc", "bcpp", "uncrustify", "cppcheck", "clang_format"]], [["rb"], ["ruby_syntax"]], diff --git a/tests/golden-files/results/splint-hello_c b/tests/golden-files/results/splint-hello_c deleted file mode 100644 index 65556c5..0000000 --- a/tests/golden-files/results/splint-hello_c +++ /dev/null @@ -1,3 +0,0 @@ -Splint 3.1.2 --- 20 Feb 2018 - -Finished checking --- no warnings \ No newline at end of file diff --git a/tests/golden-files/results/splint-hello_h b/tests/golden-files/results/splint-hello_h deleted file mode 100644 index 65556c5..0000000 --- a/tests/golden-files/results/splint-hello_h +++ /dev/null @@ -1,3 +0,0 @@ -Splint 3.1.2 --- 20 Feb 2018 - -Finished checking --- no warnings \ No newline at end of file diff --git a/tests/tools_test.py b/tests/tools_test.py index bdb6c56..3e795ec 100755 --- a/tests/tools_test.py +++ b/tests/tools_test.py @@ -164,10 +164,6 @@ class ToolsTestCase(unittest.TestCase): def test_c_syntax_gcc(self): self._test_tool(tools.c_syntax_gcc, [("hello.c", tools.Status.ok)]) - def test_splint(self): - self._test_tool(tools.splint, [("hello.c", tools.Status.ok), - ("hello.h", tools.Status.ok)]) - def test_objdump_headers(self): self._test_tool(tools.objdump_headers, [("Mcrt1.o", tools.Status.normal)])