diff options
| author | Graham Christensen <graham@grahamc.com> | 2017-11-06 13:11:04 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-06 13:11:04 -0500 |
| commit | 240b4f36a6467d1863b8402e057991a66a50a694 (patch) | |
| tree | dff7c4ac8e7d694caf01ca2b96a26acc1534cf2e /pkgs/top-level | |
| parent | 5549fa767fe9393dba635d615f6e4b7796b5a333 (diff) | |
| parent | 40124cd0cf474dd17959b5ae36c8a98112c173c0 (diff) | |
| download | nixlib-240b4f36a6467d1863b8402e057991a66a50a694.tar nixlib-240b4f36a6467d1863b8402e057991a66a50a694.tar.gz nixlib-240b4f36a6467d1863b8402e057991a66a50a694.tar.bz2 nixlib-240b4f36a6467d1863b8402e057991a66a50a694.tar.lz nixlib-240b4f36a6467d1863b8402e057991a66a50a694.tar.xz nixlib-240b4f36a6467d1863b8402e057991a66a50a694.tar.zst nixlib-240b4f36a6467d1863b8402e057991a66a50a694.zip | |
Merge pull request #31160 from mpickering/idris-10450
Add wrapper for idris exe for gcc/gmp runtime deps
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 37a35aca0083..983dacda0449 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -5874,7 +5874,8 @@ with pkgs; icedtea_web = icedtea8_web; idrisPackages = callPackage ../development/idris-modules { - idris = + + idris-no-deps = let inherit (self.haskell) lib; haskellPackages = self.haskellPackages.override { @@ -5891,6 +5892,8 @@ with pkgs; haskellPackages.idris; }; + idris = idrisPackages.with-packages [ idrisPackages.base ] ; + intercal = callPackage ../development/compilers/intercal { }; irony-server = callPackage ../development/tools/irony-server/default.nix { |