From 1f86dd4f5dd7e289d20f65f9228d03e88f2e5296 Mon Sep 17 00:00:00 2001 From: Michele Alberti <michele.alberti@cea.fr> Date: Fri, 17 Apr 2020 12:08:15 +0200 Subject: [PATCH] [Ivette] Add Makefile targets for typechecking and linting. --- ivette/Makefile | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/ivette/Makefile b/ivette/Makefile index 2594cb8e96f..2f7a87746c5 100644 --- a/ivette/Makefile +++ b/ivette/Makefile @@ -8,13 +8,21 @@ DOME_API=./src/frama-c COPYRIGHT=CEA LIST / LSL # -------------------------------------------------------------------------- -.PHONY: app dev doc dist +.PHONY: app dev doc dist typecheck lint app: dome-app dev: dome-dev doc: dome-doc dist: dome-dist +typecheck: + @echo "[Ivette] running ts typechecker" + yarn run typecheck + +lint: + @echo "[Ivette] running ts linter" + yarn run lint + # -------------------------------------------------------------------------- # --- Ivette Plugins # -------------------------------------------------------------------------- -- GitLab