[ivette] makefile targets and binary at toplevel

.gitignore

@@ -54,6 +54,7 @@ _build
 /dev/fc-time
 /dev/fc-memuse
 /bin/ocamldep_transitive_closure
+/bin/ivette
 
 #share
 /share/Makefile.config

Makefile

@@ -73,6 +73,18 @@ endif
 	dune clean
 	rm -rf _build .merlin
 
+##############################################################################
+# IVETTE
+################################
+
+.PHONY: ivette ivette-dev
+
+ivette:
+	@$(MAKE) -C ivette
+
+ivette-dev:
+	@$(MAKE) -C ivette dev
+
 ##############################################################################
 # HELP
 ################################

ivette/.gitignore

@@ -9,7 +9,6 @@
 .eslint-cache
 node_modules
 yarn-error.log
-/bin
 /dist
 /doc/html
 /src/renderer/loader.ts

ivette/Makefile

@@ -23,9 +23,9 @@
 # --------------------------------------------------------------------------
 APP=Ivette
 DOME=./src/dome
-DOME_ARGS=--command $$(dirname $$0)/../../bin/frama-c
+DOME_ARGS=--command $$(dirname $$0)/frama-c
 DOME_DEV=-server-debug 1
-DOME_CLI=./bin/ivette
+DOME_CLI=../bin/ivette
 DOME_API=./src/frama-c
 DOME_CUSTOM_ENTRIES= yes
 COPYRIGHT=CEA LIST / LSL