diff --git a/ivette/Makefile b/ivette/Makefile
index e13ab0023441616a14819771aa05d7231558c570..4de47987040331f9a27fe4808f179ddbc38def77 100644
--- a/ivette/Makefile
+++ b/ivette/Makefile
@@ -8,7 +8,9 @@ DOME_API=./src/frama-c
 COPYRIGHT=CEA LIST / LSL
 # --------------------------------------------------------------------------
 
-.PHONY: app dev doc dist typecheck lint
+.PHONY: all app dev doc dist typecheck lint
+
+all: typecheck lint app
 
 app: dome-app
 dev: dome-dev