diff options
| -rwxr-xr-x | jobs/acl2-verify.run | 14 |
1 files changed, 4 insertions, 10 deletions
diff --git a/jobs/acl2-verify.run b/jobs/acl2-verify.run index 4df5ab7..5711839 100755 --- a/jobs/acl2-verify.run +++ b/jobs/acl2-verify.run @@ -1,13 +1,7 @@ #!/usr/bin/env bash set -euo pipefail -echo "--- acl2 verify: $path ---" -{ - echo ':q' - echo '(setf sb-ext:*invoke-debugger-hook* (lambda (c h) (declare (ignore c h)) (format t "~%~a~%" "******** FAILED ********") (sb-ext:quit)))' - echo '(lp)' - cat "$path" -} |\ - guix environment --container --pure --ad-hoc sbcl acl2 -- acl2 > acl2.out - -cat acl2.out | awk '{ print } ; $0 == "******** FAILED ********" { exit 1 }' +book="$(basename "$path")" +echo "--- acl2 verify: $book ---" +acl2 <<< "(CERTIFY-BOOK \"$book\")" +test -f "$book".cert |