diff options
| author | Shea Levy <shea@shealevy.com> | 2015-11-27 08:19:50 -0500 |
|---|---|---|
| committer | Shea Levy <shea@shealevy.com> | 2015-11-27 08:19:50 -0500 |
| commit | 5898c2060433d803865df3a9af4408d0443de8b8 (patch) | |
| tree | 89dc538453bb5c52579ce591bebafd420089cec4 /pkgs/development/idris-modules | |
| parent | 34e8eea942e02a5562c2391e62fd1e5cfc154dda (diff) | |
| download | nixpkgs-5898c2060433d803865df3a9af4408d0443de8b8.tar nixpkgs-5898c2060433d803865df3a9af4408d0443de8b8.tar.gz nixpkgs-5898c2060433d803865df3a9af4408d0443de8b8.tar.bz2 nixpkgs-5898c2060433d803865df3a9af4408d0443de8b8.tar.lz nixpkgs-5898c2060433d803865df3a9af4408d0443de8b8.tar.xz nixpkgs-5898c2060433d803865df3a9af4408d0443de8b8.tar.zst nixpkgs-5898c2060433d803865df3a9af4408d0443de8b8.zip | |
Add idrisPackages to all-packages.nix
Diffstat (limited to 'pkgs/development/idris-modules')
| -rw-r--r-- | pkgs/development/idris-modules/default.nix | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/pkgs/development/idris-modules/default.nix b/pkgs/development/idris-modules/default.nix new file mode 100644 index 00000000000..d07619724fe --- /dev/null +++ b/pkgs/development/idris-modules/default.nix @@ -0,0 +1,18 @@ +{ pkgs, idris, overrides ? (self: super: {}) }: let + inherit (pkgs.lib) callPackageWith fix' extends; + + /* Taken from haskell-modules/default.nix, should probably abstract this away */ + callPackageWithScope = scope: drv: args: (callPackageWith scope drv args) // { + overrideScope = f: callPackageWithScope (mkScope (fix' (extends f scope.__unfix__))) drv args; + }; + + mkScope = scope : pkgs // pkgs.xorg // pkgs.gnome // scope; + + idrisPackages = self: let + defaultScope = mkScope self; + + callPackage = callPackageWithScope defaultScope; + in { + withPackages = packages: callPackage ./with-packages-wrapper.nix { inherit packages idris; }; + }; +in fix' (extends overrides idrisPackages) |