Makefile.am 363 Bytes
Newer Older
1 2 3
FILES = \
	Flocq_Raux.v \
	Flocq_defs.v \
Guillaume Melquiond's avatar
Guillaume Melquiond committed
4 5 6
	Flocq_rnd_FIX.v \
	Flocq_rnd_ex.v \
	Flocq_rnd_prop.v
7 8 9

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

datadir = $(libdir)

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

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

Guillaume Melquiond's avatar
Guillaume Melquiond committed
22 23
SUFFIXES = .v .vo .vd

24
-include $(FILES:=d)