From 71eda0be64ad8d1ddcfc8c3596b5417bc7542110 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Tue, 23 Jan 2024 13:35:58 +0100
Subject: [PATCH] don't build Std in Nix

---
 nix/bootstrap.nix | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

diff --git a/nix/bootstrap.nix b/nix/bootstrap.nix
index e4c6839ba95f..e845d9148a6f 100644
--- a/nix/bootstrap.nix
+++ b/nix/bootstrap.nix
@@ -122,17 +122,7 @@ rec {
       depRoots = symlinkJoin { name = "depRoots"; paths = map (l: l.depRoots) stdlib; };
       iTree = symlinkJoin { name = "ileans"; paths = map (l: l.iTree) stdlib; };
       Leanc = build { name = "Leanc"; src = lean-bin-tools-unwrapped.leanc_src; deps = stdlib; roots = [ "Leanc" ]; };
-      Std = build {
-        name = "Std";
-        src = fetchTree {
-          type = "github";
-          owner = "leanprover";
-          repo = "std4";
-          rev = lib.removeSuffix "\n" (readFile ../src/std4.commit);
-        };
-        deps = stdlib;
-      };
-      # if building Std in Nix is too bothersome, we can also use this
+      # placate `-lStd`
       fakeStd = runCommand "fakeStd" { buildInputs = [ stdenv.cc ]; } ''
         mkdir $out
         ar cru "$out/libStd${stdenv.hostPlatform.extensions.sharedLibrary}"