tjh.dev
1{
2 build-idris-package,
3 fetchFromGitHub,
4 effects,
5 lib,
6 pkgs,
7}:
8build-idris-package {
9 pname = "glfw";
10 version = "2016-12-05";
11
12 idrisDeps = [ effects ];
13
14 nativeBuildInputs = [ pkgs.pkg-config ];
15 extraBuildInputs = [ pkgs.glfw ];
16
17 postPatch = ''
18 substituteInPlace src/MakefileGlfw \
19 --replace glfw3 "glfw3 gl"
20 '';
21
22 src = fetchFromGitHub {
23 owner = "eckart";
24 repo = "glfw-idris";
25 rev = "10220a734b69f3b884683041a1a9c533800b663a";
26 sha256 = "045ylaj66g5m4syzhqxlaxmivy8y7jznkcf1y7w4awa4y5znyqqd";
27 };
28
29 meta = {
30 description = "GLFW bindings for Idris";
31 homepage = "https://github.com/eckart/glfw-idris";
32 license = lib.licenses.mit;
33 maintainers = [ lib.maintainers.brainrape ];
34 };
35}