diff options
author | Shea Levy <shea@shealevy.com> | 2015-11-27 11:03:04 -0500 |
---|---|---|
committer | Shea Levy <shea@shealevy.com> | 2015-11-27 11:03:04 -0500 |
commit | 0dce60b34d8fefa02904debc9e6d427a6cb7d459 (patch) | |
tree | 1a5e46a22e35e8ff467a291510f83e90a2fac42a /pkgs/development/idris-modules | |
parent | a01c7b5a1525d333c29a05e61bcb249c934ccbf6 (diff) |
Add wl-pprint Idris package.
Diffstat (limited to 'pkgs/development/idris-modules')
-rw-r--r-- | pkgs/development/idris-modules/build-idris-package.nix | 4 | ||||
-rw-r--r-- | pkgs/development/idris-modules/wl-pprint.nix | 11 |
2 files changed, 14 insertions, 1 deletions
diff --git a/pkgs/development/idris-modules/build-idris-package.nix b/pkgs/development/idris-modules/build-idris-package.nix index eecd7d585cf4..d3686b2a293d 100644 --- a/pkgs/development/idris-modules/build-idris-package.nix +++ b/pkgs/development/idris-modules/build-idris-package.nix @@ -1,4 +1,4 @@ -{ stdenv, idris }: argf: let args = { +{ stdenv, idris, gmp }: argf: let args = { preHook = '' mkdir idris-libs export IDRIS_LIBRARY_PATH=$PWD/idris-libs @@ -31,4 +31,6 @@ installPhase = '' ${idris}/bin/idris --install *.ipkg ''; + + buildInputs = [ gmp ]; }; in stdenv.mkDerivation (args // (argf args)) diff --git a/pkgs/development/idris-modules/wl-pprint.nix b/pkgs/development/idris-modules/wl-pprint.nix new file mode 100644 index 000000000000..dfde08fceab2 --- /dev/null +++ b/pkgs/development/idris-modules/wl-pprint.nix @@ -0,0 +1,11 @@ +{ build-idris-package, fetchgit, prelude, base }: build-idris-package (args : { + name = "wl-pprint"; + + src = fetchgit { + url = "git://github.com/shayan-najd/wl-pprint.git"; + rev = "120f654b0b9838b57e10b163d3562d959439fb07"; + sha256 = "b5d02a9191973dd8915279e84a9b4df430eb252f429327f45eb8a047d8bb954d"; + }; + + propagatedBuildInputs = [ prelude base ]; +}) |