From eb99fd7c66fd61047d8b36546409bf71be025613 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sun, 22 Aug 2021 01:49:41 +0900
Subject: standard-52-card-deck: Use make package.

---
 jobs/standard-52-card-deck.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'jobs')

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"
-- 
cgit v1.2.3