diff options
| author | Hussein Ait-Lahcen <hussein.ait-lahcen@fretlink.com> | 2018-11-19 18:57:33 +0100 |
|---|---|---|
| committer | Hussein Ait-Lahcen <hussein.ait-lahcen@fretlink.com> | 2018-11-20 11:44:59 +0100 |
| commit | 8b59c20ae4812fe2729d8fb6fb8b12a02a305b4f (patch) | |
| tree | 7357da6fdb0bb037a592bd454f13cdc078ebe16d /dhall-1.18.nix | |
| parent | 50a9e710f9cff8be9d85d7161bb454a46c3f5734 (diff) | |
| download | ansible-clever-8b59c20ae4812fe2729d8fb6fb8b12a02a305b4f.tar.gz ansible-clever-8b59c20ae4812fe2729d8fb6fb8b12a02a305b4f.tar.zst ansible-clever-8b59c20ae4812fe2729d8fb6fb8b12a02a305b4f.zip | |
add travis ci step for typechecking dhall
Diffstat (limited to 'dhall-1.18.nix')
| -rw-r--r-- | dhall-1.18.nix | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/dhall-1.18.nix b/dhall-1.18.nix new file mode 100644 index 0000000..d6522bd --- /dev/null +++ b/dhall-1.18.nix | |||
| @@ -0,0 +1,16 @@ | |||
| 1 | { pkgs ? import <nixpkgs> {} }: with pkgs; | ||
| 2 | |||
| 3 | stdenv.mkDerivation rec { | ||
| 4 | name = "dhall-${version}"; | ||
| 5 | version = "1.18.0"; | ||
| 6 | phases = [ "installPhase "]; | ||
| 7 | src = fetchurl { | ||
| 8 | url = "https://github.com/dhall-lang/dhall-haskell/releases/download/${version}/dhall-${version}-x86_64-linux.tar.bz2"; | ||
| 9 | sha256 = "0jvw6ss96xifb21mzpvfjzvaffcnpj0jhpc4rd36cl2r22800qgx"; | ||
| 10 | }; | ||
| 11 | installPhase = '' | ||
| 12 | mkdir -p $out/bin | ||
| 13 | tar -xjf $src | ||
| 14 | mv bin/dhall $out/bin/ | ||
| 15 | ''; | ||
| 16 | } | ||