blob: 94fa6a120a62a2f6c5bc4d467aa9c786ef950dc9 (
about) (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/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 --pure --ad-hoc acl2 -- acl2 |\
awk '{ print } ; $0 == "******** FAILED ********" { exit 1 }'
|