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) | |
| download | nixpkgs-0dce60b34d8fefa02904debc9e6d427a6cb7d459.tar nixpkgs-0dce60b34d8fefa02904debc9e6d427a6cb7d459.tar.gz nixpkgs-0dce60b34d8fefa02904debc9e6d427a6cb7d459.tar.bz2 nixpkgs-0dce60b34d8fefa02904debc9e6d427a6cb7d459.tar.lz nixpkgs-0dce60b34d8fefa02904debc9e6d427a6cb7d459.tar.xz nixpkgs-0dce60b34d8fefa02904debc9e6d427a6cb7d459.tar.zst nixpkgs-0dce60b34d8fefa02904debc9e6d427a6cb7d459.zip | |
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 eecd7d585cf..d3686b2a293 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 00000000000..dfde08fceab --- /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 ]; +}) |