aboutsummaryrefslogtreecommitdiff
path: root/pkgs/development/idris-modules
diff options
context:
space:
mode:
authorSteven Shaw <steven@steshaw.org>2019-07-28 07:37:52 +1000
committerSteven Shaw <steven@steshaw.org>2019-07-28 07:37:52 +1000
commit5bb88bbce2797e7ea40e345ff33c2e8e80e427a6 (patch)
treee3537fcfe6bc64a18e02427d1633eb16952bf9cb /pkgs/development/idris-modules
parent7bdacb3e39aba0ba1baffcc2fb7964fa74010dce (diff)
idrisPackages.sdl2: 2018-01-19 -> 0.1.1
Update to latest release which unbreaks the package.
Diffstat (limited to 'pkgs/development/idris-modules')
-rw-r--r--pkgs/development/idris-modules/sdl2.nix23
1 files changed, 15 insertions, 8 deletions
diff --git a/pkgs/development/idris-modules/sdl2.nix b/pkgs/development/idris-modules/sdl2.nix
index b0306040d730..e4a1fbae562c 100644
--- a/pkgs/development/idris-modules/sdl2.nix
+++ b/pkgs/development/idris-modules/sdl2.nix
@@ -6,26 +6,33 @@
, SDL2
, SDL2_gfx
}:
-build-idris-package {
+build-idris-package rec {
name = "sdl2";
- version = "2018-01-19";
+ version = "0.1.1";
idrisDeps = [ effects ];
- extraBuildInputs = [ pkgconfig SDL2 SDL2_gfx ];
+ extraBuildInputs = [
+ pkgconfig
+ SDL2
+ SDL2_gfx
+ ];
+
+ prePatch = "patchShebangs .";
src = fetchFromGitHub {
owner = "steshaw";
repo = "idris-sdl2";
- rev = "ebc36a0efb3e8086f2999120e7a8a8ac4952c6f6";
- sha256 = "060k0i1pjilrc4pcz7v70hbipaw2crz14yxjlyjlhn6qm03131q0";
+ rev = version;
+ sha256 = sha256:1jslnlzyw04dcvcd7xsdjqa7waxzkm5znddv76sv291jc94xhl4a;
};
meta = {
description = "SDL2 binding for Idris";
homepage = https://github.com/steshaw/idris-sdl2;
- maintainers = [ lib.maintainers.brainrape ];
- # Can't find file sdl2.o
- broken = true;
+ maintainers = with lib.maintainers; [
+ brainrape
+ steshaw
+ ];
};
}