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

fix: Nix: Lean module ccache

Browse source 
Now I remember again why I did that the way I did it
This commit is contained in:
Sebastian Ullrich 2020-11-24 10:29:32 +01:00
parent d61cb698aa
commit bc0010b84c
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
nix/buildLeanPackage.nix
View file

@ -83,7 +83,9 @@ in
oPath = drv.relpath + ".o";
buildCommand = ''
mkdir -p $out/$(dirname ${drv.relpath})
leanc -c -o $out/$oPath ${drv.c}/${drv.cPath} ${if debug then "-g" else "-O3 -DNDEBUG"}
# make local "copy" so `drv`'s Nix store path doesn't end up in ccache's hash
ln -s ${drv.c}/${drv.cPath} src.c
leanc -c -o $out/$oPath src.c ${if debug then "-g" else "-O3 -DNDEBUG"}
'';
};
singleton = name: value: listToAttrs [ { inherit name value; } ];