pkgs/development/idris-modules/wyvern.nix

   1 {
   2   build-idris-package,
   3   fetchFromGitHub,
   4   contrib,
   5   effects,
   6   lib,
   7 }:
   8 build-idris-package {
   9   pname = "wyvern";
  10   version = "2017-06-26";
  11
  12   idrisDeps = [
  13     contrib
  14     effects
  15   ];
  16
  17   src = fetchFromGitHub {
  18     owner = "ericqweinstein";
  19     repo = "wyvern";
  20     rev = "b9e3e5747c5b23608c6ed5e2ccf43b86caa04292";
  21     sha256 = "0zihf95w7i0903zy1mzn1ldn697nf57yl80nl32dpgji72h98kh2";
  22   };
  23
  24   postUnpack = ''
  25     sed -i "s/Wyvern.Core/Wyvern.Main/g" source/src/Wyvern.idr
  26   '';
  27
  28   meta = {
  29     description = "Little web server written in Idris";
  30     homepage = "https://github.com/ericqweinstein/wyvern";
  31     license = lib.licenses.mit;
  32     maintainers = [ lib.maintainers.brainrape ];
  33   };
  34 }