Invaders: "Can't find import Effect/SDL"

[noam87]

Hi, I'm trying to run the invaders example using

idris Main.idr -o invaders -p effects

However, I get the error above.

[steshaw]

You first need to install the SDL binding https://github.com/edwinb/SDL-idris.

[tluyben]

For me the following worked (Ubuntu):

apt-get install libsdl1.2-dev libsdl-gfx1.2-dev

then installing SDL-idris, and then

idris Main.idr -o invaders -p sdl -p effects

Then it worked well (although the game is much too fast).

SDL2 port? :)