A 2D graphic library for Idris 2, which is inspired by Gloss. IdrisGL uses SDL under the hood, but you won’t need to worry about any of that.
- Provides functions to build 2D vector graphics, animations, simulations and games.
- Supports most keyboard events and mouse events.
- Frames per second control.
- Audio and sound effects.
- SDL2
- SDL2 Image
- SDL2 GFX
- SDL2 TTF
- SDL2 Mixer
sudo apt update && sudo apt upgrade
sudo apt-get install libsdl1.2-dev libsdl-image1.2-dev libsdl-mixer1.2-dev libsdl2-image-dev libsdl2-ttf-dev libsdl2-gfx-dev libsdl2-mixer-dev
Install with Pack
- Assuming you have installed Pack.
- Make sure to add
$HOME/.pack/binto your$PATHvariable. - Install all the dependencies using the commands above.
pack install idrisGL
Unable to install with Pack?
-
make[1]: idris2: No such file or directory
Make sure to add$HOME/.pack/binto your$PATHvariable. -
Errors caused by
include <SDL....>orSDL not found.
Install all the dependencies using the commands above. -
idris2 -p idrisGL: Can't load the idrisGL library? or idrisGL not found?
You may have multiple idris2 installed.
By default, idrisGL is installed to$HOME/.pack. Use$HOME/.pack/bin/idris2 -p idrisGLto load this library. -
Not on the list?
Check Pack Nightly Build and report an issue if it is related to IdrisGL.
git clone https://github.com/ECburx/Idris2GL- Navigate to the directory:
cd Idris2GL - Make sure to add
idris2to$PATH. - If you have installed all the dependencies,
make install - Otherwise,
make quickInstall. This will install the dependencies for you.
$ idris2 -p idrisGL to load dependencies.
import IdrisGL: basic IdrisGL functions.import IdrisGL.Color: predefined colors.import IdrisGL.Random: unsafe, predictable and limited randomness, for users who need random data to test graphics. (May be removed in the future.)import IdrisGL.SDL: SDL2, SDL2_image, SDL2_gfx, SDL2_ttf bindings.