From cfe154be8cce39b7c2bbe69a61d1ceb818d2a8f7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= <matthias.krueger@famsik.de>
Date: Tue, 9 Feb 2021 16:58:39 +0100
Subject: [PATCH] start a clippy-dev readme and some rough info on how to use
 lintcheck

---
 clippy_dev/README.md | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 clippy_dev/README.md

diff --git a/clippy_dev/README.md b/clippy_dev/README.md
new file mode 100644
index 000000000..6ab8ecbdb
--- /dev/null
+++ b/clippy_dev/README.md
@@ -0,0 +1,26 @@
+## Clippy-dev is a tool to ease clippys development, similar to `rustc`s `x.py`.
+
+Functionalities (incomplete):
+
+# lintcheck
+Runs clippy on a fixed set of crates read from `clippy_dev/lintcheck_crates.toml`
+and saves logs of the lint warnings into the repo.
+We can then check the diff and spot new or disappearing warnings.
+
+From the repo root, run:
+````
+cargo run --target-dir clippy_dev/target --package clippy_dev \
+--bin clippy_dev --manifest-path clippy_dev/Cargo.toml --features lintcheck -- lintcheck
+````
+or
+````
+cargo dev-lintcheck
+````
+
+By default the logs will be saved into `lintcheck-logs/lintcheck_crates_logs.txt`.
+
+You can set a custom sources.toml by adding `--crates-toml custom.toml`
+where `custom.toml` must be a relative path from the repo root.
+
+The results will then be saved to `lintcheck-logs/custom_logs.toml`.
+