# Instructions: # Before starting, see "Dependencies" below. # In the shell, execute # make # to certify all books. # To clean up (removing files *.cert, *.o, *.fasl, etc.), in the shell execute # make clean include Makefile-generic ACL2 = time nice acl2 # Dependencies: # In the shell, execute # make -s dependencies # to obtain the result below. defpun.cert: defpun.lisp demo.cert: demo.lisp demo.cert: utilities.cert m5.cert: m5.lisp utilities.cert: utilities.lisp utilities.cert: m5.cert vcg-examples.cert: vcg-examples.lisp vcg-examples.cert: defpun.cert vcg-examples.cert: demo.cert