Makefile.am 1.52 KB
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_sqrt.v \
20
	Prop/Fprop_mult_error.v \
21
	Prop/Fprop_plus_error.v \
22
	Prop/Fprop_relative.v \
23
	Prop/Fprop_div_sqrt_error.v \
BOLDO Sylvie's avatar
BOLDO Sylvie committed
24
	Prop/Fprop_Sterbenz.v \
25
	Appli/Fappli_sqrt_FLT_ne.v
26 27

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

datadir = $(libdir)

32 33
all: $(FILES:=o)

34
.v.vo:
35
	@echo COQC $<
36
	@$(COQC) $(COQRFLAG) -dont-load-proofs $<
37

38
.v.vd:
39
	@echo COQDEP $<
40
	@$(COQDEP) -I Core -I Calc $< > $@
41

42 43
SUFFIXES = .v .vo .vd

44 45 46
install-data-local:
	@$(NORMAL_INSTALL)
	@test -z "$(datadir)" || \
47
	for p in Core Calc Prop Appli; do \
48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63
	  $(MKDIR_P) "$(DESTDIR)$(datadir)/$$p"; \
	done
	@list='$(FILES:=o)'; test -n "$(datadir)" || list=; \
	for p in $$list; do \
	  if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
	  echo "$$d$$p" "$(DESTDIR)$(datadir)/$$p"; \
	done | \
	while read src dst; do \
	  echo " $(INSTALL_DATA) $$src $$dst"; \
	  $(INSTALL_DATA) "$$src" "$$dst" || exit $$?; \
	done

uninstall-local:
	@$(NORMAL_UNINSTALL)
	test -z "$(datadir)" || rm -rf "$(DESTDIR)$(datadir)/$$p"

64 65 66 67
html: $(FILES:=o)
	@mkdir -p ../html
	$(COQDOC) -toc -g -R . Flocq -d ../html -t 'Flocq' --coqlib 'http://coq.inria.fr/library/' $(FILES)

68
-include $(FILES:=d)