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

# Dependencies:

reflexive.cert: reflexive.lisp
# reflexive.cert: $(ACL2_SYSTEM_BOOKS)/make-event/eval.cert
