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

filename="$(basename "$path")"
cp "$path" "$filename"
book="${filename%.lisp}"

echo "--- acl2 verify: $book ---"
guix environment --pure --container --ad-hoc acl2 -- acl2 <<< "(CERTIFY-BOOK \"$book\")"
test -f "$book".cert