From 450b021adf7301b8c77aaacc3357ce662b17abdc Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Thu, 9 Sep 2021 22:48:25 +0900
Subject: acl2-verify: Update.

---
 jobs/acl2-verify.run | 7 +++++--
 1 file 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
-- 
cgit v1.2.3