aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xjobs/blackjack.run10
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