COQC = coqc
COQDEP = coqdep
COQ_INCLUDE =
COQ_FLAGS =

default: all
all: all_vo
world: all

ott_list = \
	ott_list_base \
	ott_list_core \
	ott_list_distinct \
	ott_list_eq_dec \
	ott_list_flat_map \
	ott_list_mem \
	ott_list_nth \
	ott_list_predicate \
	ott_list_repeat \
	ott_list_support \
	ott_list_takedrop \
	ott_list

all_vo: $(ott_list:=.vo)

.SUFFIXES: .v .vo
.v.vo:
	$(COQC) $(COQ_INCLUDE) $(COQ_FLAGS) $<

clean:
	rm -f *.tmp
	rm -f *.vo
	rm -f .Makefile.old .depend

dep: .depend
	sed -e '/^#### AUTOMATICALLY GENERATED BY make dep, DO NOT CHANGE THIS LINE ####$$/q' <Makefile >Makefile.tmp
	cat .depend >>Makefile.tmp
	mv -f Makefile .Makefile.old
	mv -f Makefile.tmp Makefile
.depend: force
	$(COQDEP) -I . $(COQ_INCLUDE) *.v >.depend.tmp
	mv -f .depend.tmp .depend
force:

#### AUTOMATICALLY GENERATED BY make dep, DO NOT CHANGE THIS LINE ####
ott_list.vo: ott_list.v ott_list_core.vo ott_list_support.vo ott_list_base.vo ott_list_takedrop.vo ott_list_nth.vo ott_list_mem.vo ott_list_flat_map.vo ott_list_predicate.vo ott_list_repeat.vo ott_list_distinct.vo
ott_list_base.vo: ott_list_base.v ott_list_support.vo
ott_list_core.vo: ott_list_core.v ott_list_eq_dec.vo
ott_list_distinct.vo: ott_list_distinct.v ott_list_core.vo ott_list_base.vo ott_list_nth.vo ott_list_mem.vo
ott_list_eq_dec.vo: ott_list_eq_dec.v
ott_list_flat_map.vo: ott_list_flat_map.v ott_list_core.vo ott_list_support.vo ott_list_base.vo
ott_list_mem.vo: ott_list_mem.v ott_list_base.vo ott_list_core.vo ott_list_nth.vo
ott_list_nth.vo: ott_list_nth.v ott_list_support.vo ott_list_base.vo
ott_list_predicate.vo: ott_list_predicate.v ott_list_base.vo ott_list_core.vo ott_list_takedrop.vo
ott_list_repeat.vo: ott_list_repeat.v ott_list_support.vo ott_list_base.vo ott_list_nth.vo
ott_list_support.vo: ott_list_support.v
ott_list_takedrop.vo: ott_list_takedrop.v ott_list_support.vo ott_list_base.vo ott_list_nth.vo
