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

chore: Nix: remove dead ileans

Browse source
This commit is contained in:
Sebastian Ullrich 2022-10-13 18:12:31 +02:00
parent 66c593a322
commit 50a0c9bda7
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
nix/bootstrap.nix
View file

@ -167,8 +167,9 @@ rec {
'';
link-ilean = writeShellScriptBin "link-ilean" ''
dest=''${1:-src}
rm -rf $dest/build/lib || true
mkdir -p $dest/build/lib
ln -sf ${iTree}/* $dest/build/lib
ln -s ${iTree}/* $dest/build/lib
'';
benchmarks =
let