From b48831cda76e64f13dd1c0edde7ba5fb172ed57a Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Wed, 23 Jun 2021 23:30:42 +0200
Subject: [PATCH] fix: Nix: put wrapped `leanc` in #lean-all

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

diff --git a/nix/bootstrap.nix b/nix/bootstrap.nix
index 5ff0365148..d809529ea1 100644
--- a/nix/bootstrap.nix
+++ b/nix/bootstrap.nix
@@ -96,7 +96,8 @@ rec {
           ln -sf ${leancpp}/lib/lean/libleancpp.* ${Leanpkg.modRoot}/* ${Lean.staticLib}/* ${Lean.modRoot}/* ${Std.staticLib}/* ${Std.modRoot}/* ${Init.staticLib}/* ${Init.modRoot}/* $out/lib/lean/
           # put everything in a single final derivation so `IO.appDir` references work
           cp ${lean}/bin/lean ${leanpkg}/bin/leanpkg $out/bin
-          for i in ${lean-bin-tools-unwrapped} ${leanc}; do
+          # NOTE: first `bin/leanc` wins in case of `lndir`
+          for i in ${leanc} ${lean-bin-tools-unwrapped}; do
             ${lndir}/bin/lndir -silent $i $out
           done
         '';