pkgs/development/idris-modules/sdl2.nix

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