blob: a1ab00f2981712818a8a2b97b8b9d2ceeafe4397 (
about) (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#!/usr/bin/env bash
set -euo pipefail
git clone https://git.tojo.tokyo/standard-52-card-deck.git .
echo
git checkout "${branch:-master}"
echo '---'
git log -n 1
echo '---'
echo
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"
echo
done
echo 'Verified all files!'
|
