Merge branch 'fix/ivette/makefile' into 'master'

[make] ivette depends on frama-c

See merge request frama-c/frama-c!4169

.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

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
 
 ##############################################################################