diff options
| author | Silvan Mosberger <infinisil@icloud.com> | 2018-07-02 02:32:47 +0200 |
|---|---|---|
| committer | Silvan Mosberger <infinisil@icloud.com> | 2018-07-02 02:35:46 +0200 |
| commit | 636cd3cba96d422cd91340ec19377769261f8e64 (patch) | |
| tree | 820151fd4d6a91479076f67ac1b3d42179e8fe47 /pkgs/development/idris-modules/default.nix | |
| parent | b6cfa372f09b908866878df006e2a65c5a865280 (diff) | |
| download | nixpkgs-636cd3cba96d422cd91340ec19377769261f8e64.tar nixpkgs-636cd3cba96d422cd91340ec19377769261f8e64.tar.gz nixpkgs-636cd3cba96d422cd91340ec19377769261f8e64.tar.bz2 nixpkgs-636cd3cba96d422cd91340ec19377769261f8e64.tar.lz nixpkgs-636cd3cba96d422cd91340ec19377769261f8e64.tar.xz nixpkgs-636cd3cba96d422cd91340ec19377769261f8e64.tar.zst nixpkgs-636cd3cba96d422cd91340ec19377769261f8e64.zip | |
idris: Clean up wrapper
Diffstat (limited to 'pkgs/development/idris-modules/default.nix')
| -rw-r--r-- | pkgs/development/idris-modules/default.nix | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/pkgs/development/idris-modules/default.nix b/pkgs/development/idris-modules/default.nix index 1dfa4e48899..25f8dba00b0 100644 --- a/pkgs/development/idris-modules/default.nix +++ b/pkgs/development/idris-modules/default.nix @@ -31,10 +31,9 @@ # Idris wrapper with specified compiler and library paths, used to build packages - idris = - (pkgs.callPackage ./idris-wrapper.nix {}) - idris-no-deps - { path = [ pkgs.gcc ]; lib = [pkgs.gmp]; }; + idris = pkgs.callPackage ./idris-wrapper.nix { + inherit idris-no-deps; + }; # Utilities for building packages |