aboutsummaryrefslogtreecommitdiff
path: root/jobs
diff options
context:
space:
mode:
Diffstat (limited to 'jobs')
-rwxr-xr-xjobs/standard-52-card-deck.run16
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 }'
+