From fc6ddcef940f2d7f2ff2dcf6c0e6e28257715bfc Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sun, 22 Nov 2020 17:08:34 +0100
Subject: [PATCH] chore: Nix: fix `nix run`

---
 nix/bootstrap.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/nix/bootstrap.nix b/nix/bootstrap.nix
index e4b7ba8834..f14f840063 100644
--- a/nix/bootstrap.nix
+++ b/nix/bootstrap.nix
@@ -62,7 +62,8 @@ rec {
       inherit (Lean) emacs-dev emacs-package;
       mods = Init.mods // Std.mods // Lean.mods;
       lean = stdenv.mkDerivation {
-        name = "lean-${desc}";
+        # can't use `${desc}` here without breaking `nix run`...
+        name = "lean";
         buildCommand = ''
           mkdir -p $out/bin $out/lib/lean
           ln -sf ${leancpp}/lib/lean/* ${Init.staticLib}/* ${Init.modRoot}/* ${Lean.staticLib}/* ${Lean.modRoot}/* ${Std.staticLib}/* ${Std.modRoot}/* $out/lib/lean/