SDL2 bindings for lean (unfinished)
Using lake in a nix env
Build with nix and lake nix develop --command lake build. Nix provides the external dependencies and environment.
Using nix
Build with nix build .
Test examples
Git LFS for test images
Install git-lfs and run git lfs install && git lfs checkout.
Run examples
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.