diff options
| -rw-r--r-- | .arcconfig | 6 | ||||
| -rw-r--r-- | .arclint | 9 |
2 files changed, 14 insertions, 1 deletions
diff --git a/.arcconfig b/.arcconfig index b9c39321ed..c886789d35 100644 --- a/.arcconfig +++ b/.arcconfig @@ -1,5 +1,9 @@ { "project.name" : "ghc", "repository.callsign" : "GHC", - "phabricator.uri" : "https://phabricator.haskell.org" + "phabricator.uri" : "https://phabricator.haskell.org", + + "load": [ + ".arc-linters/arcanist-external-json-linter" + ] } @@ -52,6 +52,15 @@ "severity": { "2": "disabled" } + }, + "check-binaries": { + "type": "external-json", + "external-json.script": "python .arc-linters/check-binaries.py" + }, + "bad-assert-clang-cpp": { + "type": "external-json", + "include": ["(\\.(l?hs|x|y\\.pp)(\\.in)?$)", "(\\.(c|h)$)"], + "external-json.script": "python .arc-linters/check-cpp.py" } }, |