pkgs/development/idris-modules/pacman.nix

   1 {
   2   build-idris-package,
   3   fetchFromGitHub,
   4   contrib,
   5   sdl2,
   6   lib,
   7 }:
   8 build-idris-package {
   9   pname = "pacman";
  10   version = "2017-11-10";
  11
  12   idrisDeps = [
  13     contrib
  14     sdl2
  15   ];
  16
  17   src = fetchFromGitHub {
  18     owner = "jdublu10";
  19     repo = "pacman";
  20     rev = "263ae58aeb5147e2af9cc76411970ccd90fa9121";
  21     sha256 = "02m3ic2fk3a8j50xdpq70yx30hkxzjg6idsia482sm1nlkmxxin9";
  22   };
  23
  24   postUnpack = ''
  25     mv source/src/board.idr source/src/Board.idr
  26   '';
  27
  28   meta = {
  29     description = "Proof that Idris is pacman complete";
  30     homepage = "https://github.com/jdublu10/pacman";
  31     maintainers = [ lib.maintainers.brainrape ];
  32   };
  33 }