dhallPackages.buildDhallUrl: change argument from dhall-hash to dhallHash

This commit is contained in:
(cdep)illabout
2021-11-08 13:15:17 +09:00
parent 2e1d84e9fb
commit 10c5a4cca5
3 changed files with 5 additions and 5 deletions

View File

@@ -363,7 +363,7 @@ $ dhall-to-nixpkgs directory --fixed-output-derivations ~/proj/dhall-semver
(buildDhallUrl {
url = "https://prelude.dhall-lang.org/v17.0.0/package.dhall";
hash = "sha256-ENs8kZwl6QRoM9+Jeo/+JwHcOQ+giT2VjDQwUkvlpD4=";
dhall-hash = "sha256:10db3c919c25e9046833df897a8ffe2701dc390fa0893d958c3430524be5a43e";
dhallHash = "sha256:10db3c919c25e9046833df897a8ffe2701dc390fa0893d958c3430524be5a43e";
})
];
}

View File

@@ -22,7 +22,7 @@
# Dhall hash of the input Dhall file.
# example: "sha256:6534a24145e93db3df3ef4bc39e2ba743404ea3e8d6cfdbb868d5c83d61f10d2"
, dhall-hash
, dhallHash
# Name for this derivation.
, name ? (baseNameOf url + "-cache")
@@ -61,7 +61,7 @@ let
nativeBuildInputs = [ cacert ];
}
''
echo "${url} ${dhall-hash}" > in-dhall-file
echo "${url} ${dhallHash}" > in-dhall-file
${dhall}/bin/dhall --alpha --plain --file in-dhall-file | ${dhallNoHTTP}/bin/dhall encode > $out
'';
@@ -83,7 +83,7 @@ in
export XDG_CACHE_HOME=$PWD/${cache}
SHA_HASH="${dhall-hash}"
SHA_HASH="${dhallHash}"
HASH_FILE="''${SHA_HASH/sha256:/1220}"

View File

@@ -9,6 +9,6 @@
dhallPackages.buildDhallUrl {
url = "https://raw.githubusercontent.com/cdepillabout/example-dhall-nix/e6a675c72ecd4dd23d254a02aea8181fe875747f/mydhallfile.dhall";
hash = "sha256-434x+QjHRzuprBdw0h6wmwB1Zj6yZqQb533me8XdO4c=";
dhall-hash = "sha256:e37e31f908c7473ba9ac1770d21eb09b0075663eb266a41be77de67bc5dd3b87";
dhallHash = "sha256:e37e31f908c7473ba9ac1770d21eb09b0075663eb266a41be77de67bc5dd3b87";
source = true;
}