pkgs/development/idris-modules/sdl.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , effects
   4 , lib
   5 , SDL
   6 , SDL_gfx
   7 }:
   8 build-idris-package  {
   9   name = "sdl";
  10   version = "2017-03-24";
  11
  12   idrisDeps = [ effects ];
  13
  14   extraBuildInputs = [ SDL SDL_gfx ];
  15
  16   src = fetchFromGitHub {
  17     owner = "edwinb";
  18     repo = "SDL-idris";
  19     rev = "095ce70da7ea9f163b018b690105edf375f1befe";
  20     sha256 = "0nryssnaqfq2pvz2mbl2kkx6mig310f9dpgrbcx788nxi0qzsig6";
  21   };
  22
  23   meta = {
  24     description = "SDL-idris framework for Idris";
  25     homepage = "https://github.com/edwinb/SDL-idris";
  26     maintainers = [ lib.maintainers.brainrape ];
  27     # Can't find file sdlrun.o
  28     broken = true;
  29   };
  30 }