947e7d80b4
The main two changes are
1. Completely rewrite how with-packages works to remove use of envHooks
2. The package description is now an idris specific set rather than
being a subset of the arguments to mkDerivation. This mirrors the
way Haskell packages are treated.
61 lines
1.7 KiB
Nix
61 lines
1.7 KiB
Nix
{ pkgs, idris-no-deps, 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.gnome2 // scope;
|
|
|
|
idrisPackages = self: let
|
|
defaultScope = mkScope self;
|
|
|
|
callPackage = callPackageWithScope defaultScope;
|
|
|
|
builtins_ = pkgs.lib.mapAttrs self.build-builtin-package {
|
|
prelude = [];
|
|
|
|
base = [ self.prelude ];
|
|
|
|
contrib = [ self.prelude self.base ];
|
|
|
|
effects = [ self.prelude self.base ];
|
|
|
|
pruviloj = [ self.prelude self.base ];
|
|
};
|
|
|
|
in
|
|
{
|
|
inherit idris-no-deps callPackage;
|
|
# See #10450 about why we have to wrap the executable
|
|
idris =
|
|
(pkgs.callPackage ./idris-wrapper.nix {})
|
|
idris-no-deps
|
|
{ path = [ pkgs.gcc ]; lib = [pkgs.gmp]; };
|
|
|
|
|
|
with-packages = callPackage ./with-packages.nix {} ;
|
|
|
|
build-builtin-package = callPackage ./build-builtin-package.nix {};
|
|
|
|
build-idris-package = callPackage ./build-idris-package.nix {};
|
|
|
|
# Libraries
|
|
|
|
# A list of all of the libraries that come with idris
|
|
builtins = pkgs.lib.mapAttrsToList (name: value: value) builtins_;
|
|
|
|
httpclient = callPackage ./httpclient.nix {};
|
|
|
|
lightyear = callPackage ./lightyear.nix {};
|
|
|
|
optparse = callPackage ./optparse.nix {};
|
|
|
|
wl-pprint = callPackage ./wl-pprint.nix {};
|
|
|
|
specdris = callPackage ./specdris.nix {};
|
|
|
|
|
|
} // builtins_;
|
|
in fix' (extends overrides idrisPackages)
|