Makefile.am 818 Bytes
Newer Older
1
FILES = \
2 3 4 5 6 7 8 9 10 11 12
	Core/Fcore_defs.v \
	Core/Fcore_float_prop.v \
	Core/Fcore_Raux.v \
	Core/Fcore_rnd.v \
	Core/Fcore_FIX.v \
	Core/Fcore_FLT.v \
	Core/Fcore_FLX.v \
	Core/Fcore_FTZ.v \
	Core/Fcore_generic_fmt.v \
	Core/Fcore_rnd_ne.v \
	Core/Fcore_ulp.v \
13
	Core/Fcore.v \
14
	Calc/Fcalc_bracket.v \
15
	Calc/Fcalc_digits.v \
16
	Calc/Fcalc_div.v \
17
	Calc/Fcalc_ops.v \
18
	Calc/Fcalc_round.v \
19
	Calc/Fcalc_round_FIX.v \
20
	Calc/Fcalc_sqrt.v \
21
	Prop/Fprop_mult_error.v \
22
	Prop/Fprop_nearest.v \
23
	Prop/Fprop_plus_error.v \
24
	Prop/Fprop_Sterbenz.v
25 26 27

data_DATA = $(FILES:=o)
EXTRA_DIST = $(FILES)
28
CLEANFILES = $(FILES:=o) $(FILES:=d) $(FILES:.v=.glob)
29 30 31

datadir = $(libdir)

Guillaume Melquiond's avatar
Guillaume Melquiond committed
32
.v.vo:
33
	@echo COQC $<
34
	@$(COQC) $(COQRFLAG) -dont-load-proofs $<
35

Guillaume Melquiond's avatar
Guillaume Melquiond committed
36
.v.vd:
37
	@echo COQDEP $<
38
	@$(COQDEP) -I Core -I Calc $< > $@
39

Guillaume Melquiond's avatar
Guillaume Melquiond committed
40 41
SUFFIXES = .v .vo .vd

42
-include $(FILES:=d)