Closed melston closed 2 months ago
Maybe similar to https://github.com/koka-lang/koka/issues/455.
Maybe similar to #455.
Unfortunately, not. I already have the VS Desktop C++ development workload installed (VS 2022). I followed the trail from that issue and saw that I needed to run (something - koka itself?) in a Developers Command Prompt, so I tried that and got different errors. Something about not being able to access the pdb file. I have never had trouble using VS with C++ before. I even tried doing this in a command prompt run as administrator and still no luck.
But, notice that the commands above use gcc instead of the VS compiler. I don't know why that is, either (they were run from a powershell window).
I have deleted the entire koka tree and I am trying the command-line install instead. I find that even when using the developers command-line window I still get the following during installation:
Cannot find the clang-cl compiler.
A C compiler is required for Koka to function.
Would you like to download and install clang 17.0.6 for Windows? [Yn]
So, even if I have VC++ installed and in the environment, I still get asked about downloading clang compiler. However, this time it seems to have worked. I got to the interactive terminal just fine.
I just installed Koka on Windows. I started with the VSCode extension, which then asked me to download and install the compiler. After executing that I got a pop-up saying the 'Koka installation finished but unable to find the installed compiler." I tried executing Koka from the command-line but got a long list of 'parse...' and 'check...' lines followed by a bunch of build errors:
Any ideas on what I did wrong or what to do to fix this?