include ../../../../Makefile-generic

ACL2 = ../../../../../saved_acl2

# Dependencies:

defpun.cert: defpun.lisp

examples.cert: examples.lisp
examples.cert: tjvm.cert

mod-1-property.cert: mod-1-property.lisp
mod-1-property.cert: ../../../../ihs/quotient-remainder-lemmas.cert
mod-1-property.cert: ../../../../arithmetic/top-with-meta.cert

report.cert: report.lisp
report.cert: defpun.cert
report.cert: ../../../../ihs/quotient-remainder-lemmas.cert
report.cert: ../../../../arithmetic/top-with-meta.cert
report.cert: mod-1-property.cert
report.cert: tjvm-examples.cert

tjvm-examples.cert: tjvm-examples.lisp
tjvm-examples.cert: defpun.cert

tjvm.cert: tjvm.lisp
