SDL-idris icon indicating copy to clipboard operation
SDL-idris copied to clipboard

Published 20 hours ago • verified publisher icon edwinb

Upgrade Idris 0.12 and SDL 1.2.15

Open steshaw opened this issue 8 years ago • 0 comments

Hi Edwin, I've updated your SDL 1.x bindings to the latest version of Idris. This mainly involved adding some "export" and "public export" attributes. Also did some minor changes to the C build (using pkg-config to find SDL and SDL_gfx libraries).

However, there is a problem. I've updated the effects and etest.idr to the latest effects package. Unfortunately the compiler spins while trying to elaborate etest.idr. I raised this issue as 3285. I'm all ears for ideas about fixing this.

steshaw avatar Jul 28 '16 04:07 steshaw