From 32b74054a3b7e2f480c1370ce2235534b1d54c2a Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Sun, 22 Aug 2021 18:15:10 +0900 Subject: blackjack: Update. --- jobs/blackjack.run | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/jobs/blackjack.run b/jobs/blackjack.run index f28fcdf..31a86d7 100755 --- a/jobs/blackjack.run +++ b/jobs/blackjack.run @@ -2,16 +2,8 @@ set -euo pipefail git clone https://git.tojo.tokyo/blackjack.git . -echo git checkout "${branch:-master}" -echo '---' git log -n 1 echo '---' -echo -for path in $(find -type f -name '*.lisp'); do - printf "%s\n " "${path#./}" - laminarc run acl2-verify path="$(pwd)/$path" - echo -done -echo 'Verified all files!' +guix environment --container --pure --ad-hoc sbcl make acl2 -- make -- cgit v1.2.3