blob: c74c0fb3b1815562bc7e98d8e9e3ed052896f480 (
about) (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#!/usr/bin/env bash
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 }'
|
