#! /bin/sh

echo "ACL2 Certification Beginning."
( cat certify.lisp | acl2 ) > certify.out
echo "ACL2 Certification Complete"

echo "RAT Checker Executable Beginning."
( cat save-exec.lisp | acl2 ) > save-exec.out
echo "RAT Checker Executable Complete."
