COQC=coqc
COQDEP=coqdep
COQWC=coqwc
COQDOC=coqdoc

ALL_V =	misc.v \
	Z_misc.v \
	Q_misc.v \
	floor.v \
	comparison.v \
	ibw_def.v \
	ibw_aux.v \
	ibw_prop.v \
	abstraction_phd_def.v \
	abstraction_phd_aux.v \
	abstraction_phd_prop.v \
	inw_def.v \
	inw_aux.v \
	inw_prop.v \
	clock_expr.v \

ALL_VO = $(ALL_V:.v=.vo)
ALL_GLOB = $(ALL_V:.v=.glob)

all: $(ALL_VO)

wc:
	$(COQWC) $(ALL_V)

html: $(ALL_GLOB) FORCE
	$(COQDOC) --html -d html $(ALL_V)

clean:
	rm -f *.vo *.glob

realclean: clean
	rm -f *~

cleanall: realclean

# generic rules
###############
.SUFFIXES: .v .vo .glob

.v.vo:
	$(COQC) $<

.v.glob:
	$(COQC) -dump-glob `basename $< .v`.glob $<


# depend
########
.depend depend::
	rm -f .depend
	$(COQDEP) -I . *.v > .depend

include .depend

FORCE:
