diff options
Diffstat (limited to 'jobs/blackjack.run')
| -rwxr-xr-x | jobs/blackjack.run | 10 |
1 files changed, 1 insertions, 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 |