unspecified system_category errors

Stream: new members

[Ashvni Narayanan]

Hi all, I am trying to work on a specific repo dependent on mathlib4. I managed to clone it, and lake exe cache get worked fine, as did lake build mathlib. When I used lake build, I got the following error :
image.png
I am not sure how to proceed. I just uninstalled and re-installed elan as well. I am using Windows 10, I don't know if it has anything to do with this. Any help is appreciated, thank you!

[Somo S.]

@Ashvni Narayanan your issue seems similar to mine which i discussed at.

https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/error.20building.20windows.20exe.20.20proj

the conclusion there is that the underlying cause looks like what is being addressed by https://github.com/leanprover/lean4/issues/2346

[Ashvni Narayanan]

I see, I had to reinstall lake, it worked fine then. Thank you very much for your help!