From e8ab6ee12abd8d450d5937a516483acf150f03ca Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 25 Aug 2020 11:06:18 +0200
Subject: [PATCH] [ivette] linter makefile targets

---
 ivette/Makefile | 16 ++++++----------
 1 file changed, 6 insertions(+), 10 deletions(-)

diff --git a/ivette/Makefile b/ivette/Makefile
index a9ec5f1eaeb..6effb1ee1b2 100644
--- a/ivette/Makefile
+++ b/ivette/Makefile
@@ -8,28 +8,24 @@ DOME_API=./src/frama-c
 COPYRIGHT=CEA LIST / LSL
 # --------------------------------------------------------------------------
 
-.PHONY: all app dev doc serve dist typecheck lint tsc
+.PHONY: all app dev doc serve dist lint fixlint
 
-all: typecheck lint app
+all: lint app
 
 app: dome-app
 dev: dome-dev
 dist: dome-dist
 
-typecheck: dome-pkg dome-templ
-	@echo "[Ivette] running ts typechecker"
-	yarn run typecheck
-
 lint: dome-pkg dome-templ
-	@echo "[Ivette] running ts linter"
+	@echo "[Ivette] running typechecker & linter"
+	yarn run typecheck
 	yarn run lint
 
 fixlint: dome-pkg dome-templ
-	@echo "[Ivette] running ts linter (with fix)"
+	@echo "[Ivette] running typechecker & linter (fix mode)"
+	yarn run typecheck
 	yarn run lint --fix
 
-tsc: typecheck fixlint
-
 # --------------------------------------------------------------------------
 # --- Frama-C API
 # --------------------------------------------------------------------------
-- 
GitLab