aboutsummaryrefslogtreecommitdiff
path: root/jobs
diff options
context:
space:
mode:
Diffstat (limited to 'jobs')
-rwxr-xr-xjobs/acl2-verify.run7
1 files changed, 5 insertions, 2 deletions
diff --git a/jobs/acl2-verify.run b/jobs/acl2-verify.run
index 5711839..1c9a2ae 100755
--- a/jobs/acl2-verify.run
+++ b/jobs/acl2-verify.run
@@ -1,7 +1,10 @@
#!/usr/bin/env bash
set -euo pipefail
-book="$(basename "$path")"
+filename="$(basename "$path")"
+cp "$path" "$filename"
+book="${filename%.lisp}"
+
echo "--- acl2 verify: $book ---"
-acl2 <<< "(CERTIFY-BOOK \"$book\")"
+guix environment --pure --container --ad-hoc acl2 <<< "(CERTIFY-BOOK \"$book\")"
test -f "$book".cert