aboutsummaryrefslogtreecommitdiff
path: root/jobs
diff options
context:
space:
mode:
Diffstat (limited to 'jobs')
-rwxr-xr-xjobs/standard-52-card-deck.run2
1 files changed, 1 insertions, 1 deletions
diff --git a/jobs/standard-52-card-deck.run b/jobs/standard-52-card-deck.run
index 9402362..a1ab00f 100755
--- a/jobs/standard-52-card-deck.run
+++ b/jobs/standard-52-card-deck.run
@@ -9,7 +9,7 @@ git log -n 1
echo '---'
echo
-make
+guix environment --container --pure --ad-hoc sbcl make acl2 -- acl2 > acl2.outmake
for path in $(find -type f -name '*.lisp'); do
printf "%s\n " "${path#./}"
laminarc run acl2-verify path="$(pwd)/$path"