idris-demos Invaders: "Can't find import Effect/SDL"

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

Open noam87 opened this issue 9 years ago • 2 comments

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

idris Main.idr -o invaders -p effects

However, I get the error above.

May 18 '16 03:05 noam87

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

Jul 22 '16 16:07 steshaw

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? :)

Nov 24 '17 15:11 tluyben