pkgs/development/idris-modules/eternal.nix

   1 { build-idris-package
   2 , fetchFromGitHub
   3 , effects
   4 , lib
   5 }:
   6 build-idris-package  {
   7   pname = "eternal";
   8   version = "2018-07-02";
   9
  10   idrisDeps = [ effects ];
  11
  12   src = fetchFromGitHub {
  13     owner = "Heather";
  14     repo = "Control.Eternal.Idris";
  15     rev = "2f84b0dd49a7a29a2f852ba96cabfe8322e0852b";
  16     sha256 = "1x8cwngiqi05f3wll0niznm47jj2byivx4mh5xf4sb47kciwkxvs";
  17   };
  18
  19   postUnpack = ''
  20     printf 'makefile = Makefile\n' >> source/eternal.ipkg
  21     printf 'objs = readProcess.o\n' >> source/eternal.ipkg
  22     sed -i 's/\/usr\/local\/idris\/readProcess.h/readProcess.h/g' source/Control/Eternal/System/Process.idr
  23     sed -i 's/\/usr\/local\/idris\/readProcess.o/readProcess.o/g' source/Control/Eternal/System/Process.idr
  24   '';
  25
  26   meta = {
  27     description = "Infix pipe operators and some Nat, Float, String conversions";
  28     homepage = "https://github.com/Heather/Control.Eternal.Idris";
  29     license = lib.licenses.bsd3;
  30     maintainers = [ lib.maintainers.brainrape ];
  31   };
  32 }