#!/usr/bin/env bash
set -euo pipefail

git clone https://git.tojo.tokyo/standard-52-card-deck.git .
git checkout "${branch:-master}"
git log -n 1

echo '---'

guix environment --container --pure --ad-hoc sbcl make acl2 -- make