From bec311bf48d047176fe06fdf69ae4dda7a8b716b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Anders=20Christiansen=20S=C3=B8rby?= <anders@sorby.xyz>
Date: Fri, 10 Dec 2021 23:59:56 +0100
Subject: [PATCH] chore: fix Nix setup (leanprover/lake#38)

---
 flake.nix | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/flake.nix b/flake.nix
index 46dd2d614d..6c47045436 100644
--- a/flake.nix
+++ b/flake.nix
@@ -28,16 +28,20 @@
         name = packageName;
         inherit src;
       };
+      cli = leanPkgs.buildLeanPackage {
+        name = "Lake.Main";
+        deps = [ project ];
+        inherit src;
+      };
     in
     {
-      packages.${packageName} = project.lean-package;
-      packages.lakeProject = project;
+      packages.${packageName} = project;
+      packages.cli = cli.executable;
 
-      defaultPackage = self.packages.${system}.${packageName};
+      defaultPackage = self.packages.${system}.cli;
 
       apps.lake = flake-utils.lib.mkApp {
-        name = "lake";
-        drv = project.executable;
+        drv = cli.executable;
       };
 
       defaultApp = self.apps.${system}.lake;
@@ -47,6 +51,7 @@
         buildInputs = with pkgs; [
           leanPkgs.lean
         ];
+        LEAN_PATH = "${leanPkgs.Lean.modRoot}:${project.modRoot}";
       };
     });
 }