max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: Nix: build thin static libraries

Browse source 
Less disk churn and .o files are automatically included in binary cache pushes
This commit is contained in:
Sebastian Ullrich 2020-11-20 23:07:21 +01:00
parent 3439cc80b3
commit 31876691dc
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
nix/buildLeanPackage.nix
View file

@ -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" ''