idris-sdl2

SDL2 bindings package for Idris.

On Mac install these with:

$ brew install sdl2 sdl2_gfx

On Ubuntu install these with:

$ sudo apt install libsdl2-dev libsdl2-gfx-dev

Building

Build the library.

$ make

Build the tests/demos.

$ cd test
$ make

Name		Name	Last commit message	Last commit date
Latest commit History 59 Commits
src		src
test		test
.gitignore		.gitignore
Makefile		Makefile
README.org		README.org
sdl2.ipkg		sdl2.ipkg