include ../../Makefile-generic
ACL2 = ../../../saved_acl2

# Dependencies:

defpun-exec.cert: defpun-exec.lisp
# defpun-exec.cert: $(ACL2_SYSTEM_BOOKS)/misc/defpun.cert