diff options
Diffstat (limited to 'sparsify')
-rw-r--r-- | sparsify/Makefile.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/sparsify/Makefile.am b/sparsify/Makefile.am index 4f735c8c..4d73c942 100644 --- a/sparsify/Makefile.am +++ b/sparsify/Makefile.am @@ -105,11 +105,12 @@ TESTS = test-virt-sparsify.sh # Dependencies. depend: .depend -.depend: $(wildcard *.mli) $(wildcard *.ml) +.depend: $(wildcard $(abs_srcdir)/*.mli) $(wildcard $(abs_srcdir)/*.ml) rm -f $@ $@-t - $(OCAMLFIND) ocamldep -I ../ocaml $^ | \ + $(OCAMLFIND) ocamldep -I ../ocaml -I $(abs_srcdir) $^ | \ $(SED) 's/ *$$//' | \ $(SED) -e :a -e '/ *\\$$/N; s/ *\\\n */ /; ta' | \ + $(SED) -e 's,$(abs_srcdir)/,$(builddir)/,g' | \ sort > $@-t mv $@-t $@ |