aboutsummaryrefslogtreecommitdiff
path: root/jobs/acl2-verify.run
blob: 4df5ab78c69e3ac6c2d43ed04e5ad40c339b5361 (about) (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
#!/usr/bin/env bash
set -euo pipefail

echo "--- acl2 verify: $path ---"
{
    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 "$path"
} |\
    guix environment --container --pure --ad-hoc sbcl acl2 -- acl2 > acl2.out

cat acl2.out | awk '{ print } ; $0 == "******** FAILED ********" { exit 1 }'