From 15cc7850250b7c8e60e308a6847ea57900340b1d Mon Sep 17 00:00:00 2001 From: leohhhn Date: Tue, 16 Apr 2024 13:24:06 +0900 Subject: [PATCH 1/3] add gnodev to make install command --- Makefile | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/Makefile b/Makefile index 597ea668220..a35400d8afd 100644 --- a/Makefile +++ b/Makefile @@ -29,12 +29,7 @@ VERIFY_MOD_SUMS ?= false ######################################## # Dev tools .PHONY: install -install: install.gnokey install.gno - @if ! command -v gnodev > /dev/null; then \ - echo ------------------------------; \ - echo "For local realm development, gnodev is recommended: https://docs.gno.land/gno-tooling/cli/gno-tooling-gnodev"; \ - echo "You can install it by calling 'make install.gnodev'"; \ - fi +install: install.gnokey install.gno install.gnodev # shortcuts to frequently used commands from sub-components. .PHONY: install.gnokey From 0a02ad54d3bcfaa42a5cc516d55614f76712ca89 Mon Sep 17 00:00:00 2001 From: leohhhn Date: Tue, 16 Apr 2024 13:31:30 +0900 Subject: [PATCH 2/3] add color, better phrasing --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index a35400d8afd..a3fe610e815 100644 --- a/Makefile +++ b/Makefile @@ -35,15 +35,15 @@ install: install.gnokey install.gno install.gnodev .PHONY: install.gnokey install.gnokey: $(MAKE) --no-print-directory -C ./gno.land install.gnokey - @echo "[+] 'gnokey' is installed. more info in ./gno.land/." + @echo "\033[0;32m[+] 'gnokey' has been installed. Read more in ./gno.land/\033[0m" .PHONY: install.gno install.gno: $(MAKE) --no-print-directory -C ./gnovm install - @echo "[+] 'gno' is installed. more info in ./gnovm/." + @echo "\033[0;32m[+] 'gno' has been installed. Read more in ./gnovm/\033[0m" .PHONY: install.gnodev install.gnodev: $(MAKE) --no-print-directory -C ./contribs install.gnodev - @echo "[+] 'gnodev' is installed." + @echo "\033[0;32m[+] 'gnodev' has been installed. Read more in ./contribs/gnodev/\033[0m" # old aliases .PHONY: install_gnokey From d97abae3a944c8b2b22866a4e0e0c6e61a0b76b7 Mon Sep 17 00:00:00 2001 From: leohhhn Date: Tue, 16 Apr 2024 16:25:42 +0900 Subject: [PATCH 3/3] add ansi comment --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index a3fe610e815..c2f5156e054 100644 --- a/Makefile +++ b/Makefile @@ -35,6 +35,7 @@ install: install.gnokey install.gno install.gnodev .PHONY: install.gnokey install.gnokey: $(MAKE) --no-print-directory -C ./gno.land install.gnokey + # \033[0;32m ... \033[0m is ansi for green text. @echo "\033[0;32m[+] 'gnokey' has been installed. Read more in ./gno.land/\033[0m" .PHONY: install.gno install.gno: