include ../../Makefile-generic
ACL2 = ../../../saved_acl2
# Dependencies:

programs.cert: programs.lisp
