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

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

datadir = $(libdir)

Guillaume Melquiond's avatar
Guillaume Melquiond committed
16
.v.vo:
17
	@echo COQC $<
18
	@$(COQC) $(COQRFLAG) -dont-load-proofs $<
19

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

Guillaume Melquiond's avatar
Guillaume Melquiond committed
24 25
SUFFIXES = .v .vo .vd

26
-include $(FILES:=d)