87d5e6fc1a
Before this change, a Dhall package like the Prelude would be
encoded as a record with one field per supported version. Then
downstream packages would specify which package to override
by selecting a different record field.
The problem with that approach is that it did not provide an
easy way to override a package to a version other than the default
ones supplied by Nixpkgs. Normally you would use the `.override`
method for this purpose, but the `override` method added by
`buildDhall{Directory,GitHub}Package` is clobbered by the
`override` method added by `callPackage` in
`./pkgs/top-level/dhall-packages.nix`.
The solution is to add a separate `.overridePackage` method which is
essentially the exact same as `.override`, except that it is no
longer clobbered by `callPackage`. This `.overridePackage` method
allows one to override the arguments supplied to
`buildDhall{Directory,GitHub}Package`, making it easier to specify
package versions outside of the ones supported by Nixpkgs..
This also includes a change to only build one (preferred) version of each
package (instead of multiple supported versions per package), in order to
minimize the maintenance burden for the Dhall package set.
12 lines
330 B
Nix
12 lines
330 B
Nix
{ buildDhallGitHubPackage }:
|
|
|
|
buildDhallGitHubPackage {
|
|
name = "Prelude-13.0.0";
|
|
owner = "dhall-lang";
|
|
repo = "dhall-lang";
|
|
directory = "Prelude";
|
|
file = "package.dhall";
|
|
rev = "48db9e1ff1f8881fa4310085834fbc19e313ebf0";
|
|
sha256 = "0kg3rzag3irlcldck63rjspls614bc2sbs3zq44h0pzcz9v7z5h9";
|
|
}
|