Skip to content
Snippets Groups Projects
Commit 56413a5c authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[Makefile] ensures gen_ast.cmi is compiled before compiling implementation

parent a82ea2be
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
Makefile
+ 2
− 2
View file @ 56413a5c
...@@ -77,10 +77,10 @@ tests:: dontrun ...@@ -77,10 +77,10 @@ tests:: dontrun
dontrun: dontrun:
(cd tests; echo `grep -r 'DONTRUN' $(PLUGIN_TESTS_DIRS) | wc -l` test files marked DONTRUN ) (cd tests; echo `grep -r 'DONTRUN' $(PLUGIN_TESTS_DIRS) | wc -l` test files marked DONTRUN )
$(Frama_Clang_DIR)/gen_ast: $(Frama_Clang_DIR)/gen_ast.ml $(Frama_Clang_DIR)/gen_ast: $(Frama_Clang_DIR)/gen_ast.ml $(Frama_Clang_DIR)/gen_ast.cmi
$(PRINT_OCAMLC) $@ $(PRINT_OCAMLC) $@
$(OCAMLC) $(Frama_Clang_BFLAGS) -o $@ -pp $(CAMLP5O) \ $(OCAMLC) $(Frama_Clang_BFLAGS) -o $@ -pp $(CAMLP5O) \
zarith.cma dynlink.cma $^ zarith.cma dynlink.cma $<
$(Frama_Clang_DIR)/test_ast: \ $(Frama_Clang_DIR)/test_ast: \
$(Frama_Clang_DIR)/intermediate_format.cmo \ $(Frama_Clang_DIR)/intermediate_format.cmo \
......
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