diff options
Diffstat (limited to 'jobs')
| -rwxr-xr-x | jobs/standard-52-card-deck.run | 16 |
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 }' + |