From af185fae6eee4ab455fbd820be156d7d8f8596d1 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Sun, 22 Aug 2021 01:56:17 +0900 Subject: standard-52-card-deck: Update. --- jobs/standard-52-card-deck.run | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) (limited to 'jobs') 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 }' + -- cgit v1.2.3