diff options
| author | Clément Delafargue <39330590+clementd-fretlink@users.noreply.github.com> | 2019-10-07 09:55:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-07 09:55:09 +0200 |
| commit | 78c6d0494b38f752ffd5ce6faf7bf00b0b2a11c9 (patch) | |
| tree | 9f1e54602403fa90be42b475f722400142b434b4 /dhall-1.26.1.nix | |
| parent | 3290aaf7f973cf3c64219d029538f53f1d82da94 (diff) | |
| parent | 2acb3d4f7a61f0a6d932624ccf11cd14d5dc1ff8 (diff) | |
| download | ansible-clever-78c6d0494b38f752ffd5ce6faf7bf00b0b2a11c9.tar.gz ansible-clever-78c6d0494b38f752ffd5ce6faf7bf00b0b2a11c9.tar.zst ansible-clever-78c6d0494b38f752ffd5ce6faf7bf00b0b2a11c9.zip | |
Merge pull request #54 from clementd-fretlink/polykindsv2.0
Migrate to dhall 1.26.1 and merge types and terms
Diffstat (limited to 'dhall-1.26.1.nix')
| -rw-r--r-- | dhall-1.26.1.nix | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/dhall-1.26.1.nix b/dhall-1.26.1.nix new file mode 100644 index 0000000..918a528 --- /dev/null +++ b/dhall-1.26.1.nix | |||
| @@ -0,0 +1,22 @@ | |||
| 1 | { pkgs ? import <nixpkgs> {} }: with pkgs; | ||
| 2 | |||
| 3 | let | ||
| 4 | mkVersion = | ||
| 5 | version: sha256: | ||
| 6 | stdenv.mkDerivation { | ||
| 7 | name = "dhall-${version}"; | ||
| 8 | inherit version; | ||
| 9 | src = fetchurl { | ||
| 10 | url = "https://github.com/dhall-lang/dhall-haskell/releases/download/${version}/dhall-${version}-x86_64-linux.tar.bz2"; | ||
| 11 | inherit sha256; | ||
| 12 | }; | ||
| 13 | unpackPhase = '' | ||
| 14 | tar -xjf $src | ||
| 15 | ''; | ||
| 16 | installPhase = '' | ||
| 17 | mkdir -p $out/bin | ||
| 18 | mv bin/dhall $out/bin/ | ||
| 19 | ''; | ||
| 20 | }; | ||
| 21 | in | ||
| 22 | mkVersion "1.26.1" "0sl4r3mfairgd6kn26hs1r1lkh8rn992grd73078rhqf5w90ag05" | ||