standard-52-card-deck: Update.

1 files changed, 10 insertions, 6 deletions

diff --git a/jobs/standard-52-card-deck.run b/jobs/standard-52-card-deck.run
index 1f5bada..c74c0fb 100755
--- a/jobs/standard-52-card-deck.run
+++ b/jobs/standard-52-card-deck.run
@@ -10,10 +10,14 @@ echo '---'
 echo
 
 guix environment --container --pure --ad-hoc sbcl make acl2 -- make
-for path in $(find -type f -name '*.lisp'); do
-    printf "%s\n    " "${path#./}"
-    laminarc run acl2-verify path="$(pwd)/$path"
-    echo
-done
 
-echo 'Verified all files!'
+{
+    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 "top.lisp"
+} |\
+    guix environment --container --pure --ad-hoc sbcl acl2 -- acl2 > acl2.out
+
+cat acl2.out | awk '{ print } ; $0 == "******** FAILED ********" { exit 1 }'
+