Zulip Chat Archive

Stream: new members

Topic: Elan failed with error code


Mateusz (Jun 26 2022 at 10:40):

Hello, I'm trying to install Elan using elan-init.ps1 on Windows, but I'm getting Elan failed with error code -1073741515 - has anybody encountered it before and knows what to do? :(

Scott Morrison (Jun 09 2023 at 10:39):

Haha, me too a year later. Windows is fun.

Mauricio Collares (Jun 09 2023 at 12:48):

Cross-link for future reference: https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/quickstart.20instructions.3B.20where.20to.20file.20issues.3F

Scott Morrison (Jun 09 2023 at 23:14):

More specifically, linking to this message. You need to installation the Visual Studio redistributable package. Many people avoid noticing this step because it is commonly installed already on Windows systems.

Scott Morrison (Jun 09 2023 at 23:14):

And hopefully elan will be adjusted soon to avoid this requirement.


Last updated: Dec 20 2023 at 11:08 UTC