Rename Make commands and add additional information when prettier is not installed

Author: dlachaume

.github/workflows/ci.yml

@@ -279,7 +279,7 @@ jobs:
 
       - name: Check code formatting
         if: success() || failure()
-        run: make lint
+        run: make check-format
 
   e2e:
     runs-on: ubuntu-22.04

Makefile

@@ -2,7 +2,7 @@ COMPONENTS = mithril-common mithril-stm mithril-aggregator mithril-client mithri
 			internal/mithril-persistence internal/mithril-doc-derive internal/mithril-doc internal/mithril-build-script \
 			demo/protocol-demo mithril-test-lab/mithril-end-to-end
 GOALS := $(or $(MAKECMDGOALS),all)
-NON_COMPONENT_GOALS := lint format
+NON_COMPONENT_GOALS := check-format format
 
 .PHONY: $(GOALS) $(COMPONENTS) $(NON_COMPONENT_GOALS)
 
@@ -11,8 +11,11 @@ $(filter-out $(NON_COMPONENT_GOALS),$(GOALS)): $(COMPONENTS)
 $(COMPONENTS):
 	$(MAKE) -C $@ $(MAKECMDGOALS)
 
-lint:
+check-format:
+	@echo 'Note: Rust is not checked by this recipe, use `make check`'
+	@which prettier >/dev/null || echo 'It seems 'prettier' is not installed or not in the path. see https://prettier.io/docs/en/install';
 	prettier --check .
 
 format:
+	@which prettier >/dev/null || echo 'It seems 'prettier' is not installed or not in the path. see https://prettier.io/docs/en/install';
 	prettier --write .