aboutsummaryrefslogtreecommitdiff
path: root/jobs
diff options
context:
space:
mode:
Diffstat (limited to 'jobs')
-rwxr-xr-xjobs/standard-52-card-deck.run15
1 files changed, 1 insertions, 14 deletions
diff --git a/jobs/standard-52-card-deck.run b/jobs/standard-52-card-deck.run
index c74c0fb..0e0b61a 100755
--- a/jobs/standard-52-card-deck.run
+++ b/jobs/standard-52-card-deck.run
@@ -2,22 +2,9 @@
set -euo pipefail
git clone https://git.tojo.tokyo/standard-52-card-deck.git .
-echo
git checkout "${branch:-master}"
-echo '---'
git log -n 1
+
echo '---'
-echo
guix environment --container --pure --ad-hoc sbcl make acl2 -- make
-
-{
- 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 }'
-