···8485, # Meta information, if any.
86 meta ? {}
00087}:
8889assert builtins.isList urls;
···139 '';
140141 inherit meta;
0142}
···8485, # Meta information, if any.
86 meta ? {}
87+88+ # Passthru information, if any.
89+, passthru ? {}
90}:
9192assert builtins.isList urls;
···142 '';
143144 inherit meta;
145+ inherit passthru;
146}
+7-2
pkgs/development/idris-modules/default.nix
···1-{ pkgs, idris, overrides ? (self: super: {}) }: let
2 inherit (pkgs.lib) callPackageWith fix' extends;
34 /* Taken from haskell-modules/default.nix, should probably abstract this away */
···3334 value = callPackage (./. + "/${name}.nix") {};
35 }) files)) // {
36- inherit idris callPackage;
000003738 # A list of all of the libraries that come with idris
39 builtins = pkgs.lib.mapAttrsToList (name: value: value) builtins_;
···1+{ pkgs, idris-no-deps, overrides ? (self: super: {}) }: let
2 inherit (pkgs.lib) callPackageWith fix' extends;
34 /* Taken from haskell-modules/default.nix, should probably abstract this away */
···3334 value = callPackage (./. + "/${name}.nix") {};
35 }) files)) // {
36+ inherit idris-no-deps callPackage;
37+ # See #10450 about why we have to wrap the executable
38+ idris =
39+ (pkgs.callPackage ./idris-wrapper.nix {})
40+ idris-no-deps
41+ { path = [ pkgs.gcc ]; lib = [pkgs.gmp]; };
4243 # A list of all of the libraries that come with idris
44 builtins = pkgs.lib.mapAttrsToList (name: value: value) builtins_;