diff options
author | Shea Levy <shea@shealevy.com> | 2018-02-15 10:11:45 -0500 |
---|---|---|
committer | Shea Levy <shea@shealevy.com> | 2018-02-15 10:11:45 -0500 |
commit | 017154391b4a2a4e418640d3a7677274fe981dc9 (patch) | |
tree | 4b9c8082bc2cd0167f7544b86d15fb7aa5155f79 /pkgs/development/idris-modules/default.nix | |
parent | 8d7b069ea68464e3e0c5469f84a015967b100f51 (diff) | |
parent | 947e7d80b41d9dea1739c23bf512f26d1c30703b (diff) | |
download | nixlib-017154391b4a2a4e418640d3a7677274fe981dc9.tar nixlib-017154391b4a2a4e418640d3a7677274fe981dc9.tar.gz nixlib-017154391b4a2a4e418640d3a7677274fe981dc9.tar.bz2 nixlib-017154391b4a2a4e418640d3a7677274fe981dc9.tar.lz nixlib-017154391b4a2a4e418640d3a7677274fe981dc9.tar.xz nixlib-017154391b4a2a4e418640d3a7677274fe981dc9.tar.zst nixlib-017154391b4a2a4e418640d3a7677274fe981dc9.zip |
Merge branch 'idris-packaging' of git://github.com/mpickering/nixpkgs
Diffstat (limited to 'pkgs/development/idris-modules/default.nix')
-rw-r--r-- | pkgs/development/idris-modules/default.nix | 31 |
1 files changed, 23 insertions, 8 deletions
diff --git a/pkgs/development/idris-modules/default.nix b/pkgs/development/idris-modules/default.nix index 16f6c65b094a..35ee20e96224 100644 --- a/pkgs/development/idris-modules/default.nix +++ b/pkgs/development/idris-modules/default.nix @@ -25,14 +25,8 @@ pruviloj = [ self.prelude self.base ]; }; - files = builtins.filter (n: n != "default") (pkgs.lib.mapAttrsToList (name: type: let - m = builtins.match "(.*)\\.nix" name; - in if m == null then "default" else builtins.head m) (builtins.readDir ./.)); - in (builtins.listToAttrs (map (name: { - inherit name; - - value = callPackage (./. + "/${name}.nix") {}; - }) files)) // { + in + { inherit idris-no-deps callPackage; # See #10450 about why we have to wrap the executable idris = @@ -40,7 +34,28 @@ 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) |