diff options
author | Profpatsch <mail@profpatsch.de> | 2020-02-25 14:16:28 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-25 14:16:28 +0100 |
commit | 8246c35875d1564b99e2e65db229abaa11a09386 (patch) | |
tree | 8567f7b293909889b798c2d5404959820c72634f /pkgs/development/dhall-modules/Prelude.nix | |
parent | b63491ffbcdfca173c020d402077f9e30e04a28f (diff) | |
parent | 32ed1c59b3bbf4c5eec59acb7a4a22c15d0fa83a (diff) | |
download | nixlib-8246c35875d1564b99e2e65db229abaa11a09386.tar nixlib-8246c35875d1564b99e2e65db229abaa11a09386.tar.gz nixlib-8246c35875d1564b99e2e65db229abaa11a09386.tar.bz2 nixlib-8246c35875d1564b99e2e65db229abaa11a09386.tar.lz nixlib-8246c35875d1564b99e2e65db229abaa11a09386.tar.xz nixlib-8246c35875d1564b99e2e65db229abaa11a09386.tar.zst nixlib-8246c35875d1564b99e2e65db229abaa11a09386.zip |
Merge pull request #79900 from Gabriel439/gabriel/dhall_packages_2
Add Nixpkgs support for Dhall
Diffstat (limited to 'pkgs/development/dhall-modules/Prelude.nix')
-rw-r--r-- | pkgs/development/dhall-modules/Prelude.nix | 68 |
1 files changed, 68 insertions, 0 deletions
diff --git a/pkgs/development/dhall-modules/Prelude.nix b/pkgs/development/dhall-modules/Prelude.nix new file mode 100644 index 000000000000..c689f7156fb4 --- /dev/null +++ b/pkgs/development/dhall-modules/Prelude.nix @@ -0,0 +1,68 @@ +{ buildDhallPackage, fetchFromGitHub, lib }: + +let + makePrelude = + version: + lib.makeOverridable + ( { rev, sha256, file ? "package.dhall" }: + buildDhallPackage { + name = "Prelude-${version}"; + + code = + let + src = fetchFromGitHub { + owner = "dhall-lang"; + repo = "dhall-lang"; + + inherit rev sha256; + }; + + in + "${src}/Prelude/${file}"; + } + ); + +in + lib.mapAttrs makePrelude { + # Prelude versions older than 7.0.0 use old-style union literals, which are + # no longer supported by the latest version of the standard + "7.0.0" = { + rev = "f0509b403ace4b8a72ebb5fa9c473b9aeabeaf33"; + sha256 = "00ldlvqfh411vnrnc41zfnlvgfanwfd3l8hdia8kni3r8q9qmd71"; + }; + + "8.0.0" = { + rev = "136a3491753fef251b2087031617d1ee1053f285"; + sha256 = "0haxd5dhi5bmg06a0hx1blpivmwrcnndydwagibj3zvch4knyi2q"; + }; + + "9.0.0" = { + rev = "6cbf57c946e7e6576babc23a38320e53ecfa6bee"; + sha256 = "1r06fijszyifq5b4j6libwkm06g8693m9n5c4kq61dvzrjfd2gim"; + }; + + "10.0.0" = { + rev = "ecbf82785cff406bbd162bbabf3df6f817c805e0"; + sha256 = "0gxkr9649jqpykdzqjc98gkwnjry8wp469037brfghyidwsm021m"; + }; + + "11.0.0" = { + rev = "8098184d17c3aecc82674a7b874077a7641be05a"; + sha256 = "0rdvyxq7mvas82wsfzzpk6imzm8ax4q58l522mx0ks69pacpr3yi"; + }; + + "11.1.0" = { + rev = "31e90e1996f6c4cb50e03ccb1f3c45beb4bd278c"; + sha256 = "0rdvyxq7mvas82wsfzzpk6imzm8ax4q58l522mx0ks69pacpr3yi"; + }; + + "12.0.0" = { + rev = "9f248138f69ee5e22192dc3d0417d5c77b189e04"; + sha256 = "1gbr0376sfamp0ibhcbxz4vaxr6ipv42y42p5wyksfhz3ls9x5ph"; + }; + + "13.0.0" = { + rev = "48db9e1ff1f8881fa4310085834fbc19e313ebf0"; + sha256 = "0kg3rzag3irlcldck63rjspls614bc2sbs3zq44h0pzcz9v7z5h9"; + }; + } |