Makefile.am 289 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
FILES = \
	Flocq_Raux.v \
	Flocq_defs.v \
	Flocq_rnd_ex.v

data_DATA = $(FILES:=o)
EXTRA_DIST = $(FILES)
CLEANFILES = $(FILES:=o) $(FILES:=d)

datadir = $(libdir)

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

%.vd: %.v
	@echo COQDEP $<
18
	@$(COQDEP) -I . $< > $@
19 20

-include $(FILES:=d)