all : machine.vo trref.vo axioms.vo traux.vo invar.vo induction.vo \
  jsize.vo lemmas.vo invar.vo induction.vo upd_resp.vo java.vo allocinv.vo \
  start.vo main.vo


axioms.vo : machine.vo
trref.vo : machine.vo
traux.vo : machine.vo axioms.vo
invar.vo : machine.vo axioms.vo
induction.vo : machine.vo axioms.vo
lemmas.vo : machine.vo
jsize.vo : axioms.vo
upd_resp.vo : machine.vo axioms.vo invar.vo induction.vo jsize.vo
allocinv.vo : machine.vo axioms.vo invar.vo induction.vo jsize.vo traux.vo \
  lemmas.vo java.vo
java.vo : machine.vo axioms.vo
start.vo : machine.vo axioms.vo invar.vo induction.vo jsize.vo java.vo \
  lemmas.vo
main.vo : machine.vo trref.vo axioms.vo traux.vo invar.vo induction.vo \
  upd_resp.vo allocinv.vo start.vo java.vo

%.vo : %.v
	coqc $* | cat