From ce5318ae19114527b9691e7a668a504d031d2ee4 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Thu, 9 Sep 2021 22:43:38 +0900 Subject: acl2-verify: Update. --- jobs/acl2-verify.run | 14 ++++---------- 1 file changed, 4 insertions(+), 10 deletions(-) (limited to 'jobs') 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 -- cgit v1.2.3