Commit 1476b5be authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fixed dependency tracking.

parent 3e5bad9c
......@@ -38,7 +38,7 @@ all: $(FILES:=o)
.v.vd:
@echo COQDEP $<
@$(COQDEP) -I Core -I Calc $< > $@
@$(COQDEP) -I Core -I Calc -I Prop -I Appli $< > $@
SUFFIXES = .v .vo .vd
......
Markdown is supported
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