pyrox.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 effects,
5 lib,
6 pkg-config,
7 SDL2,
8 SDL2_gfx,
9}:
10build-idris-package rec {
11 pname = "sdl2";
12 version = "0.1.1";
13
14 idrisDeps = [ effects ];
15
16 nativeBuildInputs = [
17 pkg-config
18 ];
19
20 extraBuildInputs = [
21 SDL2
22 SDL2_gfx
23 ];
24
25 prePatch = "patchShebangs .";
26
27 src = fetchFromGitHub {
28 owner = "steshaw";
29 repo = "idris-sdl2";
30 rev = version;
31 sha256 = "1jslnlzyw04dcvcd7xsdjqa7waxzkm5znddv76sv291jc94xhl4a";
32 };
33
34 meta = {
35 description = "SDL2 binding for Idris";
36 homepage = "https://github.com/steshaw/idris-sdl2";
37 maintainers = with lib.maintainers; [
38 brainrape
39 steshaw
40 ];
41 };
42}