lake build fail

Stream: new members

[Alex]

I run lake build in a new lean4 project use leanprover/lean4:v4.16.0, but error happens, I have downloaded leanprover/lean4:v4.16.0 by elan, I want to know how to fix it . Thank you very much

鉁?[1428/1428] Building test
trace : .> xxx
error : failed to execute 'x\x\.elan\toolchains\leanprover--lean4---v4.16.0\bin\clang.exe' : unspecified system_category error (error code : 87)

below is lakefile.toml

name = "Test"
version = "0.1.0"
defaultTargets = ["test"]


[[lean_lib]]
name = "Test"

[[lean_exe]]
name = "test"
root = "Main"

[[require]]
name = "mathlib"
git = "https://github.com/leanprover-community/mathlib4.git"
rev = "v4.16.0"

what I run:

1. lake clean
2. lake -v exe cache get
3. lake -v build

[Ruben Van de Velde]

Your message doesn't contain a question or nearly enough context to answer one if there had been one