Skip to content
Snippets Groups Projects
Commit 37595d53 authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[make] ivette depends on frama-c

parent 65bc7515
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
.gitignore
+ 2
− 1
View file @ 37595d53
...@@ -21,6 +21,8 @@ frama_c_journal.ml ...@@ -21,6 +21,8 @@ frama_c_journal.ml
/.merlin /.merlin
/headers/hdrck /headers/hdrck
/headers/hdrck.exe /headers/hdrck.exe
/bin/ivette
.ivette
#build #build
/_opam/ /_opam/
...@@ -54,7 +56,6 @@ _build ...@@ -54,7 +56,6 @@ _build
/dev/fc-time /dev/fc-time
/dev/fc-memuse /dev/fc-memuse
/bin/ocamldep_transitive_closure /bin/ocamldep_transitive_closure
/bin/ivette
#share #share
/share/Makefile.config /share/Makefile.config
......
Makefile
+ 5
− 2
View file @ 37595d53
...@@ -79,10 +79,13 @@ endif ...@@ -79,10 +79,13 @@ endif
.PHONY: ivette ivette-dev .PHONY: ivette ivette-dev
ivette: ivette: all
@$(MAKE) -C ivette @$(MAKE) -C ivette
ivette-dev: ivette-api: all
@$(MAKE) -C ivette api
ivette-dev: all
@$(MAKE) -C ivette dev @$(MAKE) -C ivette dev
############################################################################## ##############################################################################
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment