Makefile.am 324 Bytes
Newer Older
1 2 3 4 5 6 7
FILES = \
	Flocq_Raux.v \
	Flocq_defs.v \
	Flocq_rnd_ex.v

data_DATA = $(FILES:=o)
EXTRA_DIST = $(FILES)
8
CLEANFILES = $(FILES:=o) $(FILES:=d) $(FILES:.v=.glob)
9 10 11

datadir = $(libdir)

Guillaume Melquiond's avatar
Guillaume Melquiond committed
12
.v.vo:
13 14 15
	@echo COQC $<
	@$(COQC) $(COQRFLAG) $<

Guillaume Melquiond's avatar
Guillaume Melquiond committed
16
.v.vd:
17
	@echo COQDEP $<
18
	@$(COQDEP) -I . $< > $@
19

Guillaume Melquiond's avatar
Guillaume Melquiond committed
20 21
SUFFIXES = .v .vo .vd

22
-include $(FILES:=d)