SRCS=\
	machbase.v \
	machbasetest.v \
	machbool.v \
	machpair.v \
	machmodules.v \
	machcommon.v \
	machint.v \
	machordtest.v

.SUFFIXES: .v .vo

all: $(SRCS:.v=.vo)

.v.vo:
	coqc $<

depend:
	coqdep $(SRCS) > .depend
.-include ".depend"

clean:
	rm -f *.vo *.aux *.glob .*.aux .lia.cache

distclean: clean
	rm -f .depend

.PHONY: all depend clean distclean