diff --git a/ivette/Makefile b/ivette/Makefile
index 2594cb8e96fe5ea6957120e1e7c48956e435207f..2f7a87746c53be6542f0388fbcbefcd44d518a2d 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
 # --------------------------------------------------------------------------