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   pname = "sdl2";
  11   version = "0.1.1";
  12
  13   idrisDeps = [ effects ];
  14
  15   nativeBuildInputs = [
  16     pkg-config
  17   ];
  18
  19   extraBuildInputs = [
  20     SDL2
  21     SDL2_gfx
  22   ];
  23
  24   prePatch = "patchShebangs .";
  25
  26   src = fetchFromGitHub {
  27     owner = "steshaw";
  28     repo = "idris-sdl2";
  29     rev = version;
  30     sha256 = "1jslnlzyw04dcvcd7xsdjqa7waxzkm5znddv76sv291jc94xhl4a";
  31   };
  32
  33   meta = {
  34     description = "SDL2 binding for Idris";
  35     homepage = "https://github.com/steshaw/idris-sdl2";
  36     maintainers = with lib.maintainers; [
  37       brainrape
  38       steshaw
  39     ];
  40   };
  41 }