Build with nix and lake nix develop --command lake build. Nix provides the external dependencies and environment.

Build with nix build .

Install git-lfs and run git lfs install && git lfs checkout.

Run a named test:

• bitmap
• animation
• event (default)

nix run .#test -- NAME_OF_TEST

or with lake

lake exe Tests NAME_OF_TEST

If your SDL2 links against a newer version of glibc than Lean does, run export LEAN_CC=gcc to make Lean use your system glibc.