From 8b59c20ae4812fe2729d8fb6fb8b12a02a305b4f Mon Sep 17 00:00:00 2001
From: Hussein Ait-Lahcen <hussein.ait-lahcen@fretlink.com>
Date: Mon, 19 Nov 2018 18:57:33 +0100
Subject: add travis ci step for typechecking dhall

---
 dhall-1.18.nix | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 dhall-1.18.nix

(limited to 'dhall-1.18.nix')

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 @@
+{ pkgs ? import <nixpkgs> {} }: with pkgs;
+
+stdenv.mkDerivation rec {
+  name = "dhall-${version}";
+  version = "1.18.0";
+  phases = [ "installPhase "];
+  src = fetchurl {
+    url = "https://github.com/dhall-lang/dhall-haskell/releases/download/${version}/dhall-${version}-x86_64-linux.tar.bz2";
+    sha256 = "0jvw6ss96xifb21mzpvfjzvaffcnpj0jhpc4rd36cl2r22800qgx";
+  };
+  installPhase = ''
+    mkdir -p $out/bin
+    tar -xjf $src
+    mv bin/dhall $out/bin/
+  '';
+}
-- 
cgit v1.2.3