From 31876691dca9865c077d8eb458fd83531ff5ebe3 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 20 Nov 2020 23:07:21 +0100
Subject: [PATCH] chore: Nix: build thin static libraries

Less disk churn and .o files are automatically included in binary cache pushes
---
 nix/buildLeanPackage.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nix/buildLeanPackage.nix b/nix/buildLeanPackage.nix
index 15f49c01e2..d3dc1db73b 100644
--- a/nix/buildLeanPackage.nix
+++ b/nix/buildLeanPackage.nix
@@ -101,7 +101,7 @@ in
     objects   = mapAttrs compileMod mods;
     staticLib = runCommand "${name}-lib" { buildInputs = [ stdenv.cc.bintools.bintools ]; } ''
       mkdir $out
-      ar rcs $out/lib${name}.a ${lib.concatStringsSep " " (map (drv: "${drv}/out.o") (attrValues objects))}
+      ar Trcs $out/lib${name}.a ${lib.concatStringsSep " " (map (drv: "${drv}/out.o") (attrValues objects))}
     '';
 
     lean-package = writeScriptBin "lean" ''