Makefile.am 537 Bytes
Newer Older
1 2
FILES = \
	Flocq_defs.v \
3
	Flocq_float_ops.v \
4
	Flocq_float_prop.v \
Guillaume Melquiond's avatar
Guillaume Melquiond committed
5 6
	Flocq_Raux.v \
	Flocq_rnd_ex.v \
Guillaume Melquiond's avatar
Guillaume Melquiond committed
7
	Flocq_rnd_FIX.v \
Guillaume Melquiond's avatar
Guillaume Melquiond committed
8
	Flocq_rnd_FLT.v \
9
	Flocq_rnd_FLX.v \
10
	Flocq_rnd_FTZ.v \
Guillaume Melquiond's avatar
Guillaume Melquiond committed
11
	Flocq_rnd_generic.v \
12
	Flocq_rnd_ne.v \
Guillaume Melquiond's avatar
Guillaume Melquiond committed
13 14
	Flocq_rnd_prop.v \
	Flocq_ulp.v
15 16 17

data_DATA = $(FILES:=o)
EXTRA_DIST = $(FILES)
18
CLEANFILES = $(FILES:=o) $(FILES:=d) $(FILES:.v=.glob)
19 20 21

datadir = $(libdir)

Guillaume Melquiond's avatar
Guillaume Melquiond committed
22
.v.vo:
23
	@echo COQC $<
24
	@$(COQC) $(COQRFLAG) -dont-load-proofs $<
25

Guillaume Melquiond's avatar
Guillaume Melquiond committed
26
.v.vd:
27
	@echo COQDEP $<
28
	@$(COQDEP) -I . $< > $@
29

Guillaume Melquiond's avatar
Guillaume Melquiond committed
30 31
SUFFIXES = .v .vo .vd

32
-include $(FILES:=d)