Fixed suffix rules.

05f9af1f · Guillaume Melquiond · 61b4af34 · 05f9af1f
Commit 05f9af1f authored Jan 22, 2009 by Guillaume Melquiond
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 2 deletions

src/Makefile.am src/Makefile.am +4 -2

No files found.
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -9,12 +9,14 @@ CLEANFILES = $(FILES:=o) $(FILES:=d) $(FILES:.v=.glob)

 datadir = $(libdir)

-.vo.v:
+.v.vo:
 	@echo COQC $<
 	@$(COQC) $(COQRFLAG) $<

-.vd.v:
+.v.vd:
 	@echo COQDEP $<
 	@$(COQDEP) -I . $< > $@

+SUFFIXES = .v .vo .vd
+
 -include $(FILES:=d)