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

Merge branch 'fix/andre/makefile-dot-ml' into 'master' 

[Makefile] robustify Makefile

See merge request frama-c/frama-c!2323
parents 1c18777b a3cdda69
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
Makefile
+ 1
− 1
View file @ bb00a71a
...@@ -1417,7 +1417,7 @@ acsl_tests: byte ...@@ -1417,7 +1417,7 @@ acsl_tests: byte
find doc/speclang -name \*.c -exec ./bin/toplevel.byte$(EXE) {} \; > /dev/null find doc/speclang -name \*.c -exec ./bin/toplevel.byte$(EXE) {} \; > /dev/null
LONELY_TESTS_ML_FILES:=\ LONELY_TESTS_ML_FILES:=\
$(shell find $(TEST_DIRS_AS_PLUGIN:%=tests/%) -name '*.ml') $(sort $(shell find $(TEST_DIRS_AS_PLUGIN:%=tests/%) -not -path '*/\.*' -name '*.ml'))
$(foreach file,$(LONELY_TESTS_ML_FILES),\ $(foreach file,$(LONELY_TESTS_ML_FILES),\
$(eval $(file:%.ml=%.cmo): BFLAGS+=-I $(dir $(file)))) $(eval $(file:%.ml=%.cmo): BFLAGS+=-I $(dir $(file))))
$(foreach file,$(LONELY_TESTS_ML_FILES),\ $(foreach file,$(LONELY_TESTS_ML_FILES),\
......
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