From a45d86cb968494cf2b857b4bc9a7074acffd7cc1 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 8 Jul 2022 23:11:25 +0200
Subject: [PATCH] chore: update flake.nix

---
 flake.nix | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

diff --git a/flake.nix b/flake.nix
index 6c47045436..96190d0ef4 100644
--- a/flake.nix
+++ b/flake.nix
@@ -30,13 +30,17 @@
       };
       cli = leanPkgs.buildLeanPackage {
         name = "Lake.Main";
+        executableName = "lake";
         deps = [ project ];
+        linkFlags = pkgs.lib.optional pkgs.stdenv.isLinux "-rdynamic";
         inherit src;
       };
     in
     {
-      packages.${packageName} = project;
-      packages.cli = cli.executable;
+      packages = project // {
+        inherit (leanPkgs) lean;
+
+        cli = cli.executable;
 
       defaultPackage = self.packages.${system}.cli;
 
@@ -46,12 +50,6 @@
 
       defaultApp = self.apps.${system}.lake;
 
-      # `nix develop`
-      devShell = pkgs.mkShell {
-        buildInputs = with pkgs; [
-          leanPkgs.lean
-        ];
-        LEAN_PATH = "${leanPkgs.Lean.modRoot}:${project.modRoot}";
-      };
+      inherit (project) devShell;
     });
 }