Commit 61b4af34 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fixed automake warning. Cleaned glob files.

parent 1fd9c446
......@@ -5,15 +5,15 @@ FILES = \
data_DATA = $(FILES:=o)
EXTRA_DIST = $(FILES)
CLEANFILES = $(FILES:=o) $(FILES:=d)
CLEANFILES = $(FILES:=o) $(FILES:=d) $(FILES:.v=.glob)
datadir = $(libdir)
%.vo: %.v
.vo.v:
@echo COQC $<
@$(COQC) $(COQRFLAG) $<
%.vd: %.v
.vd.v:
@echo COQDEP $<
@$(COQDEP) -I . $< > $@
......
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