justfile

alias r := run
alias e := example
alias t := test
alias ty := test-year
alias ta := test-all

_default:
    @just --list

run year day *args:
    lean --run {{args}} {{year}}/{{day}}.lean ../.cache/{{year}}/{{trim_start_match(day, "0")}}

example year day ex:
    lean --run {{year}}/{{day}}.lean ../examples/{{year}}/{{trim_start_match(day, "0")}}/{{ex}}

test year day:
    @diff <(just run {{year}} {{day}}) <(cat ../.cache/{{year}}/{{trim_start_match(day, "0")}}.{1,2})

test-year year:
    @set -e; for day in $(ls {{year}}); do just test {{year}} $(basename $day .lean); done

test-all:
    @set -e; for year in *; do [[ -d $year ]] && [[ "$year" =~ ^[0-9]+$ ]] || continue; just test-year $year; done