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

git clone https://git.tojo.tokyo/learn-acl2.git .
git checkout "${branch:-main}"

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!'