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

chore: Nix: allow editing src/Leanpkg

Browse source
This commit is contained in:
Sebastian Ullrich 2021-04-06 14:38:00 +02:00
parent 11e2243c9a
commit ad460c84ce
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

@ -100,7 +100,7 @@ let
in {
inherit cc lean4-mode buildLeanPackage llvmPackages;
lean = lean.stage1;
stage0print-paths = lean.stage1.Lean.print-paths;
stage0print-paths = lean.stage1.Leanpkg.print-paths;
HEAD-as-stage0 = (lean.stage1.Lean.overrideArgs { srcTarget = "..#stage0-from-input.stage0"; srcArgs = "(--override-input lean-stage0 ..\?rev=$(git rev-parse HEAD) -- -Dinterpreter.prefer_native=false \"$@\")"; });
HEAD-as-stage1 = (lean.stage1.Lean.overrideArgs { srcTarget = "..\?rev=$(git rev-parse HEAD)#stage0"; });
temci = (import temci {}).override { doCheck = false; };