From bd70d1bf786aaaa582ef7c561fcabb4e9b16503b Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Tue, 19 Jan 2021 23:18:30 +0100
Subject: [PATCH] feat: Nix: add src/ to LEAN_SRC_PATH in Lean shell

---
 shell.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/shell.nix b/shell.nix
index a0ecd9eeae..659283b16f 100644
--- a/shell.nix
+++ b/shell.nix
@@ -17,5 +17,8 @@ in { pkgs ? flakePkgs.nixpkgs, llvmPackages ? null }:
   };
   nix = pkgs.mkShell {
     buildInputs = [ flakePkgs.nix ];
+    shellHook = ''
+      export LEAN_SRC_PATH="$PWD/src"
+    '';
   };
 }