Skip to content

AntanasKal/SDL.lean

 
 

Repository files navigation

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

About

SDL2 bindings for lean

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Languages

  • Lean 56.1%
  • C 33.9%
  • Nix 9.8%
  • GDB 0.2%