diff --git a/.gitignore b/.gitignore
index 993b9c8b2112ae1fd38f410d6e1e1d5cd504da02..b4491c20e5696942a17c501980efc792e26f9933 100644
--- a/.gitignore
+++ b/.gitignore
@@ -21,6 +21,8 @@ frama_c_journal.ml
 /.merlin
 /headers/hdrck
 /headers/hdrck.exe
+/bin/ivette
+.ivette
 
 #build
 /_opam/
@@ -54,7 +56,6 @@ _build
 /dev/fc-time
 /dev/fc-memuse
 /bin/ocamldep_transitive_closure
-/bin/ivette
 
 #share
 /share/Makefile.config
diff --git a/Makefile b/Makefile
index cccd90e1305ba9f8cdc448f87a2fee4122d37c47..e3ca12690f9ecc3cfe1c64a31c35aa2e783aa515 100644
--- a/Makefile
+++ b/Makefile
@@ -79,10 +79,13 @@ endif
 
 .PHONY: ivette ivette-dev
 
-ivette:
+ivette: all
 	@$(MAKE) -C ivette
 
-ivette-dev:
+ivette-api: all
+	@$(MAKE) -C ivette api
+
+ivette-dev: all
 	@$(MAKE) -C ivette dev
 
 ##############################################################################