aboutsummaryrefslogtreecommitdiff
path: root/jobs/bookshelf.run
blob: 757bad3d1e686d58d979e9bec3cdcf807551277b (about) (plain)
1
2
3
4
5
6
7
8
9
10
#!/usr/bin/env bash
set -euo pipefail

git clone https://git.tojo.tokyo/bookshelf.git .
git checkout "${branch:-main}"
git log -n 1
git submodule update -i -r
echo '---'

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