From 1d40832097eb9095bb0dea2e1c1524bb42a8f48c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 31 May 2020 16:38:43 +0100
Subject: nix: add dhall to environment

---
 shell.nix | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

(limited to 'shell.nix')

diff --git a/shell.nix b/shell.nix
index bcb9f47..fd71b9b 100644
--- a/shell.nix
+++ b/shell.nix
@@ -1,10 +1,20 @@
 let
   sources = import ./nix/sources.nix;
   pkgs = import sources.nixpkgs {};
+
+  dhall = pkgs.stdenv.mkDerivation rec {
+    name = "dhall-${version}";
+    version = sources.dhall.version;
+    src = sources.dhall;
+    installPhase = ''
+      mkdir -p $out/bin
+      cp $src/* $out/bin/
+    '';
+  };
 in
 pkgs.mkShell {
   buildInputs = with pkgs; [
     binutils cmake gcc gnumake openssl pkgconfig rustup
-    niv
+    niv dhall
   ];
 }
-- 
cgit v1.2.3