include ../Makefile-generic

# Dependencies:

acl2-agp.cert: acl2-agp.lisp
acl2-agp.cert: acl2-asg.cert

acl2-asg.cert: acl2-asg.lisp

acl2-crg.cert: acl2-crg.lisp
acl2-crg.cert: acl2-agp.cert
