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