Revert "tooling: remove tools/Makefile (bp #6102) (#6106)"

This reverts commit 1b2174a0da.
2026-04-27 11:05:06 +00:00 · 2021-02-18 02:26:02 +01:00
parent 340071d81b
commit afd07096a7
6 changed files with 155 additions and 86 deletions
--- a/docs/app-dev/abci-cli.md
+++ b/docs/app-dev/abci-cli.md
@@ -17,6 +17,7 @@ Next, install the `abci-cli` tool and example applications:
 ```sh
 git clone https://github.com/tendermint/tendermint.git
 cd tendermint
+make tools
 make install_abci
 ```

--- a/docs/app-dev/getting-started.md
+++ b/docs/app-dev/getting-started.md
@@ -34,6 +34,7 @@ Then run
 ```sh
 go get github.com/tendermint/tendermint
 cd $GOPATH/src/github.com/tendermint/tendermint
+make tools
 make install_abci
 ```

--- a/docs/introduction/install.md
+++ b/docs/introduction/install.md
@@ -25,6 +25,12 @@ git clone https://github.com/tendermint/tendermint.git
 cd tendermint
 ```

+### Get Tools & Dependencies
+
+```sh
+make tools
+```
+
 ### Compile

 ```sh