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

chore: Nix: Lean shell quoting

Browse source
This commit is contained in:
Sebastian Ullrich 2020-12-01 13:33:03 +01:00
parent 5adaecc00e
commit 8cc6ec1cb7
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/packages.nix
View file

@ -2,7 +2,7 @@
with pkgs;
let
nix-pinned = writeShellScriptBin "nix" ''
${nix.defaultPackage.${system}}/bin/nix --experimental-features 'nix-command flakes' --extra-substituters https://lean4.cachix.org/ --option warn-dirty false $@
${nix.defaultPackage.${system}}/bin/nix --experimental-features 'nix-command flakes' --extra-substituters https://lean4.cachix.org/ --option warn-dirty false "$@"
'';
llvmPackages = llvmPackages_10;
cc = ccacheWrapper.override rec {