+
Skip to content

Anderssorby/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

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.

About

SDL2 bindings for lean

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Contributors 3

  •  
  •  
  •  
点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载